Hets - the Heterogeneous Tool Set
Copyright(c) Klaus Luettich Uni Bremen 2004
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

CASL_DL.Sign

Description

Signatures for DL logics, as extension of CASL signatures.

Documentation

data CASL_DLSign Source #

Instances

Instances details
Eq CASL_DLSign Source # 
Instance details

Defined in CASL_DL.Sign

Methods

(==) :: CASL_DLSign -> CASL_DLSign -> Bool

(/=) :: CASL_DLSign -> CASL_DLSign -> Bool

Data CASL_DLSign Source # 
Instance details

Defined in CASL_DL.Sign

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CASL_DLSign -> c CASL_DLSign

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CASL_DLSign

toConstr :: CASL_DLSign -> Constr

dataTypeOf :: CASL_DLSign -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CASL_DLSign)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CASL_DLSign)

gmapT :: (forall b. Data b => b -> b) -> CASL_DLSign -> CASL_DLSign

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CASL_DLSign -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CASL_DLSign -> r

gmapQ :: (forall d. Data d => d -> u) -> CASL_DLSign -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CASL_DLSign -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CASL_DLSign -> m CASL_DLSign

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CASL_DLSign -> m CASL_DLSign

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CASL_DLSign -> m CASL_DLSign

Ord CASL_DLSign Source # 
Instance details

Defined in CASL_DL.Sign

Show CASL_DLSign Source # 
Instance details

Defined in CASL_DL.Sign

Methods

showsPrec :: Int -> CASL_DLSign -> ShowS

show :: CASL_DLSign -> String

showList :: [CASL_DLSign] -> ShowS

Generic CASL_DLSign 
Instance details

Defined in CASL_DL.ATC_CASL_DL

Associated Types

type Rep CASL_DLSign :: Type -> Type

Methods

from :: CASL_DLSign -> Rep CASL_DLSign x

to :: Rep CASL_DLSign x -> CASL_DLSign

FromJSON CASL_DLSign 
Instance details

Defined in CASL_DL.ATC_CASL_DL

Methods

parseJSON :: Value -> Parser CASL_DLSign

parseJSONList :: Value -> Parser [CASL_DLSign]

ToJSON CASL_DLSign 
Instance details

Defined in CASL_DL.ATC_CASL_DL

Methods

toJSON :: CASL_DLSign -> Value

toEncoding :: CASL_DLSign -> Encoding

toJSONList :: [CASL_DLSign] -> Value

toEncodingList :: [CASL_DLSign] -> Encoding

ShATermConvertible CASL_DLSign 
Instance details

Defined in CASL_DL.ATC_CASL_DL

Methods

toShATermAux :: ATermTable -> CASL_DLSign -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [CASL_DLSign] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, CASL_DLSign)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [CASL_DLSign])

Pretty CASL_DLSign Source # 
Instance details

Defined in CASL_DL.Sign

SignExtension CASL_DLSign Source # 
Instance details

Defined in CASL_DL.Logic_CASL_DL

ProjectSublogic CASL_DL_SL DLSign Source # 
Instance details

Defined in CASL_DL.Logic_CASL_DL

ProjectSublogic CASL_DL_SL DLMor Source # 
Instance details

Defined in CASL_DL.Logic_CASL_DL

MinSublogic CASL_DL_SL DLSign Source # 
Instance details

Defined in CASL_DL.Logic_CASL_DL

MinSublogic CASL_DL_SL DLMor Source # 
Instance details

Defined in CASL_DL.Logic_CASL_DL

Sentences CASL_DL DLFORMULA DLSign DLMor Symbol Source # 
Instance details

Defined in CASL_DL.Logic_CASL_DL

StaticAnalysis CASL_DL DL_BASIC_SPEC DLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS DLSign DLMor Symbol RawSymbol Source # 
Instance details

Defined in CASL_DL.Logic_CASL_DL

Methods

basic_analysis :: CASL_DL -> Maybe ((DL_BASIC_SPEC, DLSign, GlobalAnnos) -> Result (DL_BASIC_SPEC, ExtSign DLSign Symbol, [Named DLFORMULA])) Source #

sen_analysis :: CASL_DL -> Maybe ((DL_BASIC_SPEC, DLSign, DLFORMULA) -> Result DLFORMULA) Source #

extBasicAnalysis :: CASL_DL -> IRI -> LibName -> DL_BASIC_SPEC -> DLSign -> GlobalAnnos -> Result (DL_BASIC_SPEC, ExtSign DLSign Symbol, [Named DLFORMULA]) Source #

stat_symb_map_items :: CASL_DL -> DLSign -> Maybe DLSign -> [SYMB_MAP_ITEMS] -> Result (EndoMap RawSymbol) Source #

stat_symb_items :: CASL_DL -> DLSign -> [SYMB_ITEMS] -> Result [RawSymbol] Source #

convertTheory :: CASL_DL -> Maybe ((DLSign, [Named DLFORMULA]) -> DL_BASIC_SPEC) Source #

ensures_amalgamability :: CASL_DL -> ([CASLAmalgOpt], Gr DLSign (Int, DLMor), [(Int, DLMor)], Gr String String) -> Result Amalgamates Source #

quotient_term_algebra :: CASL_DL -> DLMor -> [Named DLFORMULA] -> Result (DLSign, [Named DLFORMULA]) Source #

signature_colimit :: CASL_DL -> Gr DLSign (Int, DLMor) -> Result (DLSign, Map Int DLMor) Source #

qualify :: CASL_DL -> SIMPLE_ID -> LibName -> DLMor -> DLSign -> Result (DLMor, [Named DLFORMULA]) Source #

symbol_to_raw :: CASL_DL -> Symbol -> RawSymbol Source #

id_to_raw :: CASL_DL -> Id -> RawSymbol Source #

matches :: CASL_DL -> Symbol -> RawSymbol -> Bool Source #

empty_signature :: CASL_DL -> DLSign Source #

add_symb_to_sign :: CASL_DL -> DLSign -> Symbol -> Result DLSign Source #

signature_union :: CASL_DL -> DLSign -> DLSign -> Result DLSign Source #

signatureDiff :: CASL_DL -> DLSign -> DLSign -> Result DLSign Source #

intersection :: CASL_DL -> DLSign -> DLSign -> Result DLSign Source #

final_union :: CASL_DL -> DLSign -> DLSign -> Result DLSign Source #

morphism_union :: CASL_DL -> DLMor -> DLMor -> Result DLMor Source #

is_subsig :: CASL_DL -> DLSign -> DLSign -> Bool Source #

subsig_inclusion :: CASL_DL -> DLSign -> DLSign -> Result DLMor Source #

generated_sign :: CASL_DL -> Set Symbol -> DLSign -> Result DLMor Source #

cogenerated_sign :: CASL_DL -> Set Symbol -> DLSign -> Result DLMor Source #

induced_from_morphism :: CASL_DL -> EndoMap RawSymbol -> DLSign -> Result DLMor Source #

induced_from_to_morphism :: CASL_DL -> EndoMap RawSymbol -> ExtSign DLSign Symbol -> ExtSign DLSign Symbol -> Result DLMor Source #

is_transportable :: CASL_DL -> DLMor -> Bool Source #

is_injective :: CASL_DL -> DLMor -> Bool Source #

theory_to_taxonomy :: CASL_DL -> TaxoGraphKind -> MMiSSOntology -> DLSign -> [Named DLFORMULA] -> Result MMiSSOntology Source #

corresp2th :: CASL_DL -> String -> Bool -> DLSign -> DLSign -> [SYMB_ITEMS] -> [SYMB_ITEMS] -> EndoMap Symbol -> EndoMap Symbol -> REL_REF -> Result (DLSign, [Named DLFORMULA], DLSign, DLSign, EndoMap Symbol, EndoMap Symbol) Source #

equiv2cospan :: CASL_DL -> DLSign -> DLSign -> [SYMB_ITEMS] -> [SYMB_ITEMS] -> Result (DLSign, DLSign, DLSign, EndoMap Symbol, EndoMap Symbol) Source #

extract_module :: CASL_DL -> [IRI] -> (DLSign, [Named DLFORMULA]) -> Result (DLSign, [Named DLFORMULA]) Source #

Logic CASL_DL CASL_DL_SL DL_BASIC_SPEC DLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS DLSign DLMor Symbol RawSymbol ProofTree Source # 
Instance details

Defined in CASL_DL.Logic_CASL_DL

Methods

parse_basic_sen :: CASL_DL -> Maybe (DL_BASIC_SPEC -> AParser st DLFORMULA) Source #

stability :: CASL_DL -> Stability Source #

data_logic :: CASL_DL -> Maybe AnyLogic Source #

top_sublogic :: CASL_DL -> CASL_DL_SL Source #

all_sublogics :: CASL_DL -> [CASL_DL_SL] Source #

bottomSublogic :: CASL_DL -> Maybe CASL_DL_SL Source #

sublogicDimensions :: CASL_DL -> [[CASL_DL_SL]] Source #

parseSublogic :: CASL_DL -> String -> Maybe CASL_DL_SL Source #

proj_sublogic_epsilon :: CASL_DL -> CASL_DL_SL -> DLSign -> DLMor Source #

provers :: CASL_DL -> [Prover DLSign DLFORMULA DLMor CASL_DL_SL ProofTree] Source #

default_prover :: CASL_DL -> String Source #

cons_checkers :: CASL_DL -> [ConsChecker DLSign DLFORMULA CASL_DL_SL DLMor ProofTree] Source #

conservativityCheck :: CASL_DL -> [ConservativityChecker DLSign DLFORMULA DLMor] Source #

empty_proof_tree :: CASL_DL -> ProofTree Source #

syntaxTable :: CASL_DL -> DLSign -> Maybe SyntaxTable Source #

omdoc_metatheory :: CASL_DL -> Maybe OMCD Source #

export_symToOmdoc :: CASL_DL -> NameMap Symbol -> Symbol -> String -> Result TCElement Source #

export_senToOmdoc :: CASL_DL -> NameMap Symbol -> DLFORMULA -> Result TCorOMElement Source #

export_theoryToOmdoc :: CASL_DL -> SigMap Symbol -> DLSign -> [Named DLFORMULA] -> Result [TCElement] Source #

omdocToSym :: CASL_DL -> SigMapI Symbol -> TCElement -> String -> Result Symbol Source #

omdocToSen :: CASL_DL -> SigMapI Symbol -> TCElement -> String -> Result (Maybe (Named DLFORMULA)) Source #

addOMadtToTheory :: CASL_DL -> SigMapI Symbol -> (DLSign, [Named DLFORMULA]) -> [[OmdADT]] -> Result (DLSign, [Named DLFORMULA]) Source #

addOmdocToTheory :: CASL_DL -> SigMapI Symbol -> (DLSign, [Named DLFORMULA]) -> [TCElement] -> Result (DLSign, [Named DLFORMULA]) Source #

sublogicOfTheo :: CASL_DL -> (DLSign, [DLFORMULA]) -> CASL_DL_SL Source #

Comorphism CASL_DL2CASL CASL_DL CASL_DL_SL DL_BASIC_SPEC DLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS DLSign DLMor Symbol RawSymbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source # 
Instance details

Defined in Comorphisms.CASL_DL2CASL

type Rep CASL_DLSign 
Instance details

Defined in CASL_DL.ATC_CASL_DL

type Rep CASL_DLSign = D1 ('MetaData "CASL_DLSign" "CASL_DL.Sign" "main" 'False) (C1 ('MetaCons "CASL_DLSign" 'PrefixI 'True) (S1 ('MetaSel ('Just "annoProperties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map SIMPLE_ID PropertyType)) :*: S1 ('MetaSel ('Just "annoPropertySens") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AnnoAppl])))

data PropertyType Source #

Constructors

AnnoProperty 
OntoProperty 

Instances

Instances details
Eq PropertyType Source # 
Instance details

Defined in CASL_DL.Sign

Methods

(==) :: PropertyType -> PropertyType -> Bool

(/=) :: PropertyType -> PropertyType -> Bool

Data PropertyType Source # 
Instance details

Defined in CASL_DL.Sign

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PropertyType -> c PropertyType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PropertyType

toConstr :: PropertyType -> Constr

dataTypeOf :: PropertyType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PropertyType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PropertyType)

gmapT :: (forall b. Data b => b -> b) -> PropertyType -> PropertyType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PropertyType -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PropertyType -> r

gmapQ :: (forall d. Data d => d -> u) -> PropertyType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PropertyType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PropertyType -> m PropertyType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PropertyType -> m PropertyType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PropertyType -> m PropertyType

Ord PropertyType Source # 
Instance details

Defined in CASL_DL.Sign

Show PropertyType Source # 
Instance details

Defined in CASL_DL.Sign

Methods

showsPrec :: Int -> PropertyType -> ShowS

show :: PropertyType -> String

showList :: [PropertyType] -> ShowS

Generic PropertyType 
Instance details

Defined in CASL_DL.ATC_CASL_DL

Associated Types

type Rep PropertyType :: Type -> Type

FromJSON PropertyType 
Instance details

Defined in CASL_DL.ATC_CASL_DL

Methods

parseJSON :: Value -> Parser PropertyType

parseJSONList :: Value -> Parser [PropertyType]

ToJSON PropertyType 
Instance details

Defined in CASL_DL.ATC_CASL_DL

Methods

toJSON :: PropertyType -> Value

toEncoding :: PropertyType -> Encoding

toJSONList :: [PropertyType] -> Value

toEncodingList :: [PropertyType] -> Encoding

ShATermConvertible PropertyType 
Instance details

Defined in CASL_DL.ATC_CASL_DL

Methods

toShATermAux :: ATermTable -> PropertyType -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [PropertyType] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, PropertyType)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [PropertyType])

type Rep PropertyType 
Instance details

Defined in CASL_DL.ATC_CASL_DL

type Rep PropertyType = D1 ('MetaData "PropertyType" "CASL_DL.Sign" "main" 'False) (C1 ('MetaCons "AnnoProperty" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OntoProperty" 'PrefixI 'False) (U1 :: Type -> Type))

data AnnoAppl Source #

Instances

Instances details
Eq AnnoAppl Source # 
Instance details

Defined in CASL_DL.Sign

Methods

(==) :: AnnoAppl -> AnnoAppl -> Bool

(/=) :: AnnoAppl -> AnnoAppl -> Bool

Data AnnoAppl Source # 
Instance details

Defined in CASL_DL.Sign

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnnoAppl -> c AnnoAppl

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AnnoAppl

toConstr :: AnnoAppl -> Constr

dataTypeOf :: AnnoAppl -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AnnoAppl)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AnnoAppl)

gmapT :: (forall b. Data b => b -> b) -> AnnoAppl -> AnnoAppl

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnnoAppl -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnnoAppl -> r

gmapQ :: (forall d. Data d => d -> u) -> AnnoAppl -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> AnnoAppl -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnnoAppl -> m AnnoAppl

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnoAppl -> m AnnoAppl

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnoAppl -> m AnnoAppl

Ord AnnoAppl Source # 
Instance details

Defined in CASL_DL.Sign

Methods

compare :: AnnoAppl -> AnnoAppl -> Ordering

(<) :: AnnoAppl -> AnnoAppl -> Bool

(<=) :: AnnoAppl -> AnnoAppl -> Bool

(>) :: AnnoAppl -> AnnoAppl -> Bool

(>=) :: AnnoAppl -> AnnoAppl -> Bool

max :: AnnoAppl -> AnnoAppl -> AnnoAppl

min :: AnnoAppl -> AnnoAppl -> AnnoAppl

Show AnnoAppl Source # 
Instance details

Defined in CASL_DL.Sign

Methods

showsPrec :: Int -> AnnoAppl -> ShowS

show :: AnnoAppl -> String

showList :: [AnnoAppl] -> ShowS

Generic AnnoAppl 
Instance details

Defined in CASL_DL.ATC_CASL_DL

Associated Types

type Rep AnnoAppl :: Type -> Type

Methods

from :: AnnoAppl -> Rep AnnoAppl x

to :: Rep AnnoAppl x -> AnnoAppl

FromJSON AnnoAppl 
Instance details

Defined in CASL_DL.ATC_CASL_DL

Methods

parseJSON :: Value -> Parser AnnoAppl

parseJSONList :: Value -> Parser [AnnoAppl]

ToJSON AnnoAppl 
Instance details

Defined in CASL_DL.ATC_CASL_DL

Methods

toJSON :: AnnoAppl -> Value

toEncoding :: AnnoAppl -> Encoding

toJSONList :: [AnnoAppl] -> Value

toEncodingList :: [AnnoAppl] -> Encoding

ShATermConvertible AnnoAppl 
Instance details

Defined in CASL_DL.ATC_CASL_DL

Methods

toShATermAux :: ATermTable -> AnnoAppl -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [AnnoAppl] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, AnnoAppl)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [AnnoAppl])

Pretty AnnoAppl Source # 
Instance details

Defined in CASL_DL.Sign

type Rep AnnoAppl 
Instance details

Defined in CASL_DL.ATC_CASL_DL

type Rep AnnoAppl = D1 ('MetaData "AnnoAppl" "CASL_DL.Sign" "main" 'False) (C1 ('MetaCons "AnnoAppl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SIMPLE_ID) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AnnoLiteral))))

data AnnoLiteral Source #

Constructors

AL_Term (TERM DL_FORMULA) 
AL_Id Id 

Instances

Instances details
Eq AnnoLiteral Source # 
Instance details

Defined in CASL_DL.Sign

Methods

(==) :: AnnoLiteral -> AnnoLiteral -> Bool

(/=) :: AnnoLiteral -> AnnoLiteral -> Bool

Data AnnoLiteral Source # 
Instance details

Defined in CASL_DL.Sign

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnnoLiteral -> c AnnoLiteral

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AnnoLiteral

toConstr :: AnnoLiteral -> Constr

dataTypeOf :: AnnoLiteral -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AnnoLiteral)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AnnoLiteral)

gmapT :: (forall b. Data b => b -> b) -> AnnoLiteral -> AnnoLiteral

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnnoLiteral -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnnoLiteral -> r

gmapQ :: (forall d. Data d => d -> u) -> AnnoLiteral -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> AnnoLiteral -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnnoLiteral -> m AnnoLiteral

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnoLiteral -> m AnnoLiteral

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnoLiteral -> m AnnoLiteral

Ord AnnoLiteral Source # 
Instance details

Defined in CASL_DL.Sign

Show AnnoLiteral Source # 
Instance details

Defined in CASL_DL.Sign

Methods

showsPrec :: Int -> AnnoLiteral -> ShowS

show :: AnnoLiteral -> String

showList :: [AnnoLiteral] -> ShowS

Generic AnnoLiteral 
Instance details

Defined in CASL_DL.ATC_CASL_DL

Associated Types

type Rep AnnoLiteral :: Type -> Type

Methods

from :: AnnoLiteral -> Rep AnnoLiteral x

to :: Rep AnnoLiteral x -> AnnoLiteral

FromJSON AnnoLiteral 
Instance details

Defined in CASL_DL.ATC_CASL_DL

Methods

parseJSON :: Value -> Parser AnnoLiteral

parseJSONList :: Value -> Parser [AnnoLiteral]

ToJSON AnnoLiteral 
Instance details

Defined in CASL_DL.ATC_CASL_DL

Methods

toJSON :: AnnoLiteral -> Value

toEncoding :: AnnoLiteral -> Encoding

toJSONList :: [AnnoLiteral] -> Value

toEncodingList :: [AnnoLiteral] -> Encoding

ShATermConvertible AnnoLiteral 
Instance details

Defined in CASL_DL.ATC_CASL_DL

Methods

toShATermAux :: ATermTable -> AnnoLiteral -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [AnnoLiteral] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, AnnoLiteral)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [AnnoLiteral])

Pretty AnnoLiteral Source # 
Instance details

Defined in CASL_DL.Sign

type Rep AnnoLiteral 
Instance details

Defined in CASL_DL.ATC_CASL_DL

type Rep AnnoLiteral = D1 ('MetaData "AnnoLiteral" "CASL_DL.Sign" "main" 'False) (C1 ('MetaCons "AL_Term" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TERM DL_FORMULA))) :+: C1 ('MetaCons "AL_Id" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id)))

isSublistOf :: Eq a => [a] -> [a] -> Bool Source #