| Copyright | (c) Liam O'Reilly, Swansea University 2009 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | csliam@swansea.ac.uk |
| Stability | experimental |
| Portability | non-portable(import Logic.Logic) |
| Safe Haskell | None |
CspCASL.Comorphisms
Description
- data CspCASL2CspCASL a b = CspCASL2CspCASL a b
- cspCASLTrace :: CspCASL2CspCASL () Trace
- cspCASLFailure :: CspCASL2CspCASL () Failure
Documentation
data CspCASL2CspCASL a b
The identity of the comorphism
Constructors
| CspCASL2CspCASL a b |
Instances
| (Show a, Show b) => Show (CspCASL2CspCASL a b) | |
| (Show a, Show b) => Language (CspCASL2CspCASL a b) | |
| (CspCASLSemantics a, CspCASLSemantics b) => Comorphism (CspCASL2CspCASL a b) (GenCspCASL a) () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol () (GenCspCASL b) () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol () |
cspCASLTrace :: CspCASL2CspCASL () Trace