Copyright	(c) Markus Roggenbach and Till Mossakowski and Uni Bremen 2004
License	GPLv2 or higher, see LICENSE.txt
Maintainer	a.m.gimblett@swan.ac.uk
Stability	provisional
Portability	portable
Safe Haskell	Safe

CspCASL.AS_CspCASL

Description

Abstract syntax of CSP-CASL processes.

Documentation

data CspBasicExt Source #

Constructors

Channels [Annoted CHANNEL_DECL] Range
ProcItems [Annoted PROC_ITEM] Range

Instances

Instances details

Data CspBasicExt Source #
Instance details Defined in CspCASL.AS_CspCASL Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CspBasicExt -> c CspBasicExt gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CspBasicExt toConstr :: CspBasicExt -> Constr dataTypeOf :: CspBasicExt -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CspBasicExt) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CspBasicExt) gmapT :: (forall b. Data b => b -> b) -> CspBasicExt -> CspBasicExt gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CspBasicExt -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CspBasicExt -> r gmapQ :: (forall d. Data d => d -> u) -> CspBasicExt -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> CspBasicExt -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> CspBasicExt -> m CspBasicExt gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CspBasicExt -> m CspBasicExt gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CspBasicExt -> m CspBasicExt
Show CspBasicExt Source #
Instance details Defined in CspCASL.AS_CspCASL Methods showsPrec :: Int -> CspBasicExt -> ShowS show :: CspBasicExt -> String showList :: [CspBasicExt] -> ShowS
Generic CspBasicExt
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep CspBasicExt :: Type -> Type Methods from :: CspBasicExt -> Rep CspBasicExt x to :: Rep CspBasicExt x -> CspBasicExt
GetRange CspBasicExt Source #
Instance details Defined in CspCASL.AS_CspCASL Methods getRange :: CspBasicExt -> Range Source # rangeSpan :: CspBasicExt -> [Pos] Source #
FromJSON CspBasicExt
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser CspBasicExt parseJSONList :: Value -> Parser [CspBasicExt]
ToJSON CspBasicExt
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: CspBasicExt -> Value toEncoding :: CspBasicExt -> Encoding toJSONList :: [CspBasicExt] -> Value toEncodingList :: [CspBasicExt] -> Encoding
ShATermConvertible CspBasicExt
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> CspBasicExt -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspBasicExt] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspBasicExt) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspBasicExt])
Pretty CspBasicExt Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: CspBasicExt -> Doc Source # pretties :: [CspBasicExt] -> Doc Source #
AParsable CspBasicExt Source #
Instance details Defined in CspCASL.Parse_CspCASL Methods aparser :: AParser st CspBasicExt Source #
Comorphism CspCASL2Modal CspCASL () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol () Modal () M_BASIC_SPEC ModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS MSign ModalMor Symbol RawSymbol () Source #
Instance details Defined in Comorphisms.CspCASL2Modal Methods sourceLogic :: CspCASL2Modal -> CspCASL Source # sourceSublogic :: CspCASL2Modal -> () Source # sourceSublogicLossy :: CspCASL2Modal -> () Source # minSourceTheory :: CspCASL2Modal -> Maybe (LibName, String) Source # targetLogic :: CspCASL2Modal -> Modal Source # mapSublogic :: CspCASL2Modal -> () -> Maybe () Source # map_theory :: CspCASL2Modal -> (CspCASLSign, [Named CspCASLSen]) -> Result (MSign, [Named ModalFORMULA]) Source # mapMarkedTheory :: CspCASL2Modal -> (CspCASLSign, [Named CspCASLSen]) -> Result (MSign, [Named ModalFORMULA]) Source # map_morphism :: CspCASL2Modal -> CspCASLMorphism -> Result ModalMor Source # map_sentence :: CspCASL2Modal -> CspCASLSign -> CspCASLSen -> Result ModalFORMULA Source # map_symbol :: CspCASL2Modal -> CspCASLSign -> CspSymbol -> Set Symbol Source # extractModel :: CspCASL2Modal -> CspCASLSign -> () -> Result (CspCASLSign, [Named CspCASLSen]) Source # is_model_transportable :: CspCASL2Modal -> Bool Source # has_model_expansion :: CspCASL2Modal -> Bool Source # is_weakly_amalgamable :: CspCASL2Modal -> Bool Source # constituents :: CspCASL2Modal -> [String] Source # isInclusionComorphism :: CspCASL2Modal -> Bool Source # rps :: CspCASL2Modal -> Bool Source # eps :: CspCASL2Modal -> Bool Source # isGTC :: CspCASL2Modal -> Bool Source #
Comorphism CASL2CspCASL CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree CspCASL () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol () Source #
Instance details Defined in Comorphisms.CASL2CspCASL Methods sourceLogic :: CASL2CspCASL -> CASL Source # sourceSublogic :: CASL2CspCASL -> CASL_Sublogics Source # sourceSublogicLossy :: CASL2CspCASL -> CASL_Sublogics Source # minSourceTheory :: CASL2CspCASL -> Maybe (LibName, String) Source # targetLogic :: CASL2CspCASL -> CspCASL Source # mapSublogic :: CASL2CspCASL -> CASL_Sublogics -> Maybe () Source # map_theory :: CASL2CspCASL -> (CASLSign, [Named CASLFORMULA]) -> Result (CspCASLSign, [Named CspCASLSen]) Source # mapMarkedTheory :: CASL2CspCASL -> (CASLSign, [Named CASLFORMULA]) -> Result (CspCASLSign, [Named CspCASLSen]) Source # map_morphism :: CASL2CspCASL -> CASLMor -> Result CspCASLMorphism Source # map_sentence :: CASL2CspCASL -> CASLSign -> CASLFORMULA -> Result CspCASLSen Source # map_symbol :: CASL2CspCASL -> CASLSign -> Symbol -> Set CspSymbol Source # extractModel :: CASL2CspCASL -> CASLSign -> () -> Result (CASLSign, [Named CASLFORMULA]) Source # is_model_transportable :: CASL2CspCASL -> Bool Source # has_model_expansion :: CASL2CspCASL -> Bool Source # is_weakly_amalgamable :: CASL2CspCASL -> Bool Source # constituents :: CASL2CspCASL -> [String] Source # isInclusionComorphism :: CASL2CspCASL -> Bool Source # rps :: CASL2CspCASL -> Bool Source # eps :: CASL2CspCASL -> Bool Source # isGTC :: CASL2CspCASL -> Bool Source #
Show a => Syntax (GenCspCASL a) CspBasicSpec CspSymbol CspSymbItems CspSymbMapItems Source #	Syntax of CspCASL
Instance details Defined in CspCASL.Logic_CspCASL Methods parsersAndPrinters :: GenCspCASL a -> Map String (PrefixMap -> AParser st CspBasicSpec, CspBasicSpec -> Doc) Source # parse_basic_spec :: GenCspCASL a -> Maybe (PrefixMap -> AParser st CspBasicSpec) Source # parseSingleSymbItem :: GenCspCASL a -> Maybe (PrefixMap -> AParser st CspSymbItems) Source # parse_symb_items :: GenCspCASL a -> Maybe (PrefixMap -> AParser st CspSymbItems) Source # parse_symb_map_items :: GenCspCASL a -> Maybe (PrefixMap -> AParser st CspSymbMapItems) Source # toItem :: GenCspCASL a -> CspBasicSpec -> Item Source # symb_items_name :: GenCspCASL a -> CspSymbItems -> [String] Source #
Show a => StaticAnalysis (GenCspCASL a) CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol Source #	Static Analysis for CspCASL
Instance details Defined in CspCASL.Logic_CspCASL Methods basic_analysis :: GenCspCASL a -> Maybe ((CspBasicSpec, CspCASLSign, GlobalAnnos) -> Result (CspBasicSpec, ExtSign CspCASLSign CspSymbol, [Named CspCASLSen])) Source # sen_analysis :: GenCspCASL a -> Maybe ((CspBasicSpec, CspCASLSign, CspCASLSen) -> Result CspCASLSen) Source # extBasicAnalysis :: GenCspCASL a -> IRI -> LibName -> CspBasicSpec -> CspCASLSign -> GlobalAnnos -> Result (CspBasicSpec, ExtSign CspCASLSign CspSymbol, [Named CspCASLSen]) Source # stat_symb_map_items :: GenCspCASL a -> CspCASLSign -> Maybe CspCASLSign -> [CspSymbMapItems] -> Result (EndoMap CspRawSymbol) Source # stat_symb_items :: GenCspCASL a -> CspCASLSign -> [CspSymbItems] -> Result [CspRawSymbol] Source # convertTheory :: GenCspCASL a -> Maybe ((CspCASLSign, [Named CspCASLSen]) -> CspBasicSpec) Source # ensures_amalgamability :: GenCspCASL a -> ([CASLAmalgOpt], Gr CspCASLSign (Int, CspCASLMorphism), [(Int, CspCASLMorphism)], Gr String String) -> Result Amalgamates Source # quotient_term_algebra :: GenCspCASL a -> CspCASLMorphism -> [Named CspCASLSen] -> Result (CspCASLSign, [Named CspCASLSen]) Source # signature_colimit :: GenCspCASL a -> Gr CspCASLSign (Int, CspCASLMorphism) -> Result (CspCASLSign, Map Int CspCASLMorphism) Source # qualify :: GenCspCASL a -> SIMPLE_ID -> LibName -> CspCASLMorphism -> CspCASLSign -> Result (CspCASLMorphism, [Named CspCASLSen]) Source # symbol_to_raw :: GenCspCASL a -> CspSymbol -> CspRawSymbol Source # id_to_raw :: GenCspCASL a -> Id -> CspRawSymbol Source # matches :: GenCspCASL a -> CspSymbol -> CspRawSymbol -> Bool Source # empty_signature :: GenCspCASL a -> CspCASLSign Source # add_symb_to_sign :: GenCspCASL a -> CspCASLSign -> CspSymbol -> Result CspCASLSign Source # signature_union :: GenCspCASL a -> CspCASLSign -> CspCASLSign -> Result CspCASLSign Source # signatureDiff :: GenCspCASL a -> CspCASLSign -> CspCASLSign -> Result CspCASLSign Source # intersection :: GenCspCASL a -> CspCASLSign -> CspCASLSign -> Result CspCASLSign Source # final_union :: GenCspCASL a -> CspCASLSign -> CspCASLSign -> Result CspCASLSign Source # morphism_union :: GenCspCASL a -> CspCASLMorphism -> CspCASLMorphism -> Result CspCASLMorphism Source # is_subsig :: GenCspCASL a -> CspCASLSign -> CspCASLSign -> Bool Source # subsig_inclusion :: GenCspCASL a -> CspCASLSign -> CspCASLSign -> Result CspCASLMorphism Source # generated_sign :: GenCspCASL a -> Set CspSymbol -> CspCASLSign -> Result CspCASLMorphism Source # cogenerated_sign :: GenCspCASL a -> Set CspSymbol -> CspCASLSign -> Result CspCASLMorphism Source # induced_from_morphism :: GenCspCASL a -> EndoMap CspRawSymbol -> CspCASLSign -> Result CspCASLMorphism Source # induced_from_to_morphism :: GenCspCASL a -> EndoMap CspRawSymbol -> ExtSign CspCASLSign CspSymbol -> ExtSign CspCASLSign CspSymbol -> Result CspCASLMorphism Source # is_transportable :: GenCspCASL a -> CspCASLMorphism -> Bool Source # is_injective :: GenCspCASL a -> CspCASLMorphism -> Bool Source # theory_to_taxonomy :: GenCspCASL a -> TaxoGraphKind -> MMiSSOntology -> CspCASLSign -> [Named CspCASLSen] -> Result MMiSSOntology Source # corresp2th :: GenCspCASL a -> String -> Bool -> CspCASLSign -> CspCASLSign -> [CspSymbItems] -> [CspSymbItems] -> EndoMap CspSymbol -> EndoMap CspSymbol -> REL_REF -> Result (CspCASLSign, [Named CspCASLSen], CspCASLSign, CspCASLSign, EndoMap CspSymbol, EndoMap CspSymbol) Source # equiv2cospan :: GenCspCASL a -> CspCASLSign -> CspCASLSign -> [CspSymbItems] -> [CspSymbItems] -> Result (CspCASLSign, CspCASLSign, CspCASLSign, EndoMap CspSymbol, EndoMap CspSymbol) Source # extract_module :: GenCspCASL a -> [IRI] -> (CspCASLSign, [Named CspCASLSen]) -> Result (CspCASLSign, [Named CspCASLSen]) Source #
CspCASLSemantics a => Logic (GenCspCASL a) () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol () Source #	Instance of Logic for CspCASL
Instance details Defined in CspCASL.Logic_CspCASL Methods parse_basic_sen :: GenCspCASL a -> Maybe (CspBasicSpec -> AParser st CspCASLSen) Source # stability :: GenCspCASL a -> Stability Source # data_logic :: GenCspCASL a -> Maybe AnyLogic Source # top_sublogic :: GenCspCASL a -> () Source # all_sublogics :: GenCspCASL a -> [()] Source # bottomSublogic :: GenCspCASL a -> Maybe () Source # sublogicDimensions :: GenCspCASL a -> [[()]] Source # parseSublogic :: GenCspCASL a -> String -> Maybe () Source # proj_sublogic_epsilon :: GenCspCASL a -> () -> CspCASLSign -> CspCASLMorphism Source # provers :: GenCspCASL a -> [Prover CspCASLSign CspCASLSen CspCASLMorphism () ()] Source # default_prover :: GenCspCASL a -> String Source # cons_checkers :: GenCspCASL a -> [ConsChecker CspCASLSign CspCASLSen () CspCASLMorphism ()] Source # conservativityCheck :: GenCspCASL a -> [ConservativityChecker CspCASLSign CspCASLSen CspCASLMorphism] Source # empty_proof_tree :: GenCspCASL a -> () Source # syntaxTable :: GenCspCASL a -> CspCASLSign -> Maybe SyntaxTable Source # omdoc_metatheory :: GenCspCASL a -> Maybe OMCD Source # export_symToOmdoc :: GenCspCASL a -> NameMap CspSymbol -> CspSymbol -> String -> Result TCElement Source # export_senToOmdoc :: GenCspCASL a -> NameMap CspSymbol -> CspCASLSen -> Result TCorOMElement Source # export_theoryToOmdoc :: GenCspCASL a -> SigMap CspSymbol -> CspCASLSign -> [Named CspCASLSen] -> Result [TCElement] Source # omdocToSym :: GenCspCASL a -> SigMapI CspSymbol -> TCElement -> String -> Result CspSymbol Source # omdocToSen :: GenCspCASL a -> SigMapI CspSymbol -> TCElement -> String -> Result (Maybe (Named CspCASLSen)) Source # addOMadtToTheory :: GenCspCASL a -> SigMapI CspSymbol -> (CspCASLSign, [Named CspCASLSen]) -> [[OmdADT]] -> Result (CspCASLSign, [Named CspCASLSen]) Source # addOmdocToTheory :: GenCspCASL a -> SigMapI CspSymbol -> (CspCASLSign, [Named CspCASLSen]) -> [TCElement] -> Result (CspCASLSign, [Named CspCASLSen]) Source # sublogicOfTheo :: GenCspCASL a -> (CspCASLSign, [CspCASLSen]) -> () 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 #
type Rep CspBasicExt
Instance details Defined in CspCASL.ATC_CspCASL type Rep CspBasicExt = D1 ('MetaData "CspBasicExt" "CspCASL.AS_CspCASL" "main" 'False) (C1 ('MetaCons "Channels" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Annoted CHANNEL_DECL]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)) :+: C1 ('MetaCons "ProcItems" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Annoted PROC_ITEM]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)))

data CHANNEL_DECL Source #

Constructors

ChannelDecl [CHANNEL_NAME] SORT

Instances

Instances details

Data CHANNEL_DECL Source #
Instance details Defined in CspCASL.AS_CspCASL Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CHANNEL_DECL -> c CHANNEL_DECL gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CHANNEL_DECL toConstr :: CHANNEL_DECL -> Constr dataTypeOf :: CHANNEL_DECL -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CHANNEL_DECL) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CHANNEL_DECL) gmapT :: (forall b. Data b => b -> b) -> CHANNEL_DECL -> CHANNEL_DECL gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CHANNEL_DECL -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CHANNEL_DECL -> r gmapQ :: (forall d. Data d => d -> u) -> CHANNEL_DECL -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> CHANNEL_DECL -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> CHANNEL_DECL -> m CHANNEL_DECL gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CHANNEL_DECL -> m CHANNEL_DECL gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CHANNEL_DECL -> m CHANNEL_DECL
Show CHANNEL_DECL Source #
Instance details Defined in CspCASL.AS_CspCASL Methods showsPrec :: Int -> CHANNEL_DECL -> ShowS show :: CHANNEL_DECL -> String showList :: [CHANNEL_DECL] -> ShowS
Generic CHANNEL_DECL
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep CHANNEL_DECL :: Type -> Type Methods from :: CHANNEL_DECL -> Rep CHANNEL_DECL x to :: Rep CHANNEL_DECL x -> CHANNEL_DECL
GetRange CHANNEL_DECL Source #
Instance details Defined in CspCASL.AS_CspCASL Methods getRange :: CHANNEL_DECL -> Range Source # rangeSpan :: CHANNEL_DECL -> [Pos] Source #
FromJSON CHANNEL_DECL
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser CHANNEL_DECL parseJSONList :: Value -> Parser [CHANNEL_DECL]
ToJSON CHANNEL_DECL
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: CHANNEL_DECL -> Value toEncoding :: CHANNEL_DECL -> Encoding toJSONList :: [CHANNEL_DECL] -> Value toEncodingList :: [CHANNEL_DECL] -> Encoding
ShATermConvertible CHANNEL_DECL
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> CHANNEL_DECL -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CHANNEL_DECL] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CHANNEL_DECL) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CHANNEL_DECL])
Pretty CHANNEL_DECL Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: CHANNEL_DECL -> Doc Source # pretties :: [CHANNEL_DECL] -> Doc Source #
ListCheck CHANNEL_DECL Source #
Instance details Defined in CspCASL.Print_CspCASL Methods innerList :: CHANNEL_DECL -> [()] Source #
type Rep CHANNEL_DECL
Instance details Defined in CspCASL.ATC_CspCASL type Rep CHANNEL_DECL = D1 ('MetaData "CHANNEL_DECL" "CspCASL.AS_CspCASL" "main" 'False) (C1 ('MetaCons "ChannelDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CHANNEL_NAME]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SORT)))

data PROC_ITEM Source #

Constructors

Proc_Decl PROCESS_NAME PROC_ARGS PROC_ALPHABET
Proc_Defn PROCESS_NAME [VAR_DECL] PROC_ALPHABET PROCESS
Proc_Eq PARM_PROCNAME PROCESS

Instances

Instances details

Data PROC_ITEM Source #
Instance details Defined in CspCASL.AS_CspCASL Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PROC_ITEM -> c PROC_ITEM gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PROC_ITEM toConstr :: PROC_ITEM -> Constr dataTypeOf :: PROC_ITEM -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PROC_ITEM) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PROC_ITEM) gmapT :: (forall b. Data b => b -> b) -> PROC_ITEM -> PROC_ITEM gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PROC_ITEM -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PROC_ITEM -> r gmapQ :: (forall d. Data d => d -> u) -> PROC_ITEM -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PROC_ITEM -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> PROC_ITEM -> m PROC_ITEM gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PROC_ITEM -> m PROC_ITEM gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PROC_ITEM -> m PROC_ITEM
Show PROC_ITEM Source #
Instance details Defined in CspCASL.AS_CspCASL Methods showsPrec :: Int -> PROC_ITEM -> ShowS show :: PROC_ITEM -> String showList :: [PROC_ITEM] -> ShowS
Generic PROC_ITEM
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep PROC_ITEM :: Type -> Type Methods from :: PROC_ITEM -> Rep PROC_ITEM x to :: Rep PROC_ITEM x -> PROC_ITEM
GetRange PROC_ITEM Source #
Instance details Defined in CspCASL.AS_CspCASL Methods getRange :: PROC_ITEM -> Range Source # rangeSpan :: PROC_ITEM -> [Pos] Source #
FromJSON PROC_ITEM
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser PROC_ITEM parseJSONList :: Value -> Parser [PROC_ITEM]
ToJSON PROC_ITEM
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: PROC_ITEM -> Value toEncoding :: PROC_ITEM -> Encoding toJSONList :: [PROC_ITEM] -> Value toEncodingList :: [PROC_ITEM] -> Encoding
ShATermConvertible PROC_ITEM
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> PROC_ITEM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PROC_ITEM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PROC_ITEM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PROC_ITEM])
Pretty PROC_ITEM Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: PROC_ITEM -> Doc Source # pretties :: [PROC_ITEM] -> Doc Source #
type Rep PROC_ITEM
Instance details Defined in CspCASL.ATC_CspCASL type Rep PROC_ITEM = D1 ('MetaData "PROC_ITEM" "CspCASL.AS_CspCASL" "main" 'False) (C1 ('MetaCons "Proc_Decl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS_NAME) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROC_ARGS) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROC_ALPHABET))) :+: (C1 ('MetaCons "Proc_Defn" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS_NAME) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [VAR_DECL])) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROC_ALPHABET) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS))) :+: C1 ('MetaCons "Proc_Eq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PARM_PROCNAME) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS))))

data PARM_PROCNAME Source #

Constructors

ParmProcname FQ_PROCESS_NAME [VAR]

Instances

Instances details

Data PARM_PROCNAME Source #
Instance details Defined in CspCASL.AS_CspCASL Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PARM_PROCNAME -> c PARM_PROCNAME gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PARM_PROCNAME toConstr :: PARM_PROCNAME -> Constr dataTypeOf :: PARM_PROCNAME -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PARM_PROCNAME) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PARM_PROCNAME) gmapT :: (forall b. Data b => b -> b) -> PARM_PROCNAME -> PARM_PROCNAME gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PARM_PROCNAME -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PARM_PROCNAME -> r gmapQ :: (forall d. Data d => d -> u) -> PARM_PROCNAME -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PARM_PROCNAME -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> PARM_PROCNAME -> m PARM_PROCNAME gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PARM_PROCNAME -> m PARM_PROCNAME gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PARM_PROCNAME -> m PARM_PROCNAME
Show PARM_PROCNAME Source #
Instance details Defined in CspCASL.AS_CspCASL Methods showsPrec :: Int -> PARM_PROCNAME -> ShowS show :: PARM_PROCNAME -> String showList :: [PARM_PROCNAME] -> ShowS
Generic PARM_PROCNAME
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep PARM_PROCNAME :: Type -> Type Methods from :: PARM_PROCNAME -> Rep PARM_PROCNAME x to :: Rep PARM_PROCNAME x -> PARM_PROCNAME
GetRange PARM_PROCNAME Source #
Instance details Defined in CspCASL.AS_CspCASL Methods getRange :: PARM_PROCNAME -> Range Source # rangeSpan :: PARM_PROCNAME -> [Pos] Source #
FromJSON PARM_PROCNAME
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser PARM_PROCNAME parseJSONList :: Value -> Parser [PARM_PROCNAME]
ToJSON PARM_PROCNAME
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: PARM_PROCNAME -> Value toEncoding :: PARM_PROCNAME -> Encoding toJSONList :: [PARM_PROCNAME] -> Value toEncodingList :: [PARM_PROCNAME] -> Encoding
ShATermConvertible PARM_PROCNAME
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> PARM_PROCNAME -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PARM_PROCNAME] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PARM_PROCNAME) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PARM_PROCNAME])
Pretty PARM_PROCNAME Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: PARM_PROCNAME -> Doc Source # pretties :: [PARM_PROCNAME] -> Doc Source #
type Rep PARM_PROCNAME
Instance details Defined in CspCASL.ATC_CspCASL type Rep PARM_PROCNAME = D1 ('MetaData "PARM_PROCNAME" "CspCASL.AS_CspCASL" "main" 'False) (C1 ('MetaCons "ParmProcname" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FQ_PROCESS_NAME) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [VAR])))