hets -- a heterogenous Specification (CASL) tool set
Contents
Index
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