Hets - the Heterogeneous Tool Set

Copyright(c) Stef Joosten Christian Maeder DFKI GmbH 2010
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

Adl.As

Description

 

Synopsis

Documentation

data Concept Source #

Constructors

C Token

The name of this Concept

Anything

Really anything as introduced by I and V

Instances

Eq Concept Source # 

Methods

(==) :: Concept -> Concept -> Bool

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

Data Concept Source # 

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 :: (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 # 

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 # 

Methods

showsPrec :: Int -> Concept -> ShowS

show :: Concept -> String

showList :: [Concept] -> ShowS

GetRange Concept Source # 

data RelType Source #

Constructors

RelType 

Fields

Instances

Eq RelType Source # 

Methods

(==) :: RelType -> RelType -> Bool

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

Data RelType Source # 

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 :: (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 # 

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 # 

Methods

showsPrec :: Int -> RelType -> ShowS

show :: RelType -> String

showList :: [RelType] -> ShowS

GetRange RelType Source # 

data Relation Source #

Constructors

Sgn 

Fields

Instances

Eq Relation Source # 

Methods

(==) :: Relation -> Relation -> Bool

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

Data Relation Source # 

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 :: (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 # 

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 # 

Methods

showsPrec :: Int -> Relation -> ShowS

show :: Relation -> String

showList :: [Relation] -> ShowS

GetRange Relation Source # 

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

Eq UnOp Source # 

Methods

(==) :: UnOp -> UnOp -> Bool

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

Data UnOp Source # 

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 :: (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 # 

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 # 

Methods

showsPrec :: Int -> UnOp -> ShowS

show :: UnOp -> String

showList :: [UnOp] -> ShowS

data MulOp Source #

Constructors

Fc

composition ;

Fd

relative addition !

Fi

intersection /.

Fu

union /

Ri

Rule implication |-

Rr

Rule reverse implication -|

Re

Rule equivalence

Instances

Eq MulOp Source # 

Methods

(==) :: MulOp -> MulOp -> Bool

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

Data MulOp Source # 

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 :: (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 # 

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 # 

Methods

showsPrec :: Int -> MulOp -> ShowS

show :: MulOp -> String

showList :: [MulOp] -> ShowS

data Rule Source #

Instances

Eq Rule Source # 

Methods

(==) :: Rule -> Rule -> Bool

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

Data Rule Source # 

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 :: (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 # 

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 # 

Methods

showsPrec :: Int -> Rule -> ShowS

show :: Rule -> String

showList :: [Rule] -> ShowS

GetRange Rule Source # 

data Prop Source #

Constructors

Uni

univalent

Inj

injective

Sur

surjective

Tot

total

Sym

symmetric

Asy

antisymmetric

Trn

transitive

Rfx

reflexive

Prop

meta property

Instances

Enum Prop Source # 

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 # 

Methods

(==) :: Prop -> Prop -> Bool

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

Data Prop Source # 

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 :: (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 # 

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 # 

Methods

showsPrec :: Int -> Prop -> ShowS

show :: Prop -> String

showList :: [Prop] -> ShowS

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

data RangedProp Source #

Constructors

RangedProp 

Fields

Instances

Eq RangedProp Source # 

Methods

(==) :: RangedProp -> RangedProp -> Bool

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

Data RangedProp Source # 

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 :: (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 # 
Show RangedProp Source # 

Methods

showsPrec :: Int -> RangedProp -> ShowS

show :: RangedProp -> String

showList :: [RangedProp] -> ShowS

GetRange RangedProp Source # 

rProp :: Prop -> RangedProp Source #

create a ranged property

data Object Source #

Constructors

Object 

Fields

Instances

Data Object Source # 

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 :: (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 # 

Methods

showsPrec :: Int -> Object -> ShowS

show :: Object -> String

showList :: [Object] -> ShowS

data KeyAtt Source #

Constructors

KeyAtt (Maybe Token) Rule 

Instances

Data KeyAtt Source # 

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 :: (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 # 

Methods

showsPrec :: Int -> KeyAtt -> ShowS

show :: KeyAtt -> String

showList :: [KeyAtt] -> ShowS

GetRange KeyAtt Source # 

data KeyDef Source #

Constructors

KeyDef 

Fields

Instances

Data KeyDef Source # 

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 :: (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 # 

Methods

showsPrec :: Int -> KeyDef -> ShowS

show :: KeyDef -> String

showList :: [KeyDef] -> ShowS

GetRange KeyDef Source # 

data RuleKind Source #

Constructors

SignalOn 
Signals 
Maintains 

Instances

Eq RuleKind Source # 

Methods

(==) :: RuleKind -> RuleKind -> Bool

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

Data RuleKind Source # 

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 :: (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 # 

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 # 

Methods

showsPrec :: Int -> RuleKind -> ShowS

show :: RuleKind -> String

showList :: [RuleKind] -> ShowS

data RuleHeader Source #

Instances

Eq RuleHeader Source # 

Methods

(==) :: RuleHeader -> RuleHeader -> Bool

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

Data RuleHeader Source # 

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 :: (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 # 

Methods

showsPrec :: Int -> RuleHeader -> ShowS

show :: RuleHeader -> String

showList :: [RuleHeader] -> ShowS

data Pair Source #

Constructors

Pair Token Token 

Instances

Data Pair Source # 

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 :: (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 # 

Methods

showsPrec :: Int -> Pair -> ShowS

show :: Pair -> String

showList :: [Pair] -> ShowS

data Plugin Source #

Constructors

Service 
Sqlplug 
Phpplug 

Instances

Data Plugin Source # 

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 :: (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 # 

Methods

showsPrec :: Int -> Plugin -> ShowS

show :: Plugin -> String

showList :: [Plugin] -> ShowS

data PatElem Source #

Instances

Data PatElem Source # 

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 :: (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 # 

Methods

showsPrec :: Int -> PatElem -> ShowS

show :: PatElem -> String

showList :: [PatElem] -> ShowS

data Context Source #

Constructors

Context (Maybe Token) [PatElem] 

Instances

Data Context Source # 

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 :: (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 # 

Methods

showsPrec :: Int -> Context -> ShowS

show :: Context -> String

showList :: [Context] -> ShowS

GetRange Context Source # 
Syntax Adl Context Symbol () () Source # 

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 (AParser st ()) Source #

parse_symb_items :: Adl -> Maybe (AParser st ()) Source #

parse_symb_map_items :: Adl -> Maybe (AParser st ()) Source #

toItem :: Adl -> Context -> Item Source #

symb_items_name :: Adl -> () -> [String] Source #

StaticAnalysis Adl Context Sen () () Sign Morphism Symbol RawSymbol Source # 

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 # 

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 #

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 #