hets -- a heterogenous Specification (CASL) tool setContentsIndex
Haskell.ExtHaskellCvrt
Portability portable
Stability provisional
Maintainer hets@tzi.de
Description
Converts a Haskell module with pure AXIOM-Pragma to a Haskell module with AXIOM-Pragmas and corresponding lambda-expressions
Synopsis
cvrtHsModule :: HsModule -> HsModule
cvrtHsDeclList :: [HsDecl] -> [HsDecl]
cvrtAxBinding :: AxBinding -> [HsDecl]
cvrtFormula :: Formula -> HsRhs
cvrtWithQuant :: Quantifier -> Formula -> HsExp
cvrtWithoutQuant :: Formula -> HsExp
cvrtAxiomBndr :: AxiomBndr -> HsName
cvrtAxiomName :: AxiomName -> HsPat
Produced by Haddock version 0.6