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

Synopsis

data CspCASL2CspCASL a b = CspCASL2CspCASL a b
cspCASLTrace :: CspCASL2CspCASL () Trace
cspCASLFailure :: CspCASL2CspCASL () Failure

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 Methods sourceLogic :: CspCASL2CspCASL a b -> GenCspCASL a Source # sourceSublogic :: CspCASL2CspCASL a b -> () Source # sourceSublogicLossy :: CspCASL2CspCASL a b -> () Source # minSourceTheory :: CspCASL2CspCASL a b -> Maybe (LibName, String) Source # targetLogic :: CspCASL2CspCASL a b -> GenCspCASL b Source # mapSublogic :: CspCASL2CspCASL a b -> () -> Maybe () Source # map_theory :: CspCASL2CspCASL a b -> (CspCASLSign, [Named CspCASLSen]) -> Result (CspCASLSign, [Named CspCASLSen]) Source # mapMarkedTheory :: CspCASL2CspCASL a b -> (CspCASLSign, [Named CspCASLSen]) -> Result (CspCASLSign, [Named CspCASLSen]) Source # map_morphism :: CspCASL2CspCASL a b -> CspCASLMorphism -> Result CspCASLMorphism Source # map_sentence :: CspCASL2CspCASL a b -> CspCASLSign -> CspCASLSen -> Result CspCASLSen Source # map_symbol :: CspCASL2CspCASL a b -> CspCASLSign -> CspSymbol -> Set CspSymbol Source # extractModel :: CspCASL2CspCASL a b -> CspCASLSign -> () -> Result (CspCASLSign, [Named CspCASLSen]) Source # is_model_transportable :: CspCASL2CspCASL a b -> Bool Source # has_model_expansion :: CspCASL2CspCASL a b -> Bool Source # is_weakly_amalgamable :: CspCASL2CspCASL a b -> Bool Source # constituents :: CspCASL2CspCASL a b -> [String] Source # isInclusionComorphism :: CspCASL2CspCASL a b -> Bool Source # rps :: CspCASL2CspCASL a b -> Bool Source # eps :: CspCASL2CspCASL a b -> Bool Source # isGTC :: CspCASL2CspCASL a b -> Bool Source #

cspCASLTrace :: CspCASL2CspCASL () Trace Source #

cspCASLFailure :: CspCASL2CspCASL () Failure Source #