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.Symbol

Description

Synopsis

data CspSymbType
- = CaslSymbType SymbType
- | ProcAsItemType ProcProfile
- | ChanAsItemType Id
data CspSymbol = CspSymbol {
- cspSymName :: Id
- cspSymbType :: CspSymbType
}
data CspRawSymbol
- = ACspSymbol CspSymbol
- | CspKindedSymb CspSymbKind Id
rawId :: CspRawSymbol -> Id
cspCheckSymbList :: [CspSymbMap] -> [Diagnosis]
toChanSymbol :: (CHANNEL_NAME, SORT) -> CspSymbol
toProcSymbol :: (PROCESS_NAME, ProcProfile) -> CspSymbol
idToCspRaw :: Id -> CspRawSymbol
sortToProcProfile :: SORT -> ProcProfile
cspTypedSymbKindToRaw :: Bool -> CspCASLSign -> CspSymbKind -> Id -> CspType -> Result CspRawSymbol
cspSymbToRaw :: Bool -> CspCASLSign -> CspSymbKind -> CspSymb -> Result CspRawSymbol
cspStatSymbItems :: CspCASLSign -> [CspSymbItems] -> Result [CspRawSymbol]
maxKind :: CspSymbKind -> CspRawSymbol -> CspSymbKind
cspSymbOrMapToRaw :: CspCASLSign -> Maybe CspCASLSign -> CspSymbKind -> CspSymbMap -> Result [(CspRawSymbol, CspRawSymbol)]
cspStatSymbMapItems :: CspCASLSign -> Maybe CspCASLSign -> [CspSymbMapItems] -> Result (Map CspRawSymbol CspRawSymbol)
toSymbolSet :: CspSign -> [Set CspSymbol]
symSets :: CspCASLSign -> [Set CspSymbol]
caslToCspSymbol :: Symbol -> CspSymbol
toRawSymbol :: CspRawSymbol -> Maybe RawSymbol
splitSymbolMap :: Map CspRawSymbol CspRawSymbol -> (RawSymbolMap, Map CspRawSymbol CspRawSymbol)
getCASLSymbols :: Set CspSymbol -> Set Symbol

Documentation

data CspSymbType Source #

Constructors

CaslSymbType SymbType
ProcAsItemType ProcProfile
ChanAsItemType Id

Instances

Instances details

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

data CspSymbol Source #

Constructors

CspSymbol
Fields cspSymName :: Id cspSymbType :: CspSymbType

Instances

Instances details

Eq CspSymbol Source #
Instance details Defined in CspCASL.Symbol Methods (==) :: CspSymbol -> CspSymbol -> Bool (/=) :: CspSymbol -> CspSymbol -> Bool
Data CspSymbol Source #
Instance details Defined in CspCASL.Symbol Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CspSymbol -> c CspSymbol gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CspSymbol toConstr :: CspSymbol -> Constr dataTypeOf :: CspSymbol -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CspSymbol) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CspSymbol) gmapT :: (forall b. Data b => b -> b) -> CspSymbol -> CspSymbol gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CspSymbol -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CspSymbol -> r gmapQ :: (forall d. Data d => d -> u) -> CspSymbol -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> CspSymbol -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> CspSymbol -> m CspSymbol gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CspSymbol -> m CspSymbol gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CspSymbol -> m CspSymbol
Ord CspSymbol Source #
Instance details Defined in CspCASL.Symbol Methods compare :: CspSymbol -> CspSymbol -> Ordering (<) :: CspSymbol -> CspSymbol -> Bool (<=) :: CspSymbol -> CspSymbol -> Bool (>) :: CspSymbol -> CspSymbol -> Bool (>=) :: CspSymbol -> CspSymbol -> Bool max :: CspSymbol -> CspSymbol -> CspSymbol min :: CspSymbol -> CspSymbol -> CspSymbol
Show CspSymbol Source #
Instance details Defined in CspCASL.Symbol Methods showsPrec :: Int -> CspSymbol -> ShowS show :: CspSymbol -> String showList :: [CspSymbol] -> ShowS
Generic CspSymbol
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep CspSymbol :: Type -> Type Methods from :: CspSymbol -> Rep CspSymbol x to :: Rep CspSymbol x -> CspSymbol
GetRange CspSymbol Source #
Instance details Defined in CspCASL.Symbol Methods getRange :: CspSymbol -> Range Source # rangeSpan :: CspSymbol -> [Pos] Source #
FromJSON CspSymbol
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser CspSymbol parseJSONList :: Value -> Parser [CspSymbol]
ToJSON CspSymbol
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: CspSymbol -> Value toEncoding :: CspSymbol -> Encoding toJSONList :: [CspSymbol] -> Value toEncodingList :: [CspSymbol] -> Encoding
ShATermConvertible CspSymbol
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> CspSymbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CspSymbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CspSymbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CspSymbol])
Pretty CspSymbol Source #
Instance details Defined in CspCASL.Symbol Methods pretty :: CspSymbol -> Doc Source # pretties :: [CspSymbol] -> 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 => Sentences (GenCspCASL a) CspCASLSen CspCASLSign CspCASLMorphism CspSymbol Source #	Instance of Sentences for CspCASL
Instance details Defined in CspCASL.Logic_CspCASL Methods map_sen :: GenCspCASL a -> CspCASLMorphism -> CspCASLSen -> Result CspCASLSen Source # simplify_sen :: GenCspCASL a -> CspCASLSign -> CspCASLSen -> CspCASLSen Source # negation :: GenCspCASL a -> CspCASLSen -> Maybe CspCASLSen Source # print_sign :: GenCspCASL a -> CspCASLSign -> Doc Source # print_named :: GenCspCASL a -> Named CspCASLSen -> Doc Source # sym_of :: GenCspCASL a -> CspCASLSign -> [Set CspSymbol] Source # mostSymsOf :: GenCspCASL a -> CspCASLSign -> [CspSymbol] Source # symmap_of :: GenCspCASL a -> CspCASLMorphism -> EndoMap CspSymbol Source # sym_name :: GenCspCASL a -> CspSymbol -> Id Source # sym_label :: GenCspCASL a -> CspSymbol -> Maybe String Source # fullSymName :: GenCspCASL a -> CspSymbol -> String Source # symKind :: GenCspCASL a -> CspSymbol -> String Source # symsOfSen :: GenCspCASL a -> CspCASLSign -> CspCASLSen -> [CspSymbol] Source # pair_symbols :: GenCspCASL a -> CspSymbol -> CspSymbol -> Result CspSymbol 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 CspSymbol
Instance details Defined in CspCASL.ATC_CspCASL type Rep CspSymbol = D1 ('MetaData "CspSymbol" "CspCASL.Symbol" "main" 'False) (C1 ('MetaCons "CspSymbol" 'PrefixI 'True) (S1 ('MetaSel ('Just "cspSymName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id) :*: S1 ('MetaSel ('Just "cspSymbType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CspSymbType)))

data CspRawSymbol Source #

Constructors

ACspSymbol CspSymbol
CspKindedSymb CspSymbKind Id

Instances

Instances details

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

rawId :: CspRawSymbol -> Id Source #

cspCheckSymbList :: [CspSymbMap] -> [Diagnosis] Source #

toChanSymbol :: (CHANNEL_NAME, SORT) -> CspSymbol Source #

toProcSymbol :: (PROCESS_NAME, ProcProfile) -> CspSymbol Source #

idToCspRaw :: Id -> CspRawSymbol Source #

sortToProcProfile :: SORT -> ProcProfile Source #

cspTypedSymbKindToRaw :: Bool -> CspCASLSign -> CspSymbKind -> Id -> CspType -> Result CspRawSymbol Source #

cspSymbToRaw :: Bool -> CspCASLSign -> CspSymbKind -> CspSymb -> Result CspRawSymbol Source #

cspStatSymbItems :: CspCASLSign -> [CspSymbItems] -> Result [CspRawSymbol] Source #

maxKind :: CspSymbKind -> CspRawSymbol -> CspSymbKind Source #

cspSymbOrMapToRaw :: CspCASLSign -> Maybe CspCASLSign -> CspSymbKind -> CspSymbMap -> Result [(CspRawSymbol, CspRawSymbol)] Source #

cspStatSymbMapItems :: CspCASLSign -> Maybe CspCASLSign -> [CspSymbMapItems] -> Result (Map CspRawSymbol CspRawSymbol) Source #

toSymbolSet :: CspSign -> [Set CspSymbol] Source #

symSets :: CspCASLSign -> [Set CspSymbol] Source #

caslToCspSymbol :: Symbol -> CspSymbol Source #

toRawSymbol :: CspRawSymbol -> Maybe RawSymbol Source #

try to convert a csp raw symbol to a CASL raw symbol

splitSymbolMap :: Map CspRawSymbol CspRawSymbol -> (RawSymbolMap, Map CspRawSymbol CspRawSymbol) Source #

getCASLSymbols :: Set CspSymbol -> Set Symbol Source #