hets -- a heterogenous Specification (CASL) tool setContentsIndex
Comorphisms.CASL2HasCASL
Portability non-portable (imports Logic.Logic)
Stability provisional
Maintainer hets@tzi.de
Description
The embedding comorphism from CASL to HasCASL.
Synopsis
data CASL2HasCASL = CASL2HasCASL
tycon_CASL2HasCASL :: TyCon
sortTypeinfo :: TypeInfo
makeType :: Id -> Type
trOpType :: OpType -> OpInfo
trPredType :: PredType -> OpInfo
mapSignature :: Sign -> Maybe (Env, [Term])
Documentation
data CASL2HasCASL
The identity of the comorphism
Constructors
CASL2HasCASL
Instances
Language CASL2HasCASL
Typeable CASL2HasCASL
Comorphism CASL2HasCASL CASL CASL_Sublogics BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol RawSymbol () HasCASL HasCASL_Sublogics BasicSpec Term SymbItems SymbMapItems Env Morphism Symbol RawSymbol ()
Show CASL2HasCASL
tycon_CASL2HasCASL :: TyCon
sortTypeinfo :: TypeInfo
makeType :: Id -> Type
trOpType :: OpType -> OpInfo
trPredType :: PredType -> OpInfo
mapSignature :: Sign -> Maybe (Env, [Term])
Produced by Haddock version 0.6