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

Instances details
(Show a, Show b) => Show (CspCASL2CspCASL a b) Source # 
Instance details

Defined in CspCASL.Comorphisms

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 # 
Instance details

Defined in CspCASL.Comorphisms

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 # 
Instance details

Defined in CspCASL.Comorphisms