Copyright	(c) Paolo Torrini and Till Mossakowski and Uni Bremen 2004-2005
License	All rights reserved.
Maintainer	paolot@informatik.uni-bremen.de
Stability	provisional
Portability	non-portable (imports Logic.Logic)
Safe Haskell	None

Comorphisms.Haskell2IsabelleHOLCF

Contents

Description

The embedding comorphisms from Haskell to Isabelle

Synopsis

Comorphisms

Constructors

Instances

Show Haskell2IsabelleHOLCF
Language Haskell2IsabelleHOLCF
Comorphism Haskell2IsabelleHOLCF Haskell () HsDecls (TiDecl PNT) () () Sign HaskellMorphism () () () Isabelle () () Sentence () () Sign IsabelleMorphism () () ()

Constructors

Instances

Show Haskell2IsabelleHOL
Language Haskell2IsabelleHOL
Comorphism Haskell2IsabelleHOL Haskell () HsDecls (TiDecl PNT) () () Sign HaskellMorphism () () () Isabelle () () Sentence () () Sign IsabelleMorphism () () ()