Copyright | (c) Karl Luc DFKI Bremen 2010 Eugen Kuksa and Uni Bremen 2011 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | eugenk@informatik.uni-bremen.de |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
CommonLogic.AS_CommonLogic
Description
Definition of abstract syntax for common logic
Documentation
newtype BASIC_SPEC Source #
Constructors
Basic_spec [Annoted BASIC_ITEMS] |
Instances
data BASIC_ITEMS Source #
Constructors
Axiom_items [Annoted TEXT_META] |
Instances
Eq BASIC_ITEMS Source # | |
Ord BASIC_ITEMS Source # | |
Methods compare :: BASIC_ITEMS -> BASIC_ITEMS -> Ordering (<) :: BASIC_ITEMS -> BASIC_ITEMS -> Bool (<=) :: BASIC_ITEMS -> BASIC_ITEMS -> Bool (>) :: BASIC_ITEMS -> BASIC_ITEMS -> Bool (>=) :: BASIC_ITEMS -> BASIC_ITEMS -> Bool max :: BASIC_ITEMS -> BASIC_ITEMS -> BASIC_ITEMS min :: BASIC_ITEMS -> BASIC_ITEMS -> BASIC_ITEMS | |
Show BASIC_ITEMS Source # | |
Methods showsPrec :: Int -> BASIC_ITEMS -> ShowS show :: BASIC_ITEMS -> String showList :: [BASIC_ITEMS] -> ShowS | |
GetRange BASIC_ITEMS Source # | |
Pretty BASIC_ITEMS Source # | |
type PrefixMapping = (String, IRI) Source #
Constructors
Text_meta | |
Fields
|
Instances
Instances
Eq TEXT Source # | |
Data TEXT Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TEXT -> c TEXT gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TEXT dataTypeOf :: TEXT -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TEXT) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TEXT) gmapT :: (forall b. Data b => b -> b) -> TEXT -> TEXT gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TEXT -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TEXT -> r gmapQ :: (forall d. Data d => d -> u) -> TEXT -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> TEXT -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> TEXT -> m TEXT gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TEXT -> m TEXT gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TEXT -> m TEXT | |
Ord TEXT Source # | |
Show TEXT Source # | |
GetRange TEXT Source # | |
Pretty TEXT Source # | |
Constructors
Module MODULE | |
Sentence SENTENCE | |
Importation IMPORTATION | |
Comment_text COMMENT TEXT Range |
Instances
Eq PHRASE Source # | |
Data PHRASE Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PHRASE -> c PHRASE gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PHRASE dataTypeOf :: PHRASE -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c PHRASE) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PHRASE) gmapT :: (forall b. Data b => b -> b) -> PHRASE -> PHRASE gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PHRASE -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PHRASE -> r gmapQ :: (forall d. Data d => d -> u) -> PHRASE -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PHRASE -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> PHRASE -> m PHRASE gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PHRASE -> m PHRASE gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PHRASE -> m PHRASE | |
Ord PHRASE Source # | |
Show PHRASE Source # | |
GetRange PHRASE Source # | |
Pretty PHRASE Source # | |
Instances
Eq COMMENT Source # | |
Data COMMENT Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> COMMENT -> c COMMENT gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c COMMENT dataTypeOf :: COMMENT -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c COMMENT) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c COMMENT) gmapT :: (forall b. Data b => b -> b) -> COMMENT -> COMMENT gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> COMMENT -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> COMMENT -> r gmapQ :: (forall d. Data d => d -> u) -> COMMENT -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> COMMENT -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> COMMENT -> m COMMENT gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> COMMENT -> m COMMENT gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> COMMENT -> m COMMENT | |
Ord COMMENT Source # | |
Show COMMENT Source # | |
GetRange COMMENT Source # | |
Pretty COMMENT Source # | |
Instances
Eq MODULE Source # | |
Data MODULE Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MODULE -> c MODULE gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MODULE dataTypeOf :: MODULE -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c MODULE) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MODULE) gmapT :: (forall b. Data b => b -> b) -> MODULE -> MODULE gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MODULE -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MODULE -> r gmapQ :: (forall d. Data d => d -> u) -> MODULE -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> MODULE -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> MODULE -> m MODULE gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MODULE -> m MODULE gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MODULE -> m MODULE | |
Ord MODULE Source # | |
Show MODULE Source # | |
GetRange MODULE Source # | |
Pretty MODULE Source # | |
data IMPORTATION Source #
Instances
Eq IMPORTATION Source # | |
Data IMPORTATION Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IMPORTATION -> c IMPORTATION gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IMPORTATION toConstr :: IMPORTATION -> Constr dataTypeOf :: IMPORTATION -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c IMPORTATION) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IMPORTATION) gmapT :: (forall b. Data b => b -> b) -> IMPORTATION -> IMPORTATION gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IMPORTATION -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IMPORTATION -> r gmapQ :: (forall d. Data d => d -> u) -> IMPORTATION -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> IMPORTATION -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> IMPORTATION -> m IMPORTATION gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IMPORTATION -> m IMPORTATION gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IMPORTATION -> m IMPORTATION | |
Ord IMPORTATION Source # | |
Methods compare :: IMPORTATION -> IMPORTATION -> Ordering (<) :: IMPORTATION -> IMPORTATION -> Bool (<=) :: IMPORTATION -> IMPORTATION -> Bool (>) :: IMPORTATION -> IMPORTATION -> Bool (>=) :: IMPORTATION -> IMPORTATION -> Bool max :: IMPORTATION -> IMPORTATION -> IMPORTATION min :: IMPORTATION -> IMPORTATION -> IMPORTATION | |
Show IMPORTATION Source # | |
Methods showsPrec :: Int -> IMPORTATION -> ShowS show :: IMPORTATION -> String showList :: [IMPORTATION] -> ShowS | |
GetRange IMPORTATION Source # | |
Pretty IMPORTATION Source # | |
Constructors
Quant_sent QUANT [NAME_OR_SEQMARK] SENTENCE Range | |
Bool_sent BOOL_SENT Range | |
Atom_sent ATOM Range | |
Comment_sent COMMENT SENTENCE Range | |
Irregular_sent SENTENCE Range |
Instances
Eq SENTENCE Source # | |
Data SENTENCE Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SENTENCE -> c SENTENCE gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SENTENCE toConstr :: SENTENCE -> Constr dataTypeOf :: SENTENCE -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SENTENCE) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SENTENCE) gmapT :: (forall b. Data b => b -> b) -> SENTENCE -> SENTENCE gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SENTENCE -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SENTENCE -> r gmapQ :: (forall d. Data d => d -> u) -> SENTENCE -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> SENTENCE -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> SENTENCE -> m SENTENCE gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SENTENCE -> m SENTENCE gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SENTENCE -> m SENTENCE | |
Ord SENTENCE Source # | |
Show SENTENCE Source # | |
GetRange SENTENCE Source # | |
Pretty SENTENCE Source # | |
Constructors
Universal | |
Existential |
Instances
Eq QUANT Source # | |
Data QUANT Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> QUANT -> c QUANT gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c QUANT dataTypeOf :: QUANT -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c QUANT) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c QUANT) gmapT :: (forall b. Data b => b -> b) -> QUANT -> QUANT gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> QUANT -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> QUANT -> r gmapQ :: (forall d. Data d => d -> u) -> QUANT -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> QUANT -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> QUANT -> m QUANT gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> QUANT -> m QUANT gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> QUANT -> m QUANT | |
Ord QUANT Source # | |
Show QUANT Source # | |
GetRange QUANT Source # | |
Pretty QUANT Source # | |
Instances
Eq BOOL_SENT Source # | |
Data BOOL_SENT Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BOOL_SENT -> c BOOL_SENT gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BOOL_SENT toConstr :: BOOL_SENT -> Constr dataTypeOf :: BOOL_SENT -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c BOOL_SENT) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BOOL_SENT) gmapT :: (forall b. Data b => b -> b) -> BOOL_SENT -> BOOL_SENT gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BOOL_SENT -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BOOL_SENT -> r gmapQ :: (forall d. Data d => d -> u) -> BOOL_SENT -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> BOOL_SENT -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> BOOL_SENT -> m BOOL_SENT gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BOOL_SENT -> m BOOL_SENT gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BOOL_SENT -> m BOOL_SENT | |
Ord BOOL_SENT Source # | |
Show BOOL_SENT Source # | |
GetRange BOOL_SENT Source # | |
Pretty BOOL_SENT Source # | |
Constructors
Conjunction | |
Disjunction |
Instances
Eq AndOr Source # | |
Data AndOr Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AndOr -> c AndOr gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AndOr dataTypeOf :: AndOr -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c AndOr) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AndOr) gmapT :: (forall b. Data b => b -> b) -> AndOr -> AndOr gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AndOr -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AndOr -> r gmapQ :: (forall d. Data d => d -> u) -> AndOr -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> AndOr -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> AndOr -> m AndOr gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AndOr -> m AndOr gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AndOr -> m AndOr | |
Ord AndOr Source # | |
Show AndOr Source # | |
GetRange AndOr Source # | |
Pretty AndOr Source # | |
Constructors
Implication | |
Biconditional |
Instances
Eq ImplEq Source # | |
Data ImplEq Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImplEq -> c ImplEq gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ImplEq dataTypeOf :: ImplEq -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ImplEq) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ImplEq) gmapT :: (forall b. Data b => b -> b) -> ImplEq -> ImplEq gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImplEq -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImplEq -> r gmapQ :: (forall d. Data d => d -> u) -> ImplEq -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ImplEq -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImplEq -> m ImplEq gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImplEq -> m ImplEq gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImplEq -> m ImplEq | |
Ord ImplEq Source # | |
Show ImplEq Source # | |
GetRange ImplEq Source # | |
Pretty ImplEq Source # | |
Instances
Eq ATOM Source # | |
Data ATOM Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ATOM -> c ATOM gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ATOM dataTypeOf :: ATOM -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ATOM) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ATOM) gmapT :: (forall b. Data b => b -> b) -> ATOM -> ATOM gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ATOM -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ATOM -> r gmapQ :: (forall d. Data d => d -> u) -> ATOM -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ATOM -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ATOM -> m ATOM gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ATOM -> m ATOM gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ATOM -> m ATOM | |
Ord ATOM Source # | |
Show ATOM Source # | |
GetRange ATOM Source # | |
Pretty ATOM Source # | |
Constructors
Name_term NAME | |
Funct_term TERM [TERM_SEQ] Range | |
Comment_term TERM COMMENT Range | |
That_term SENTENCE Range |
Instances
Eq TERM Source # | |
Data TERM Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TERM -> c TERM gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TERM dataTypeOf :: TERM -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TERM) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TERM) gmapT :: (forall b. Data b => b -> b) -> TERM -> TERM gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TERM -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TERM -> r gmapQ :: (forall d. Data d => d -> u) -> TERM -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> TERM -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> TERM -> m TERM gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TERM -> m TERM gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TERM -> m TERM | |
Ord TERM Source # | |
Show TERM Source # | |
GetRange TERM Source # | |
Pretty TERM Source # | |
Instances
Eq TERM_SEQ Source # | |
Data TERM_SEQ Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TERM_SEQ -> c TERM_SEQ gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TERM_SEQ toConstr :: TERM_SEQ -> Constr dataTypeOf :: TERM_SEQ -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TERM_SEQ) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TERM_SEQ) gmapT :: (forall b. Data b => b -> b) -> TERM_SEQ -> TERM_SEQ gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TERM_SEQ -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TERM_SEQ -> r gmapQ :: (forall d. Data d => d -> u) -> TERM_SEQ -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> TERM_SEQ -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> TERM_SEQ -> m TERM_SEQ gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TERM_SEQ -> m TERM_SEQ gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TERM_SEQ -> m TERM_SEQ | |
Ord TERM_SEQ Source # | |
Show TERM_SEQ Source # | |
GetRange TERM_SEQ Source # | |
Pretty TERM_SEQ Source # | |
data NAME_OR_SEQMARK Source #
Instances
Eq NAME_OR_SEQMARK Source # | |
Methods (==) :: NAME_OR_SEQMARK -> NAME_OR_SEQMARK -> Bool (/=) :: NAME_OR_SEQMARK -> NAME_OR_SEQMARK -> Bool | |
Data NAME_OR_SEQMARK Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NAME_OR_SEQMARK -> c NAME_OR_SEQMARK gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NAME_OR_SEQMARK toConstr :: NAME_OR_SEQMARK -> Constr dataTypeOf :: NAME_OR_SEQMARK -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c NAME_OR_SEQMARK) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NAME_OR_SEQMARK) gmapT :: (forall b. Data b => b -> b) -> NAME_OR_SEQMARK -> NAME_OR_SEQMARK gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NAME_OR_SEQMARK -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NAME_OR_SEQMARK -> r gmapQ :: (forall d. Data d => d -> u) -> NAME_OR_SEQMARK -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> NAME_OR_SEQMARK -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> NAME_OR_SEQMARK -> m NAME_OR_SEQMARK gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NAME_OR_SEQMARK -> m NAME_OR_SEQMARK gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NAME_OR_SEQMARK -> m NAME_OR_SEQMARK | |
Ord NAME_OR_SEQMARK Source # | |
Methods compare :: NAME_OR_SEQMARK -> NAME_OR_SEQMARK -> Ordering (<) :: NAME_OR_SEQMARK -> NAME_OR_SEQMARK -> Bool (<=) :: NAME_OR_SEQMARK -> NAME_OR_SEQMARK -> Bool (>) :: NAME_OR_SEQMARK -> NAME_OR_SEQMARK -> Bool (>=) :: NAME_OR_SEQMARK -> NAME_OR_SEQMARK -> Bool max :: NAME_OR_SEQMARK -> NAME_OR_SEQMARK -> NAME_OR_SEQMARK min :: NAME_OR_SEQMARK -> NAME_OR_SEQMARK -> NAME_OR_SEQMARK | |
Show NAME_OR_SEQMARK Source # | |
Methods showsPrec :: Int -> NAME_OR_SEQMARK -> ShowS show :: NAME_OR_SEQMARK -> String showList :: [NAME_OR_SEQMARK] -> ShowS | |
GetRange NAME_OR_SEQMARK Source # | |
Pretty NAME_OR_SEQMARK Source # | |
data SYMB_MAP_ITEMS Source #
Constructors
Symb_map_items [SYMB_OR_MAP] Range |
Instances
data SYMB_OR_MAP Source #
Instances
Eq SYMB_OR_MAP Source # | |
Data SYMB_OR_MAP Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SYMB_OR_MAP -> c SYMB_OR_MAP gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SYMB_OR_MAP toConstr :: SYMB_OR_MAP -> Constr dataTypeOf :: SYMB_OR_MAP -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SYMB_OR_MAP) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SYMB_OR_MAP) gmapT :: (forall b. Data b => b -> b) -> SYMB_OR_MAP -> SYMB_OR_MAP gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SYMB_OR_MAP -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SYMB_OR_MAP -> r gmapQ :: (forall d. Data d => d -> u) -> SYMB_OR_MAP -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> SYMB_OR_MAP -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> SYMB_OR_MAP -> m SYMB_OR_MAP gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SYMB_OR_MAP -> m SYMB_OR_MAP gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SYMB_OR_MAP -> m SYMB_OR_MAP | |
Ord SYMB_OR_MAP Source # | |
Methods compare :: SYMB_OR_MAP -> SYMB_OR_MAP -> Ordering (<) :: SYMB_OR_MAP -> SYMB_OR_MAP -> Bool (<=) :: SYMB_OR_MAP -> SYMB_OR_MAP -> Bool (>) :: SYMB_OR_MAP -> SYMB_OR_MAP -> Bool (>=) :: SYMB_OR_MAP -> SYMB_OR_MAP -> Bool max :: SYMB_OR_MAP -> SYMB_OR_MAP -> SYMB_OR_MAP min :: SYMB_OR_MAP -> SYMB_OR_MAP -> SYMB_OR_MAP | |
Show SYMB_OR_MAP Source # | |
Methods showsPrec :: Int -> SYMB_OR_MAP -> ShowS show :: SYMB_OR_MAP -> String showList :: [SYMB_OR_MAP] -> ShowS | |
GetRange SYMB_OR_MAP Source # | |
Pretty SYMB_OR_MAP Source # | |
data SYMB_ITEMS Source #
Constructors
Symb_items [NAME_OR_SEQMARK] Range |
Instances
printBasicSpec :: BASIC_SPEC -> Doc Source #
printBasicItems :: BASIC_ITEMS -> Doc Source #
printTextMeta :: TEXT_META -> Doc Source #
exportBasicSpec :: BASIC_SPEC -> Doc Source #
exportBasicItems :: BASIC_ITEMS -> Doc Source #
exportTextMeta :: TEXT_META -> Doc Source #
printPhrase :: PHRASE -> Doc Source #
printModule :: MODULE -> Doc Source #
printImportation :: IMPORTATION -> Doc Source #
printSentence :: SENTENCE -> Doc Source #
printComment :: COMMENT -> Doc Source #
printQuant :: QUANT -> Doc Source #
printBoolSent :: BOOL_SENT -> Doc Source #
printAndOr :: AndOr -> Doc Source #
printImplEq :: ImplEq -> Doc Source #
printTermSeq :: TERM_SEQ -> Doc Source #
printSymbOrMap :: SYMB_OR_MAP -> Doc Source #
printSymbItems :: SYMB_ITEMS -> Doc Source #
clCommentS :: String Source #
clExcludeS :: String Source #