Copyright | (c) Christian Maeder, Sonja Groening, Uni Bremen 2002-2004 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | provisional |
Portability | non-portable(Logic) |
Safe Haskell | None |
Here is the place where the classes Category
, Syntax
,
StaticAnalysis
, Sentences
, and Logic
are instantiated for
Haskell.
Some method implementations for StaticAnalysis
and Sentences
are still missing.
Documentation
data Haskell
Show Haskell | |
Language Haskell | |
Syntax Haskell HsDecls Symbol SYMB_ITEMS SYMB_MAP_ITEMS | |
Comorphism HasCASL2Haskell HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol () Haskell () HsDecls (TiDecl PNT) () () Sign HaskellMorphism Symbol RawSymbol () | |
Comorphism Haskell2IsabelleHOL Haskell () HsDecls (TiDecl PNT) () () Sign HaskellMorphism () () () Isabelle () () Sentence () () Sign IsabelleMorphism () () () | |
Comorphism Haskell2IsabelleHOLCF Haskell () HsDecls (TiDecl PNT) () () Sign HaskellMorphism () () () Isabelle () () Sentence () () Sign IsabelleMorphism () () () | |
Logic Haskell Haskell_Sublogics HsDecls (TiDecl PNT) SYMB_ITEMS SYMB_MAP_ITEMS Sign HaskellMorphism Symbol RawSymbol () | |
StaticAnalysis Haskell HsDecls (TiDecl PNT) SYMB_ITEMS SYMB_MAP_ITEMS Sign HaskellMorphism Symbol RawSymbol | |
Sentences Haskell (TiDecl PNT) Sign HaskellMorphism Symbol |
type HaskellMorphism = DefaultMorphism Sign
type SYMB_ITEMS = ()
type SYMB_MAP_ITEMS = ()
type Haskell_Sublogics = ()
type Symbol = ()
type RawSymbol = ()