Hets - the Heterogeneous Tool Set

Copyright(c) Liam O'Reilly Swansea University 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainercsliam@swansea.ac.uk
Stabilityexperimental
Portabilitynon-portable(import Logic.Logic)
Safe HaskellNone

CspCASL.Comorphisms

Description

 

Synopsis

Documentation

data CspCASL2CspCASL a b Source #

The identity of the comorphism

Constructors

CspCASL2CspCASL a b 

Instances

(Show b, Show a) => Show (CspCASL2CspCASL a b) Source # 

Methods

showsPrec :: Int -> CspCASL2CspCASL a b -> ShowS

show :: CspCASL2CspCASL a b -> String

showList :: [CspCASL2CspCASL a b] -> ShowS

(Show a, Show b) => Language (CspCASL2CspCASL a b) Source # 

Methods

language_name :: CspCASL2CspCASL a b -> String Source #

description :: CspCASL2CspCASL a b -> String Source #

(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 () Source #