| Copyright | (c) Christian Maeder, Uni Bremen 2002-2005 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | non-portable(multiple parameter class, functional dependency) |
| Safe Haskell | None |
Haskell.HatParser
Description
Wrapper for Haskell parsing. Parses Haskell declarations (not a whole module), for use in heterogeneous specifications
Documentation
data HsDecls
Instances
| Eq HsDecls | |
| Show HsDecls | |
| ShATermConvertible HsDecls | |
| Monoid HsDecls | |
| GetRange HsDecls | |
| Pretty HsDecls | |
| Typeable * HsDecls | |
| 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 |