Hets - the Heterogeneous Tool Set

Copyright(c) Klaus Luettich Christian Maeder and Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

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 # 
Show Annote_word Source # 

Methods

showsPrec :: Int -> Annote_word -> ShowS

show :: Annote_word -> String

showList :: [Annote_word] -> ShowS

GetRange Annote_word 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 # 
Show Annote_text Source # 

Methods

showsPrec :: Int -> Annote_text -> ShowS

show :: Annote_text -> String

showList :: [Annote_text] -> ShowS

GetRange Annote_text 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 # 
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 # 
Show Display_format Source # 

Methods

showsPrec :: Int -> Display_format -> ShowS

show :: Display_format -> String

showList :: [Display_format] -> ShowS

GetRange Display_format 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.

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 # 

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 # 
Show AssocEither Source # 

Methods

showsPrec :: Int -> AssocEither -> ShowS

show :: AssocEither -> String

showList :: [AssocEither] -> ShowS

GetRange AssocEither Source # 

data Semantic_anno Source #

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

Instances

Bounded Semantic_anno Source # 
Enum Semantic_anno Source # 
Eq Semantic_anno Source # 
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 # 
Show Semantic_anno Source # 

Methods

showsPrec :: Int -> Semantic_anno -> ShowS

show :: Semantic_anno -> String

showList :: [Semantic_anno] -> ShowS

GetRange Semantic_anno 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)

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 # 
Show Annotation Source # 

Methods

showsPrec :: Int -> Annotation -> ShowS

show :: Annotation -> String

showList :: [Annotation] -> ShowS

GetRange Annotation Source # 
Pretty Annotation 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)

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

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

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 # 

data SenAttr s a Source #

naming or labelling sentences

Constructors

SenAttr 

Fields

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 #

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 #

newtype Name Source #

Constructors

Name String 

Instances

Show Name Source # 

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

GetRange Name Source #