Copyright	(c) Christian Maeder DFKI GmbH 2011
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	None

CspCASL.SymbItems

Description

Synopsis

data CspSymbItems = CspSymbItems CspSymbKind [CspSymb]
data CspSymbMapItems = CspSymbMapItems CspSymbKind [CspSymbMap]
data CspSymbKind
- = CaslKind SYMB_KIND
- | ProcessKind
- | ChannelKind
data CspSymb = CspSymb Id (Maybe CspType)
data CspType
- = CaslType TYPE
- | ProcType ProcProfile
data CspSymbMap = CspSymbMap CspSymb (Maybe CspSymb)
pluralCspSympKind :: CspSymbKind -> [a] -> Doc
commAlpha :: AParser st CommAlpha
cspSymb :: AParser st CspSymb
cspSymbMap :: AParser st CspSymbMap
cspSymbKind :: AParser st CspSymbKind
cspSymbs :: AParser st [CspSymb]
cspSymbItems :: AParser st CspSymbItems
cspSymbMaps :: AParser st [CspSymbMap]
cspSymbMapItems :: AParser st CspSymbMapItems

Documentation

data CspSymbItems Source #

Constructors

CspSymbItems CspSymbKind [CspSymb]

Instances

Instances details

Eq CspSymbItems Source #
Instance details Defined in CspCASL.SymbItems Methods (==) :: CspSymbItems -> CspSymbItems -> Bool (/=) :: CspSymbItems -> CspSymbItems -> Bool
Data CspSymbItems Source #
Instance details Defined in CspCASL.SymbItems Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CspSymbItems -> c CspSymbItems gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CspSymbItems toConstr :: CspSymbItems -> Constr dataTypeOf :: CspSymbItems -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CspSymbItems) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CspSymbItems) gmapT :: (forall b. Data b => b -> b) -> CspSymbItems -> CspSymbItems gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CspSymbItems -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CspSymbItems -> r gmapQ :: (forall d. Data d => d -> u) -> CspSymbItems -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> CspSymbItems -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> CspSymbItems -> m CspSymbItems gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CspSymbItems -> m CspSymbItems gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CspSymbItems -> m CspSymbItems
Ord CspSymbItems Source #
Instance details Defined in CspCASL.SymbItems Methods compare :: CspSymbItems -> CspSymbItems -> Ordering (<) :: CspSymbItems -> CspSymbItems -> Bool (<=) :: CspSymbItems -> CspSymbItems -> Bool (>) :: CspSymbItems -> CspSymbItems -> Bool (>=) :: CspSymbItems -> CspSymbItems -> Bool max :: CspSymbItems -> CspSymbItems -> CspSymbItems min :: CspSymbItems -> CspSymbItems -> CspSymbItems
Show CspSymbItems Source #
Instance details Defined in CspCASL.SymbItems Methods showsPrec :: Int -> CspSymbItems -> ShowS show :: CspSymbItems -> String showList :: [CspSymbItems] -> ShowS
Generic CspSymbItems
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep CspSymbItems :: Type -> Type Methods from :: CspSymbItems -> Rep CspSymbItems x to :: Rep CspSymbItems x -> CspSymbItems
FromJSON CspSymbItems
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser CspSymbItems parseJSONList :: Value -> Parser [CspSymbItems]
ToJSON CspSymbItems
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: CspSymbItems -> Value toEncoding :: CspSymbItems -> Encoding toJSONList :: [CspSymbItems] -> Value toEncodingList :: [CspSymbItems] -> Encoding
ShATermConvertible CspSymbItems
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> CspSymbItems -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspSymbItems] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspSymbItems) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspSymbItems])
Pretty CspSymbItems Source #
Instance details Defined in CspCASL.SymbItems Methods pretty :: CspSymbItems -> Doc Source # pretties :: [CspSymbItems] -> Doc 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 CspSymbItems
Instance details Defined in CspCASL.ATC_CspCASL type Rep CspSymbItems = D1 ('MetaData "CspSymbItems" "CspCASL.SymbItems" "main" 'False) (C1 ('MetaCons "CspSymbItems" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CspSymbKind) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CspSymb])))

data CspSymbMapItems Source #

Constructors

CspSymbMapItems CspSymbKind [CspSymbMap]

Instances

Instances details

Eq CspSymbMapItems Source #
Instance details Defined in CspCASL.SymbItems Methods (==) :: CspSymbMapItems -> CspSymbMapItems -> Bool (/=) :: CspSymbMapItems -> CspSymbMapItems -> Bool
Data CspSymbMapItems Source #
Instance details Defined in CspCASL.SymbItems Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CspSymbMapItems -> c CspSymbMapItems gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CspSymbMapItems toConstr :: CspSymbMapItems -> Constr dataTypeOf :: CspSymbMapItems -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CspSymbMapItems) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CspSymbMapItems) gmapT :: (forall b. Data b => b -> b) -> CspSymbMapItems -> CspSymbMapItems gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CspSymbMapItems -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CspSymbMapItems -> r gmapQ :: (forall d. Data d => d -> u) -> CspSymbMapItems -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> CspSymbMapItems -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> CspSymbMapItems -> m CspSymbMapItems gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CspSymbMapItems -> m CspSymbMapItems gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CspSymbMapItems -> m CspSymbMapItems
Ord CspSymbMapItems Source #
Instance details Defined in CspCASL.SymbItems Methods compare :: CspSymbMapItems -> CspSymbMapItems -> Ordering (<) :: CspSymbMapItems -> CspSymbMapItems -> Bool (<=) :: CspSymbMapItems -> CspSymbMapItems -> Bool (>) :: CspSymbMapItems -> CspSymbMapItems -> Bool (>=) :: CspSymbMapItems -> CspSymbMapItems -> Bool max :: CspSymbMapItems -> CspSymbMapItems -> CspSymbMapItems min :: CspSymbMapItems -> CspSymbMapItems -> CspSymbMapItems
Show CspSymbMapItems Source #
Instance details Defined in CspCASL.SymbItems Methods showsPrec :: Int -> CspSymbMapItems -> ShowS show :: CspSymbMapItems -> String showList :: [CspSymbMapItems] -> ShowS
Generic CspSymbMapItems
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep CspSymbMapItems :: Type -> Type Methods from :: CspSymbMapItems -> Rep CspSymbMapItems x to :: Rep CspSymbMapItems x -> CspSymbMapItems
FromJSON CspSymbMapItems
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser CspSymbMapItems parseJSONList :: Value -> Parser [CspSymbMapItems]
ToJSON CspSymbMapItems
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: CspSymbMapItems -> Value toEncoding :: CspSymbMapItems -> Encoding toJSONList :: [CspSymbMapItems] -> Value toEncodingList :: [CspSymbMapItems] -> Encoding
ShATermConvertible CspSymbMapItems
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> CspSymbMapItems -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspSymbMapItems] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspSymbMapItems) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspSymbMapItems])
Pretty CspSymbMapItems Source #
Instance details Defined in CspCASL.SymbItems Methods pretty :: CspSymbMapItems -> Doc Source # pretties :: [CspSymbMapItems] -> Doc 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 CspSymbMapItems
Instance details Defined in CspCASL.ATC_CspCASL type Rep CspSymbMapItems = D1 ('MetaData "CspSymbMapItems" "CspCASL.SymbItems" "main" 'False) (C1 ('MetaCons "CspSymbMapItems" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CspSymbKind) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CspSymbMap])))

data CspSymbKind Source #

Constructors

CaslKind SYMB_KIND
ProcessKind
ChannelKind

Instances

Instances details

Eq CspSymbKind Source #
Instance details Defined in CspCASL.SymbItems Methods (==) :: CspSymbKind -> CspSymbKind -> Bool (/=) :: CspSymbKind -> CspSymbKind -> Bool
Data CspSymbKind Source #
Instance details Defined in CspCASL.SymbItems Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CspSymbKind -> c CspSymbKind gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CspSymbKind toConstr :: CspSymbKind -> Constr dataTypeOf :: CspSymbKind -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CspSymbKind) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CspSymbKind) gmapT :: (forall b. Data b => b -> b) -> CspSymbKind -> CspSymbKind gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CspSymbKind -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CspSymbKind -> r gmapQ :: (forall d. Data d => d -> u) -> CspSymbKind -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> CspSymbKind -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> CspSymbKind -> m CspSymbKind gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CspSymbKind -> m CspSymbKind gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CspSymbKind -> m CspSymbKind
Ord CspSymbKind Source #
Instance details Defined in CspCASL.SymbItems Methods compare :: CspSymbKind -> CspSymbKind -> Ordering (<) :: CspSymbKind -> CspSymbKind -> Bool (<=) :: CspSymbKind -> CspSymbKind -> Bool (>) :: CspSymbKind -> CspSymbKind -> Bool (>=) :: CspSymbKind -> CspSymbKind -> Bool max :: CspSymbKind -> CspSymbKind -> CspSymbKind min :: CspSymbKind -> CspSymbKind -> CspSymbKind
Show CspSymbKind Source #
Instance details Defined in CspCASL.SymbItems Methods showsPrec :: Int -> CspSymbKind -> ShowS show :: CspSymbKind -> String showList :: [CspSymbKind] -> ShowS
Generic CspSymbKind
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep CspSymbKind :: Type -> Type Methods from :: CspSymbKind -> Rep CspSymbKind x to :: Rep CspSymbKind x -> CspSymbKind
FromJSON CspSymbKind
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser CspSymbKind parseJSONList :: Value -> Parser [CspSymbKind]
ToJSON CspSymbKind
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: CspSymbKind -> Value toEncoding :: CspSymbKind -> Encoding toJSONList :: [CspSymbKind] -> Value toEncodingList :: [CspSymbKind] -> Encoding
ShATermConvertible CspSymbKind
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> CspSymbKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspSymbKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspSymbKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspSymbKind])
Pretty CspSymbKind Source #
Instance details Defined in CspCASL.SymbItems Methods pretty :: CspSymbKind -> Doc Source # pretties :: [CspSymbKind] -> Doc Source #
type Rep CspSymbKind
Instance details Defined in CspCASL.ATC_CspCASL type Rep CspSymbKind = D1 ('MetaData "CspSymbKind" "CspCASL.SymbItems" "main" 'False) (C1 ('MetaCons "CaslKind" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SYMB_KIND)) :+: (C1 ('MetaCons "ProcessKind" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ChannelKind" 'PrefixI 'False) (U1 :: Type -> Type)))

data CspSymb Source #

Constructors

CspSymb Id (Maybe CspType)

Instances

Instances details

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

data CspType Source #

Constructors

CaslType TYPE
ProcType ProcProfile

Instances

Instances details

Eq CspType Source #
Instance details Defined in CspCASL.SymbItems Methods (==) :: CspType -> CspType -> Bool (/=) :: CspType -> CspType -> Bool
Data CspType Source #
Instance details Defined in CspCASL.SymbItems Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CspType -> c CspType gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CspType toConstr :: CspType -> Constr dataTypeOf :: CspType -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CspType) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CspType) gmapT :: (forall b. Data b => b -> b) -> CspType -> CspType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CspType -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CspType -> r gmapQ :: (forall d. Data d => d -> u) -> CspType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> CspType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> CspType -> m CspType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CspType -> m CspType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CspType -> m CspType
Ord CspType Source #
Instance details Defined in CspCASL.SymbItems Methods compare :: CspType -> CspType -> Ordering (<) :: CspType -> CspType -> Bool (<=) :: CspType -> CspType -> Bool (>) :: CspType -> CspType -> Bool (>=) :: CspType -> CspType -> Bool max :: CspType -> CspType -> CspType min :: CspType -> CspType -> CspType
Show CspType Source #
Instance details Defined in CspCASL.SymbItems Methods showsPrec :: Int -> CspType -> ShowS show :: CspType -> String showList :: [CspType] -> ShowS
Generic CspType
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep CspType :: Type -> Type Methods from :: CspType -> Rep CspType x to :: Rep CspType x -> CspType
FromJSON CspType
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser CspType parseJSONList :: Value -> Parser [CspType]
ToJSON CspType
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: CspType -> Value toEncoding :: CspType -> Encoding toJSONList :: [CspType] -> Value toEncodingList :: [CspType] -> Encoding
ShATermConvertible CspType
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> CspType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspType])
Pretty CspType Source #
Instance details Defined in CspCASL.SymbItems Methods pretty :: CspType -> Doc Source # pretties :: [CspType] -> Doc Source #
type Rep CspType
Instance details Defined in CspCASL.ATC_CspCASL type Rep CspType = D1 ('MetaData "CspType" "CspCASL.SymbItems" "main" 'False) (C1 ('MetaCons "CaslType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TYPE)) :+: C1 ('MetaCons "ProcType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProcProfile)))

data CspSymbMap Source #

Constructors

CspSymbMap CspSymb (Maybe CspSymb)

Instances

Instances details

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

pluralCspSympKind :: CspSymbKind -> [a] -> Doc Source #

commAlpha :: AParser st CommAlpha Source #

cspSymb :: AParser st CspSymb Source #

parsing a possibly qualified identifier

cspSymbMap :: AParser st CspSymbMap Source #

parsing one symbol or a mapping of one to second symbol

cspSymbKind :: AParser st CspSymbKind Source #

parse a kind keyword

cspSymbs :: AParser st [CspSymb] Source #

parse a comma separated list of symbols

cspSymbItems :: AParser st CspSymbItems Source #

Parse a possible kinded list of comma separated CspCASL symbols. The argument is a list of keywords to avoid as identifiers.

cspSymbMaps :: AParser st [CspSymbMap] Source #

parse a comma separated list of symbols

cspSymbMapItems :: AParser st CspSymbMapItems Source #

parse a possible kinded list of CspCASL symbol mappings