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

Adl.As

Description

Synopsis

data Concept
- = C Token
- | Anything
data RelType = RelType {
- relSrc :: Concept
- relTrg :: Concept
}
data Relation = Sgn {
- decnm :: Token
- relType :: RelType
}
bRels :: [String]
isBRel :: String -> Bool
data UnOp
- = K0
- | K1
- | Cp
- | Co
data MulOp
- = Fc
- | Fd
- | Fi
- | Fu
- | Ri
- | Rr
- | Re
data Rule
- = Tm Relation
- | MulExp MulOp [Rule]
- | UnExp UnOp Rule
data Prop
- = Uni
- | Inj
- | Sur
- | Tot
- | Sym
- | Asy
- | Trn
- | Rfx
- | Prop
showUp :: Show a => a -> String
allProps :: [Prop]
data RangedProp = RangedProp {
- propProp :: Prop
- propRange :: Range
}
rProp :: Prop -> RangedProp
data Object = Object {
- label :: Token
- expr :: Rule
- props :: [RangedProp]
- subobjs :: [Object]
}
data KeyAtt = KeyAtt (Maybe Token) Rule
data KeyDef = KeyDef {
- kdlbl :: Token
- kdcpt :: Concept
- kdats :: [KeyAtt]
}
data RuleKind
- = SignalOn
- | Signals
- | Maintains
showRuleKind :: RuleKind -> String
data RuleHeader
- = Always
- | RuleHeader RuleKind Token
data Pair = Pair Token Token
data Plugin
- = Service
- | Sqlplug
- | Phpplug
data PatElem
- = Pr RuleHeader Rule
- | Pg Concept Concept
- | Pk KeyDef
- | Pm [RangedProp] Relation Bool
- | Plug Plugin Object
- | Population Bool Relation [Pair]
data Context = Context (Maybe Token) [PatElem]
comparePatElem :: PatElem -> PatElem -> Ordering
mkContext :: Maybe Token -> [PatElem] -> Context

Documentation

data Concept Source #

Constructors

C Token	The name of this Concept
Anything	Really anything as introduced by I and V

Instances

Instances details

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

data RelType Source #

Constructors

RelType
Fields relSrc :: Concept the source concept relTrg :: Concept the target concept

Instances

Instances details

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

data Relation Source #

Constructors

Sgn
Fields decnm :: Token the name relType :: RelType

Instances

Instances details

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

bRels :: [String] Source #

builtin relation over Anything

isBRel :: String -> Bool Source #

data UnOp Source #

Constructors

K0	Reflexive and transitive closure *
K1	Transitive closure +
Cp	Complement -
Co	Converse ~

Instances

Instances details

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

data MulOp Source #

Constructors

Fc	composition ;
Fd	relative addition !
Fi	intersection /.
Fu	union /
Ri	Rule implication \|-
Rr	Rule reverse implication -\|
Re	Rule equivalence

Instances

Instances details

Eq MulOp Source #
Instance details Defined in Adl.As Methods (==) :: MulOp -> MulOp -> Bool (/=) :: MulOp -> MulOp -> Bool
Data MulOp Source #
Instance details Defined in Adl.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MulOp -> c MulOp gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MulOp toConstr :: MulOp -> Constr dataTypeOf :: MulOp -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MulOp) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MulOp) gmapT :: (forall b. Data b => b -> b) -> MulOp -> MulOp gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MulOp -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MulOp -> r gmapQ :: (forall d. Data d => d -> u) -> MulOp -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> MulOp -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> MulOp -> m MulOp gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MulOp -> m MulOp gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MulOp -> m MulOp
Ord MulOp Source #
Instance details Defined in Adl.As Methods compare :: MulOp -> MulOp -> Ordering (<) :: MulOp -> MulOp -> Bool (<=) :: MulOp -> MulOp -> Bool (>) :: MulOp -> MulOp -> Bool (>=) :: MulOp -> MulOp -> Bool max :: MulOp -> MulOp -> MulOp min :: MulOp -> MulOp -> MulOp
Show MulOp Source #
Instance details Defined in Adl.As Methods showsPrec :: Int -> MulOp -> ShowS show :: MulOp -> String showList :: [MulOp] -> ShowS
Generic MulOp
Instance details Defined in Adl.ATC_Adl Associated Types type Rep MulOp :: Type -> Type Methods from :: MulOp -> Rep MulOp x to :: Rep MulOp x -> MulOp
FromJSON MulOp
Instance details Defined in Adl.ATC_Adl Methods parseJSON :: Value -> Parser MulOp parseJSONList :: Value -> Parser [MulOp]
ToJSON MulOp
Instance details Defined in Adl.ATC_Adl Methods toJSON :: MulOp -> Value toEncoding :: MulOp -> Encoding toJSONList :: [MulOp] -> Value toEncodingList :: [MulOp] -> Encoding
ShATermConvertible MulOp
Instance details Defined in Adl.ATC_Adl Methods toShATermAux :: ATermTable -> MulOp -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [MulOp] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, MulOp) fromShATermList' :: Int -> ATermTable -> (ATermTable, [MulOp])
Pretty MulOp Source #
Instance details Defined in Adl.Print Methods pretty :: MulOp -> Doc Source # pretties :: [MulOp] -> Doc Source #
type Rep MulOp
Instance details Defined in Adl.ATC_Adl type Rep MulOp = D1 ('MetaData "MulOp" "Adl.As" "main" 'False) ((C1 ('MetaCons "Fc" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Fd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Fi" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Fu" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Ri" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Rr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Re" 'PrefixI 'False) (U1 :: Type -> Type))))

data Rule Source #

Constructors

Tm Relation
MulExp MulOp [Rule]
UnExp UnOp Rule

Instances

Instances details

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

data Prop Source #

Constructors

Uni	univalent
Inj	injective
Sur	surjective
Tot	total
Sym	symmetric
Asy	antisymmetric
Trn	transitive
Rfx	reflexive
Prop	meta property

Instances

Instances details

Enum Prop Source #
Instance details Defined in Adl.As Methods succ :: Prop -> Prop pred :: Prop -> Prop toEnum :: Int -> Prop fromEnum :: Prop -> Int enumFrom :: Prop -> [Prop] enumFromThen :: Prop -> Prop -> [Prop] enumFromTo :: Prop -> Prop -> [Prop] enumFromThenTo :: Prop -> Prop -> Prop -> [Prop]
Eq Prop Source #
Instance details Defined in Adl.As Methods (==) :: Prop -> Prop -> Bool (/=) :: Prop -> Prop -> Bool
Data Prop Source #
Instance details Defined in Adl.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Prop -> c Prop gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Prop toConstr :: Prop -> Constr dataTypeOf :: Prop -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Prop) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Prop) gmapT :: (forall b. Data b => b -> b) -> Prop -> Prop gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Prop -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Prop -> r gmapQ :: (forall d. Data d => d -> u) -> Prop -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Prop -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Prop -> m Prop gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Prop -> m Prop gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Prop -> m Prop
Ord Prop Source #
Instance details Defined in Adl.As Methods compare :: Prop -> Prop -> Ordering (<) :: Prop -> Prop -> Bool (<=) :: Prop -> Prop -> Bool (>) :: Prop -> Prop -> Bool (>=) :: Prop -> Prop -> Bool max :: Prop -> Prop -> Prop min :: Prop -> Prop -> Prop
Show Prop Source #
Instance details Defined in Adl.As Methods showsPrec :: Int -> Prop -> ShowS show :: Prop -> String showList :: [Prop] -> ShowS
Generic Prop
Instance details Defined in Adl.ATC_Adl Associated Types type Rep Prop :: Type -> Type Methods from :: Prop -> Rep Prop x to :: Rep Prop x -> Prop
FromJSON Prop
Instance details Defined in Adl.ATC_Adl Methods parseJSON :: Value -> Parser Prop parseJSONList :: Value -> Parser [Prop]
ToJSON Prop
Instance details Defined in Adl.ATC_Adl Methods toJSON :: Prop -> Value toEncoding :: Prop -> Encoding toJSONList :: [Prop] -> Value toEncodingList :: [Prop] -> Encoding
ShATermConvertible Prop
Instance details Defined in Adl.ATC_Adl Methods toShATermAux :: ATermTable -> Prop -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Prop] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Prop) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Prop])
Pretty Prop Source #
Instance details Defined in Adl.Print Methods pretty :: Prop -> Doc Source # pretties :: [Prop] -> Doc Source #
type Rep Prop
Instance details Defined in Adl.ATC_Adl type Rep Prop = D1 ('MetaData "Prop" "Adl.As" "main" 'False) (((C1 ('MetaCons "Uni" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Inj" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Sur" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Tot" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Sym" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asy" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Trn" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Rfx" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Prop" 'PrefixI 'False) (U1 :: Type -> Type)))))

showUp :: Show a => a -> String Source #

allProps :: [Prop] Source #

data RangedProp Source #

Constructors

RangedProp
Fields propProp :: Prop propRange :: Range

Instances

Instances details

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

rProp :: Prop -> RangedProp Source #

create a ranged property

data Object Source #

Constructors

Object
Fields label :: Token expr :: Rule props :: [RangedProp] subobjs :: [Object]

Instances

Instances details

Data Object Source #
Instance details Defined in Adl.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Object -> c Object gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Object toConstr :: Object -> Constr dataTypeOf :: Object -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Object) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Object) gmapT :: (forall b. Data b => b -> b) -> Object -> Object gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Object -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Object -> r gmapQ :: (forall d. Data d => d -> u) -> Object -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Object -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Object -> m Object gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Object -> m Object gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Object -> m Object
Show Object Source #
Instance details Defined in Adl.As Methods showsPrec :: Int -> Object -> ShowS show :: Object -> String showList :: [Object] -> ShowS
Generic Object
Instance details Defined in Adl.ATC_Adl Associated Types type Rep Object :: Type -> Type Methods from :: Object -> Rep Object x to :: Rep Object x -> Object
FromJSON Object
Instance details Defined in Adl.ATC_Adl Methods parseJSON :: Value -> Parser Object parseJSONList :: Value -> Parser [Object]
ToJSON Object
Instance details Defined in Adl.ATC_Adl Methods toJSON :: Object -> Value toEncoding :: Object -> Encoding toJSONList :: [Object] -> Value toEncodingList :: [Object] -> Encoding
ShATermConvertible Object
Instance details Defined in Adl.ATC_Adl Methods toShATermAux :: ATermTable -> Object -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Object] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Object) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Object])
Pretty Object Source #
Instance details Defined in Adl.Print Methods pretty :: Object -> Doc Source # pretties :: [Object] -> Doc Source #
type Rep Object
Instance details Defined in Adl.ATC_Adl type Rep Object = D1 ('MetaData "Object" "Adl.As" "main" 'False) (C1 ('MetaCons "Object" 'PrefixI 'True) ((S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Token) :: S1 ('MetaSel ('Just "expr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rule)) :: (S1 ('MetaSel ('Just "props") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [RangedProp]) :*: S1 ('MetaSel ('Just "subobjs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Object]))))

data KeyAtt Source #

Constructors

KeyAtt (Maybe Token) Rule

Instances

Instances details

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

data KeyDef Source #

Constructors

KeyDef
Fields kdlbl :: Token kdcpt :: Concept kdats :: [KeyAtt]

Instances

Instances details

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

data RuleKind Source #

Constructors

SignalOn
Signals
Maintains

Instances

Instances details

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

showRuleKind :: RuleKind -> String Source #

data RuleHeader Source #

Constructors

Always
RuleHeader RuleKind Token

Instances

Instances details

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

data Pair Source #

Constructors

Pair Token Token

Instances

Instances details

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

data Plugin Source #

Constructors

Service
Sqlplug
Phpplug

Instances

Instances details

Data Plugin Source #
Instance details Defined in Adl.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Plugin -> c Plugin gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Plugin toConstr :: Plugin -> Constr dataTypeOf :: Plugin -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Plugin) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Plugin) gmapT :: (forall b. Data b => b -> b) -> Plugin -> Plugin gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Plugin -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Plugin -> r gmapQ :: (forall d. Data d => d -> u) -> Plugin -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Plugin -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Plugin -> m Plugin gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Plugin -> m Plugin gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Plugin -> m Plugin
Show Plugin Source #
Instance details Defined in Adl.As Methods showsPrec :: Int -> Plugin -> ShowS show :: Plugin -> String showList :: [Plugin] -> ShowS
Generic Plugin
Instance details Defined in Adl.ATC_Adl Associated Types type Rep Plugin :: Type -> Type Methods from :: Plugin -> Rep Plugin x to :: Rep Plugin x -> Plugin
FromJSON Plugin
Instance details Defined in Adl.ATC_Adl Methods parseJSON :: Value -> Parser Plugin parseJSONList :: Value -> Parser [Plugin]
ToJSON Plugin
Instance details Defined in Adl.ATC_Adl Methods toJSON :: Plugin -> Value toEncoding :: Plugin -> Encoding toJSONList :: [Plugin] -> Value toEncodingList :: [Plugin] -> Encoding
ShATermConvertible Plugin
Instance details Defined in Adl.ATC_Adl Methods toShATermAux :: ATermTable -> Plugin -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Plugin] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Plugin) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Plugin])
type Rep Plugin
Instance details Defined in Adl.ATC_Adl type Rep Plugin = D1 ('MetaData "Plugin" "Adl.As" "main" 'False) (C1 ('MetaCons "Service" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Sqlplug" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Phpplug" 'PrefixI 'False) (U1 :: Type -> Type)))

data PatElem Source #

Constructors

Pr RuleHeader Rule
Pg Concept Concept
Pk KeyDef
Pm [RangedProp] Relation Bool
Plug Plugin Object
Population Bool Relation [Pair]

Instances

Instances details

Data PatElem Source #
Instance details Defined in Adl.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PatElem -> c PatElem gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PatElem toConstr :: PatElem -> Constr dataTypeOf :: PatElem -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PatElem) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PatElem) gmapT :: (forall b. Data b => b -> b) -> PatElem -> PatElem gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PatElem -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PatElem -> r gmapQ :: (forall d. Data d => d -> u) -> PatElem -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PatElem -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> PatElem -> m PatElem gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PatElem -> m PatElem gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PatElem -> m PatElem
Show PatElem Source #
Instance details Defined in Adl.As Methods showsPrec :: Int -> PatElem -> ShowS show :: PatElem -> String showList :: [PatElem] -> ShowS
Generic PatElem
Instance details Defined in Adl.ATC_Adl Associated Types type Rep PatElem :: Type -> Type Methods from :: PatElem -> Rep PatElem x to :: Rep PatElem x -> PatElem
FromJSON PatElem
Instance details Defined in Adl.ATC_Adl Methods parseJSON :: Value -> Parser PatElem parseJSONList :: Value -> Parser [PatElem]
ToJSON PatElem
Instance details Defined in Adl.ATC_Adl Methods toJSON :: PatElem -> Value toEncoding :: PatElem -> Encoding toJSONList :: [PatElem] -> Value toEncodingList :: [PatElem] -> Encoding
ShATermConvertible PatElem
Instance details Defined in Adl.ATC_Adl Methods toShATermAux :: ATermTable -> PatElem -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PatElem] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PatElem) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PatElem])
Pretty PatElem Source #
Instance details Defined in Adl.Print Methods pretty :: PatElem -> Doc Source # pretties :: [PatElem] -> Doc Source #
type Rep PatElem
Instance details Defined in Adl.ATC_Adl type Rep PatElem = D1 ('MetaData "PatElem" "Adl.As" "main" 'False) ((C1 ('MetaCons "Pr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RuleHeader) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rule)) :+: (C1 ('MetaCons "Pg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Concept) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Concept)) :+: C1 ('MetaCons "Pk" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 KeyDef)))) :+: (C1 ('MetaCons "Pm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [RangedProp]) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Relation) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :+: (C1 ('MetaCons "Plug" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Plugin) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object)) :+: C1 ('MetaCons "Population" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Relation) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Pair]))))))

data Context Source #

Constructors

Context (Maybe Token) [PatElem]

Instances

Instances details

Data Context Source #
Instance details Defined in Adl.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Context -> c Context gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Context toConstr :: Context -> Constr dataTypeOf :: Context -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Context) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Context) gmapT :: (forall b. Data b => b -> b) -> Context -> Context gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Context -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Context -> r gmapQ :: (forall d. Data d => d -> u) -> Context -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Context -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Context -> m Context gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Context -> m Context gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Context -> m Context
Show Context Source #
Instance details Defined in Adl.As Methods showsPrec :: Int -> Context -> ShowS show :: Context -> String showList :: [Context] -> ShowS
Generic Context
Instance details Defined in Adl.ATC_Adl Associated Types type Rep Context :: Type -> Type Methods from :: Context -> Rep Context x to :: Rep Context x -> Context
Semigroup Context
Instance details Defined in Adl.Logic_Adl Methods (<>) :: Context -> Context -> Context # sconcat :: NonEmpty Context -> Context stimes :: Integral b => b -> Context -> Context
Monoid Context
Instance details Defined in Adl.Logic_Adl Methods mempty :: Context mappend :: Context -> Context -> Context mconcat :: [Context] -> Context
GetRange Context Source #
Instance details Defined in Adl.As Methods getRange :: Context -> Range Source # rangeSpan :: Context -> [Pos] Source #
FromJSON Context
Instance details Defined in Adl.ATC_Adl Methods parseJSON :: Value -> Parser Context parseJSONList :: Value -> Parser [Context]
ToJSON Context
Instance details Defined in Adl.ATC_Adl Methods toJSON :: Context -> Value toEncoding :: Context -> Encoding toJSONList :: [Context] -> Value toEncodingList :: [Context] -> Encoding
ShATermConvertible Context
Instance details Defined in Adl.ATC_Adl Methods toShATermAux :: ATermTable -> Context -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Context] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Context) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Context])
Pretty Context Source #
Instance details Defined in Adl.Print Methods pretty :: Context -> Doc Source # pretties :: [Context] -> Doc Source #
Syntax Adl Context Symbol () () Source #
Instance details Defined in Adl.Logic_Adl Methods parsersAndPrinters :: Adl -> Map String (PrefixMap -> AParser st Context, Context -> Doc) Source # parse_basic_spec :: Adl -> Maybe (PrefixMap -> AParser st Context) Source # parseSingleSymbItem :: Adl -> Maybe (PrefixMap -> AParser st ()) Source # parse_symb_items :: Adl -> Maybe (PrefixMap -> AParser st ()) Source # parse_symb_map_items :: Adl -> Maybe (PrefixMap -> AParser st ()) Source # toItem :: Adl -> Context -> Item Source # symb_items_name :: Adl -> () -> [String] Source #
StaticAnalysis Adl Context Sen () () Sign Morphism Symbol RawSymbol Source #
Instance details Defined in Adl.Logic_Adl Methods basic_analysis :: Adl -> Maybe ((Context, Sign, GlobalAnnos) -> Result (Context, ExtSign Sign Symbol, [Named Sen])) Source # sen_analysis :: Adl -> Maybe ((Context, Sign, Sen) -> Result Sen) Source # extBasicAnalysis :: Adl -> IRI -> LibName -> Context -> Sign -> GlobalAnnos -> Result (Context, ExtSign Sign Symbol, [Named Sen]) Source # stat_symb_map_items :: Adl -> Sign -> Maybe Sign -> [()] -> Result (EndoMap RawSymbol) Source # stat_symb_items :: Adl -> Sign -> [()] -> Result [RawSymbol] Source # convertTheory :: Adl -> Maybe ((Sign, [Named Sen]) -> Context) Source # ensures_amalgamability :: Adl -> ([CASLAmalgOpt], Gr Sign (Int, Morphism), [(Int, Morphism)], Gr String String) -> Result Amalgamates Source # quotient_term_algebra :: Adl -> Morphism -> [Named Sen] -> Result (Sign, [Named Sen]) Source # signature_colimit :: Adl -> Gr Sign (Int, Morphism) -> Result (Sign, Map Int Morphism) Source # qualify :: Adl -> SIMPLE_ID -> LibName -> Morphism -> Sign -> Result (Morphism, [Named Sen]) Source # symbol_to_raw :: Adl -> Symbol -> RawSymbol Source # id_to_raw :: Adl -> Id -> RawSymbol Source # matches :: Adl -> Symbol -> RawSymbol -> Bool Source # empty_signature :: Adl -> Sign Source # add_symb_to_sign :: Adl -> Sign -> Symbol -> Result Sign Source # signature_union :: Adl -> Sign -> Sign -> Result Sign Source # signatureDiff :: Adl -> Sign -> Sign -> Result Sign Source # intersection :: Adl -> Sign -> Sign -> Result Sign Source # final_union :: Adl -> Sign -> Sign -> Result Sign Source # morphism_union :: Adl -> Morphism -> Morphism -> Result Morphism Source # is_subsig :: Adl -> Sign -> Sign -> Bool Source # subsig_inclusion :: Adl -> Sign -> Sign -> Result Morphism Source # generated_sign :: Adl -> Set Symbol -> Sign -> Result Morphism Source # cogenerated_sign :: Adl -> Set Symbol -> Sign -> Result Morphism Source # induced_from_morphism :: Adl -> EndoMap RawSymbol -> Sign -> Result Morphism Source # induced_from_to_morphism :: Adl -> EndoMap RawSymbol -> ExtSign Sign Symbol -> ExtSign Sign Symbol -> Result Morphism Source # is_transportable :: Adl -> Morphism -> Bool Source # is_injective :: Adl -> Morphism -> Bool Source # theory_to_taxonomy :: Adl -> TaxoGraphKind -> MMiSSOntology -> Sign -> [Named Sen] -> Result MMiSSOntology Source # corresp2th :: Adl -> String -> Bool -> Sign -> Sign -> [()] -> [()] -> EndoMap Symbol -> EndoMap Symbol -> REL_REF -> Result (Sign, [Named Sen], Sign, Sign, EndoMap Symbol, EndoMap Symbol) Source # equiv2cospan :: Adl -> Sign -> Sign -> [()] -> [()] -> Result (Sign, Sign, Sign, EndoMap Symbol, EndoMap Symbol) Source # extract_module :: Adl -> [IRI] -> (Sign, [Named Sen]) -> Result (Sign, [Named Sen]) Source #
Logic Adl () Context Sen () () Sign Morphism Symbol RawSymbol ProofTree Source #
Instance details Defined in Adl.Logic_Adl Methods parse_basic_sen :: Adl -> Maybe (Context -> AParser st Sen) Source # stability :: Adl -> Stability Source # data_logic :: Adl -> Maybe AnyLogic Source # top_sublogic :: Adl -> () Source # all_sublogics :: Adl -> [()] Source # bottomSublogic :: Adl -> Maybe () Source # sublogicDimensions :: Adl -> [[()]] Source # parseSublogic :: Adl -> String -> Maybe () Source # proj_sublogic_epsilon :: Adl -> () -> Sign -> Morphism Source # provers :: Adl -> [Prover Sign Sen Morphism () ProofTree] Source # default_prover :: Adl -> String Source # cons_checkers :: Adl -> [ConsChecker Sign Sen () Morphism ProofTree] Source # conservativityCheck :: Adl -> [ConservativityChecker Sign Sen Morphism] Source # empty_proof_tree :: Adl -> ProofTree Source # syntaxTable :: Adl -> Sign -> Maybe SyntaxTable Source # omdoc_metatheory :: Adl -> Maybe OMCD Source # export_symToOmdoc :: Adl -> NameMap Symbol -> Symbol -> String -> Result TCElement Source # export_senToOmdoc :: Adl -> NameMap Symbol -> Sen -> Result TCorOMElement Source # export_theoryToOmdoc :: Adl -> SigMap Symbol -> Sign -> [Named Sen] -> Result [TCElement] Source # omdocToSym :: Adl -> SigMapI Symbol -> TCElement -> String -> Result Symbol Source # omdocToSen :: Adl -> SigMapI Symbol -> TCElement -> String -> Result (Maybe (Named Sen)) Source # addOMadtToTheory :: Adl -> SigMapI Symbol -> (Sign, [Named Sen]) -> [[OmdADT]] -> Result (Sign, [Named Sen]) Source # addOmdocToTheory :: Adl -> SigMapI Symbol -> (Sign, [Named Sen]) -> [TCElement] -> Result (Sign, [Named Sen]) Source # sublogicOfTheo :: Adl -> (Sign, [Sen]) -> () Source #
Comorphism Adl2CASL Adl () Context Sen () () Sign Morphism Symbol RawSymbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source #
Instance details Defined in Comorphisms.Adl2CASL Methods sourceLogic :: Adl2CASL -> Adl Source # sourceSublogic :: Adl2CASL -> () Source # sourceSublogicLossy :: Adl2CASL -> () Source # minSourceTheory :: Adl2CASL -> Maybe (LibName, String) Source # targetLogic :: Adl2CASL -> CASL Source # mapSublogic :: Adl2CASL -> () -> Maybe CASL_Sublogics Source # map_theory :: Adl2CASL -> (Sign, [Named Sen]) -> Result (CASLSign, [Named CASLFORMULA]) Source # mapMarkedTheory :: Adl2CASL -> (Sign, [Named Sen]) -> Result (CASLSign, [Named CASLFORMULA]) Source # map_morphism :: Adl2CASL -> Morphism -> Result CASLMor Source # map_sentence :: Adl2CASL -> Sign -> Sen -> Result CASLFORMULA Source # map_symbol :: Adl2CASL -> Sign -> Symbol -> Set Symbol0 Source # extractModel :: Adl2CASL -> Sign -> ProofTree -> Result (Sign, [Named Sen]) Source # is_model_transportable :: Adl2CASL -> Bool Source # has_model_expansion :: Adl2CASL -> Bool Source # is_weakly_amalgamable :: Adl2CASL -> Bool Source # constituents :: Adl2CASL -> [String] Source # isInclusionComorphism :: Adl2CASL -> Bool Source # rps :: Adl2CASL -> Bool Source # eps :: Adl2CASL -> Bool Source # isGTC :: Adl2CASL -> Bool Source #
type Rep Context
Instance details Defined in Adl.ATC_Adl type Rep Context = D1 ('MetaData "Context" "Adl.As" "main" 'False) (C1 ('MetaCons "Context" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Token)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PatElem])))

comparePatElem :: PatElem -> PatElem -> Ordering Source #

mkContext :: Maybe Token -> [PatElem] -> Context Source #