| 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 |
Haskell.Logic_Haskell
Description
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
Constructors
| Haskell |
Instances
| 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 = ()