 | hets -- a heterogenous Specification (CASL) tool set | Contents | Index |
|
Comorphisms.CASL2HasCASL | Portability | non-portable (imports Logic.Logic) | Stability | provisional | Maintainer | hets@tzi.de |
|
|
|
|
|
Description |
The embedding comorphism from CASL to HasCASL.
|
|
Synopsis |
|
|
|
Documentation |
|
data CASL2HasCASL |
The identity of the comorphism | Constructors | | Instances | |
|
|
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 |