Copyright	(c) Klaus Luettich Christian Maeder and Uni Bremen 2002-2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	Safe

Common.AS_Annotation

Description

Datastructures for annotations of (Het)CASL. There is also a paramterized data type for an Annoted item. See also chapter II.5 of the CASL Reference Manual.

Synopsis

Documentation

data Annote_word Source #

start of an annote with its WORD or a comment

Constructors

Annote_word String
Comment_start

Instances

Eq Annote_word Source #
Methods (==) :: Annote_word -> Annote_word -> Bool (/=) :: Annote_word -> Annote_word -> Bool
Data Annote_word Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Annote_word -> c Annote_word gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Annote_word toConstr :: Annote_word -> Constr dataTypeOf :: Annote_word -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Annote_word) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Annote_word) gmapT :: (forall b. Data b => b -> b) -> Annote_word -> Annote_word gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Annote_word -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Annote_word -> r gmapQ :: (forall d. Data d => d -> u) -> Annote_word -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Annote_word -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Annote_word -> m Annote_word gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Annote_word -> m Annote_word gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Annote_word -> m Annote_word
Ord Annote_word Source #
Methods compare :: Annote_word -> Annote_word -> Ordering (<) :: Annote_word -> Annote_word -> Bool (<=) :: Annote_word -> Annote_word -> Bool (>) :: Annote_word -> Annote_word -> Bool (>=) :: Annote_word -> Annote_word -> Bool max :: Annote_word -> Annote_word -> Annote_word min :: Annote_word -> Annote_word -> Annote_word
Show Annote_word Source #
Methods showsPrec :: Int -> Annote_word -> ShowS show :: Annote_word -> String showList :: [Annote_word] -> ShowS
GetRange Annote_word Source #
Methods getRange :: Annote_word -> Range Source # rangeSpan :: Annote_word -> [Pos] Source #

data Annote_text Source #

line or group for Unparsed_anno

Constructors

Line_anno String
Group_anno [String]

Instances

Eq Annote_text Source #
Methods (==) :: Annote_text -> Annote_text -> Bool (/=) :: Annote_text -> Annote_text -> Bool
Data Annote_text Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Annote_text -> c Annote_text gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Annote_text toConstr :: Annote_text -> Constr dataTypeOf :: Annote_text -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Annote_text) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Annote_text) gmapT :: (forall b. Data b => b -> b) -> Annote_text -> Annote_text gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Annote_text -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Annote_text -> r gmapQ :: (forall d. Data d => d -> u) -> Annote_text -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Annote_text -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Annote_text -> m Annote_text gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Annote_text -> m Annote_text gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Annote_text -> m Annote_text
Ord Annote_text Source #
Methods compare :: Annote_text -> Annote_text -> Ordering (<) :: Annote_text -> Annote_text -> Bool (<=) :: Annote_text -> Annote_text -> Bool (>) :: Annote_text -> Annote_text -> Bool (>=) :: Annote_text -> Annote_text -> Bool max :: Annote_text -> Annote_text -> Annote_text min :: Annote_text -> Annote_text -> Annote_text
Show Annote_text Source #
Methods showsPrec :: Int -> Annote_text -> ShowS show :: Annote_text -> String showList :: [Annote_text] -> ShowS
GetRange Annote_text Source #
Methods getRange :: Annote_text -> Range Source # rangeSpan :: Annote_text -> [Pos] Source #

data Display_format Source #

formats to be displayed (may be extended in the future). Drop 3 from the show result to get the string for parsing and printing

Constructors

DF_HTML
DF_LATEX
DF_RTF

Instances

Eq Display_format Source #
Methods (==) :: Display_format -> Display_format -> Bool (/=) :: Display_format -> Display_format -> Bool
Data Display_format Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Display_format -> c Display_format gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Display_format toConstr :: Display_format -> Constr dataTypeOf :: Display_format -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Display_format) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Display_format) gmapT :: (forall b. Data b => b -> b) -> Display_format -> Display_format gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Display_format -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Display_format -> r gmapQ :: (forall d. Data d => d -> u) -> Display_format -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Display_format -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Display_format -> m Display_format gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Display_format -> m Display_format gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Display_format -> m Display_format
Ord Display_format Source #
Methods compare :: Display_format -> Display_format -> Ordering (<) :: Display_format -> Display_format -> Bool (<=) :: Display_format -> Display_format -> Bool (>) :: Display_format -> Display_format -> Bool (>=) :: Display_format -> Display_format -> Bool max :: Display_format -> Display_format -> Display_format min :: Display_format -> Display_format -> Display_format
Show Display_format Source #
Methods showsPrec :: Int -> Display_format -> ShowS show :: Display_format -> String showList :: [Display_format] -> ShowS
GetRange Display_format Source #
Methods getRange :: Display_format -> Range Source # rangeSpan :: Display_format -> [Pos] Source #

swapTable :: [(a, b)] -> [(b, a)] Source #

swap the entries of a lookup table

toTable :: Show a => [a] -> [(a, String)] Source #

drop the first 3 characters from the show result

display_format_table :: [(Display_format, String)] Source #

a lookup table for the textual representation of display formats

lookupDisplayFormat :: Display_format -> String Source #

lookup the textual representation of a display format in display_format_table

data PrecRel Source #

precedence Lower means less and BothDirections means less and greater. Higher means greater but this is syntactically not allowed in Prec_anno. NoDirection can also not be specified explicitly, but covers those ids that are not mentionend in precedences.

Constructors

Higher
Lower
BothDirections
NoDirection

Instances

Eq PrecRel Source #
Methods (==) :: PrecRel -> PrecRel -> Bool (/=) :: PrecRel -> PrecRel -> Bool
Data PrecRel Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PrecRel -> c PrecRel gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PrecRel toConstr :: PrecRel -> Constr dataTypeOf :: PrecRel -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c PrecRel) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PrecRel) gmapT :: (forall b. Data b => b -> b) -> PrecRel -> PrecRel gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PrecRel -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PrecRel -> r gmapQ :: (forall d. Data d => d -> u) -> PrecRel -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PrecRel -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> PrecRel -> m PrecRel gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PrecRel -> m PrecRel gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PrecRel -> m PrecRel
Ord PrecRel Source #
Methods compare :: PrecRel -> PrecRel -> Ordering (<) :: PrecRel -> PrecRel -> Bool (<=) :: PrecRel -> PrecRel -> Bool (>) :: PrecRel -> PrecRel -> Bool (>=) :: PrecRel -> PrecRel -> Bool max :: PrecRel -> PrecRel -> PrecRel min :: PrecRel -> PrecRel -> PrecRel
Show PrecRel Source #
Methods showsPrec :: Int -> PrecRel -> ShowS show :: PrecRel -> String showList :: [PrecRel] -> ShowS
GetRange PrecRel Source #
Methods getRange :: PrecRel -> Range Source # rangeSpan :: PrecRel -> [Pos] Source #

data AssocEither Source #

either left or right associative

Constructors

ALeft
ARight

Instances

Eq AssocEither Source #
Methods (==) :: AssocEither -> AssocEither -> Bool (/=) :: AssocEither -> AssocEither -> Bool
Data AssocEither Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AssocEither -> c AssocEither gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AssocEither toConstr :: AssocEither -> Constr dataTypeOf :: AssocEither -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c AssocEither) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AssocEither) gmapT :: (forall b. Data b => b -> b) -> AssocEither -> AssocEither gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AssocEither -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AssocEither -> r gmapQ :: (forall d. Data d => d -> u) -> AssocEither -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> AssocEither -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> AssocEither -> m AssocEither gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AssocEither -> m AssocEither gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AssocEither -> m AssocEither
Ord AssocEither Source #
Methods compare :: AssocEither -> AssocEither -> Ordering (<) :: AssocEither -> AssocEither -> Bool (<=) :: AssocEither -> AssocEither -> Bool (>) :: AssocEither -> AssocEither -> Bool (>=) :: AssocEither -> AssocEither -> Bool max :: AssocEither -> AssocEither -> AssocEither min :: AssocEither -> AssocEither -> AssocEither
Show AssocEither Source #
Methods showsPrec :: Int -> AssocEither -> ShowS show :: AssocEither -> String showList :: [AssocEither] -> ShowS
GetRange AssocEither Source #
Methods getRange :: AssocEither -> Range Source # rangeSpan :: AssocEither -> [Pos] Source #

data Semantic_anno Source #

semantic (line) annotations without further information. Use the same drop-3-trick as for the Display_format.

Constructors

SA_cons
SA_def
SA_implies
SA_mono
SA_implied
SA_mcons
SA_ccons
SA_wdef

Instances

Bounded Semantic_anno Source #
Methods minBound :: Semantic_anno maxBound :: Semantic_anno
Enum Semantic_anno Source #
Methods succ :: Semantic_anno -> Semantic_anno pred :: Semantic_anno -> Semantic_anno toEnum :: Int -> Semantic_anno fromEnum :: Semantic_anno -> Int enumFrom :: Semantic_anno -> [Semantic_anno] enumFromThen :: Semantic_anno -> Semantic_anno -> [Semantic_anno] enumFromTo :: Semantic_anno -> Semantic_anno -> [Semantic_anno] enumFromThenTo :: Semantic_anno -> Semantic_anno -> Semantic_anno -> [Semantic_anno]
Eq Semantic_anno Source #
Methods (==) :: Semantic_anno -> Semantic_anno -> Bool (/=) :: Semantic_anno -> Semantic_anno -> Bool
Data Semantic_anno Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Semantic_anno -> c Semantic_anno gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Semantic_anno toConstr :: Semantic_anno -> Constr dataTypeOf :: Semantic_anno -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Semantic_anno) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Semantic_anno) gmapT :: (forall b. Data b => b -> b) -> Semantic_anno -> Semantic_anno gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Semantic_anno -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Semantic_anno -> r gmapQ :: (forall d. Data d => d -> u) -> Semantic_anno -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Semantic_anno -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Semantic_anno -> m Semantic_anno gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Semantic_anno -> m Semantic_anno gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Semantic_anno -> m Semantic_anno
Ord Semantic_anno Source #
Methods compare :: Semantic_anno -> Semantic_anno -> Ordering (<) :: Semantic_anno -> Semantic_anno -> Bool (<=) :: Semantic_anno -> Semantic_anno -> Bool (>) :: Semantic_anno -> Semantic_anno -> Bool (>=) :: Semantic_anno -> Semantic_anno -> Bool max :: Semantic_anno -> Semantic_anno -> Semantic_anno min :: Semantic_anno -> Semantic_anno -> Semantic_anno
Show Semantic_anno Source #
Methods showsPrec :: Int -> Semantic_anno -> ShowS show :: Semantic_anno -> String showList :: [Semantic_anno] -> ShowS
GetRange Semantic_anno Source #
Methods getRange :: Semantic_anno -> Range Source # rangeSpan :: Semantic_anno -> [Pos] Source #

semantic_anno_table :: [(Semantic_anno, String)] Source #

a lookup table for the textual representation of semantic annos

lookupSemanticAnno :: Semantic_anno -> String Source #

lookup the textual representation of a semantic anno in semantic_anno_table

data Annotation Source #

all possible annotations (without comment-outs)

Constructors

Unparsed_anno Annote_word Annote_text Range	constructor for comments or unparsed annotes
Display_anno Id [(Display_format, String)] Range	known annotes
List_anno Id Id Id Range
Number_anno Id Range
Float_anno Id Id Range
String_anno Id Id Range
Prec_anno PrecRel [Id] [Id] Range
Assoc_anno AssocEither [Id] Range
Label [String] Range
Prefix_anno [(String, IRI)] Range
Semantic_anno Semantic_anno Range

Instances

Eq Annotation Source #
Methods (==) :: Annotation -> Annotation -> Bool (/=) :: Annotation -> Annotation -> Bool
Data Annotation Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Annotation -> c Annotation gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Annotation toConstr :: Annotation -> Constr dataTypeOf :: Annotation -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Annotation) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Annotation) gmapT :: (forall b. Data b => b -> b) -> Annotation -> Annotation gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Annotation -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Annotation -> r gmapQ :: (forall d. Data d => d -> u) -> Annotation -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Annotation -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Annotation -> m Annotation gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotation -> m Annotation gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotation -> m Annotation
Ord Annotation Source #
Methods compare :: Annotation -> Annotation -> Ordering (<) :: Annotation -> Annotation -> Bool (<=) :: Annotation -> Annotation -> Bool (>) :: Annotation -> Annotation -> Bool (>=) :: Annotation -> Annotation -> Bool max :: Annotation -> Annotation -> Annotation min :: Annotation -> Annotation -> Annotation
Show Annotation Source #
Methods showsPrec :: Int -> Annotation -> ShowS show :: Annotation -> String showList :: [Annotation] -> ShowS
GetRange Annotation Source #
Methods getRange :: Annotation -> Range Source # rangeSpan :: Annotation -> [Pos] Source #
Pretty Annotation Source #
Methods pretty :: Annotation -> Doc Source # pretties :: [Annotation] -> Doc Source #
ATermConvertibleSML Annotation Source #
Methods from_sml_ShATerm :: ATermTable -> Annotation from_sml_ShATermList :: ATermTable -> [Annotation]

isLabel :: Annotation -> Bool Source #

isLabel tests if the given Annotation is a label (a Label typically follows a formula)

isImplies :: Annotation -> Bool Source #

isImplied :: Annotation -> Bool Source #

isSemanticAnno :: Annotation -> Bool Source #

isSemanticAnno tests if the given Annotation is a semantic one

isComment :: Annotation -> Bool Source #

isComment tests if the given Annotation is a comment line or a comment group

isAnnote :: Annotation -> Bool Source #

isAnnote is the negation of isComment

partPrefixes :: [Annotation] -> (Map String IRI, [Annotation]) Source #

separate prefix annotations and put them into a map

data Annoted a Source #

an item wrapped in preceding (left l_annos) and following (right r_annos) annotations. opt_pos should carry the position of an optional semicolon following a formula (but is currently unused).

Constructors

Annoted
Fields item :: a opt_pos :: Range l_annos :: [Annotation] r_annos :: [Annotation]

Instances

Functor Annoted Source #
Methods fmap :: (a -> b) -> Annoted a -> Annoted b (<$) :: a -> Annoted b -> Annoted a
Eq a => Eq (Annoted a) Source #
Methods (==) :: Annoted a -> Annoted a -> Bool (/=) :: Annoted a -> Annoted a -> Bool
Data a => Data (Annoted a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Annoted a -> c (Annoted a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Annoted a) toConstr :: Annoted a -> Constr dataTypeOf :: Annoted a -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Annoted a)) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Annoted a)) gmapT :: (forall b. Data b => b -> b) -> Annoted a -> Annoted a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Annoted a -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Annoted a -> r gmapQ :: (forall d. Data d => d -> u) -> Annoted a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Annoted a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Annoted a -> m (Annoted a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Annoted a -> m (Annoted a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Annoted a -> m (Annoted a)
Ord a => Ord (Annoted a) Source #
Methods compare :: Annoted a -> Annoted a -> Ordering (<) :: Annoted a -> Annoted a -> Bool (<=) :: Annoted a -> Annoted a -> Bool (>) :: Annoted a -> Annoted a -> Bool (>=) :: Annoted a -> Annoted a -> Bool max :: Annoted a -> Annoted a -> Annoted a min :: Annoted a -> Annoted a -> Annoted a
Show a => Show (Annoted a) Source #
Methods showsPrec :: Int -> Annoted a -> ShowS show :: Annoted a -> String showList :: [Annoted a] -> ShowS
GetRange a => GetRange (Annoted a) Source #
Methods getRange :: Annoted a -> Range Source # rangeSpan :: Annoted a -> [Pos] Source #
Pretty a => Pretty (Annoted a) Source #
Methods pretty :: Annoted a -> Doc Source # pretties :: [Annoted a] -> Doc Source #
ListCheck a => ListCheck (Annoted a) Source #	an instance of ListCheck for Annoted stuff
Methods innerList :: Annoted a -> [()] Source #
PrettyLG a => PrettyLG (Annoted a) Source #
Methods prettyLG :: LogicGraph -> Annoted a -> Doc Source #
ShATermLG a => ShATermLG (Annoted a) Source #
Methods toShATermLG :: ATermTable -> Annoted a -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Annoted a) Source #
ATermConvertibleSML a => ATermConvertibleSML (Annoted a) Source #
Methods from_sml_ShATerm :: ATermTable -> Annoted a from_sml_ShATermList :: ATermTable -> [Annoted a]

annoRange :: (a -> [Pos]) -> Annoted a -> [Pos] Source #

notImplied :: Annoted a -> Bool Source #

data SenOrigin Source #

origin of sentences

Constructors

SenOrigin
Fields dGraphName :: IRI originNodeId :: Node senName :: String

Instances

Eq SenOrigin Source #
Methods (==) :: SenOrigin -> SenOrigin -> Bool (/=) :: SenOrigin -> SenOrigin -> Bool
Data SenOrigin Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SenOrigin -> c SenOrigin gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SenOrigin toConstr :: SenOrigin -> Constr dataTypeOf :: SenOrigin -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c SenOrigin) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SenOrigin) gmapT :: (forall b. Data b => b -> b) -> SenOrigin -> SenOrigin gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SenOrigin -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SenOrigin -> r gmapQ :: (forall d. Data d => d -> u) -> SenOrigin -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> SenOrigin -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> SenOrigin -> m SenOrigin gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SenOrigin -> m SenOrigin gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SenOrigin -> m SenOrigin
Ord SenOrigin Source #
Methods compare :: SenOrigin -> SenOrigin -> Ordering (<) :: SenOrigin -> SenOrigin -> Bool (<=) :: SenOrigin -> SenOrigin -> Bool (>) :: SenOrigin -> SenOrigin -> Bool (>=) :: SenOrigin -> SenOrigin -> Bool max :: SenOrigin -> SenOrigin -> SenOrigin min :: SenOrigin -> SenOrigin -> SenOrigin
Show SenOrigin Source #
Methods showsPrec :: Int -> SenOrigin -> ShowS show :: SenOrigin -> String showList :: [SenOrigin] -> ShowS
GetRange SenOrigin Source #
Methods getRange :: SenOrigin -> Range Source # rangeSpan :: SenOrigin -> [Pos] Source #

data SenAttr s a Source #

naming or labelling sentences

Constructors

SenAttr
Fields senAttr :: a priority :: Maybe String isAxiom :: Bool isDef :: Bool wasTheorem :: Bool simpAnno :: Maybe Bool attrOrigin :: Maybe Id senMark :: String senOrigin :: Maybe SenOrigin sentence :: s

Instances

(Eq s, Eq a) => Eq (SenAttr s a) Source #
Methods (==) :: SenAttr s a -> SenAttr s a -> Bool (/=) :: SenAttr s a -> SenAttr s a -> Bool
(Data a, Data s) => Data (SenAttr s a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SenAttr s a -> c (SenAttr s a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (SenAttr s a) toConstr :: SenAttr s a -> Constr dataTypeOf :: SenAttr s a -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (SenAttr s a)) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (SenAttr s a)) gmapT :: (forall b. Data b => b -> b) -> SenAttr s a -> SenAttr s a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SenAttr s a -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SenAttr s a -> r gmapQ :: (forall d. Data d => d -> u) -> SenAttr s a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> SenAttr s a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> SenAttr s a -> m (SenAttr s a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SenAttr s a -> m (SenAttr s a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SenAttr s a -> m (SenAttr s a)
(Ord s, Ord a) => Ord (SenAttr s a) Source #
Methods compare :: SenAttr s a -> SenAttr s a -> Ordering (<) :: SenAttr s a -> SenAttr s a -> Bool (<=) :: SenAttr s a -> SenAttr s a -> Bool (>) :: SenAttr s a -> SenAttr s a -> Bool (>=) :: SenAttr s a -> SenAttr s a -> Bool max :: SenAttr s a -> SenAttr s a -> SenAttr s a min :: SenAttr s a -> SenAttr s a -> SenAttr s a
(Show s, Show a) => Show (SenAttr s a) Source #
Methods showsPrec :: Int -> SenAttr s a -> ShowS show :: SenAttr s a -> String showList :: [SenAttr s a] -> ShowS
(GetRange s, GetRange a) => GetRange (SenAttr s a) Source #
Methods getRange :: SenAttr s a -> Range Source # rangeSpan :: SenAttr s a -> [Pos] Source #
(ShATermLG s, ShATermLG a) => ShATermLG (SenAttr s a) Source #
Methods toShATermLG :: ATermTable -> SenAttr s a -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, SenAttr s a) Source #

makeNamed :: a -> s -> SenAttr s a Source #

equip a sentence with a name

setOrigin :: IRI -> Node -> String -> SenAttr s a -> SenAttr s a Source #

set the origin of a named sentence

setOriginIfLocal :: IRI -> Node -> String -> SenAttr s a -> SenAttr s a Source #

set the origin of a named sentence, if the sentence does not already have an origin, owise leave unchanged

type Named s = SenAttr s String Source #

markSen :: String -> Named s -> Named s Source #

unmark :: Named s -> Named s Source #

reName :: (a -> b) -> SenAttr s a -> SenAttr s b Source #

mapNamed :: (s -> t) -> SenAttr s a -> SenAttr t a Source #

extending sentence maps to maps on labelled sentences

mapNamedM :: Monad m => (s -> m t) -> Named s -> m (Named t) Source #

extending sentence maybe-maps to maps on labelled sentences

mapAnM :: Monad m => (a -> m b) -> [Annoted a] -> m [Annoted b] Source #

process all items and wrap matching annotations around the results

replaceAnnoted :: b -> Annoted a -> Annoted b Source #

replace the item

appendAnno :: Annoted a -> [Annotation] -> Annoted a Source #

add further following annotations

addLeftAnno :: [Annotation] -> a -> Annoted a Source #

put together preceding annotations and an item

emptyAnno :: a -> Annoted a Source #

decorate with no annotations

getRLabel :: Annoted a -> String Source #

get the label following (or to the right of) an item

identAnno :: String -> Annotation -> Bool Source #

check for an annotation starting with % and the input str (does not work for known annotation words)

hasIdentAnno :: String -> Annoted a -> Bool Source #

test all anntotions for an item

getPriority :: [Annotation] -> Maybe String Source #

makeNamedSen :: Annoted a -> Named a Source #

annoArg :: Annote_text -> String Source #

newtype Name Source #

Constructors

Name String

Instances

Show Name Source #
Methods showsPrec :: Int -> Name -> ShowS show :: Name -> String showList :: [Name] -> ShowS
GetRange Name Source #
Methods getRange :: Name -> Range Source # rangeSpan :: Name -> [Pos] Source #

getAnnoName :: Annoted a -> Name Source #