Hets - the Heterogeneous Tool Set

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

Common.Id

Contents

Description

This module supplies positions, simple and mixfix identifiers. A simple identifier is a lexical token given by a string and a start position.

  • A place is a special token within mixfix identifiers.
  • A mixfix identifier may have a compound list. This compound list follows the last non-place token!
  • Identifiers fixed for all logics

Synopsis

Documentation

data Pos Source #

Constructors

SourcePos 

Fields

Instances

Eq Pos Source # 

Methods

(==) :: Pos -> Pos -> Bool

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

Data Pos Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pos -> c Pos

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pos

toConstr :: Pos -> Constr

dataTypeOf :: Pos -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Pos)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pos)

gmapT :: (forall b. Data b => b -> b) -> Pos -> Pos

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r

gmapQ :: (forall d. Data d => d -> u) -> Pos -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Pos -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pos -> m Pos

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos

Ord Pos Source # 

Methods

compare :: Pos -> Pos -> Ordering

(<) :: Pos -> Pos -> Bool

(<=) :: Pos -> Pos -> Bool

(>) :: Pos -> Pos -> Bool

(>=) :: Pos -> Pos -> Bool

max :: Pos -> Pos -> Pos

min :: Pos -> Pos -> Pos

Show Pos Source # 

Methods

showsPrec :: Int -> Pos -> ShowS

show :: Pos -> String

showList :: [Pos] -> ShowS

newtype Range Source #

position lists with trivial equality

Constructors

Range 

Fields

Instances

Eq Range Source # 

Methods

(==) :: Range -> Range -> Bool

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

Data Range Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Range -> c Range

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Range

toConstr :: Range -> Constr

dataTypeOf :: Range -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Range)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Range)

gmapT :: (forall b. Data b => b -> b) -> Range -> Range

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Range -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Range -> r

gmapQ :: (forall d. Data d => d -> u) -> Range -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Range -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Range -> m Range

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Range -> m Range

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Range -> m Range

Ord Range Source # 

Methods

compare :: Range -> Range -> Ordering

(<) :: Range -> Range -> Bool

(<=) :: Range -> Range -> Bool

(>) :: Range -> Range -> Bool

(>=) :: Range -> Range -> Bool

max :: Range -> Range -> Range

min :: Range -> Range -> Range

Show Range Source # 

Methods

showsPrec :: Int -> Range -> ShowS

show :: Range -> String

showList :: [Range] -> ShowS

GetRange Range Source # 

concatMapRange :: (a -> Range) -> [a] -> Range Source #

newPos :: String -> Int -> Int -> Pos Source #

construct a new position

incSourceColumn :: Pos -> Int -> Pos Source #

increment the column counter

showPos :: Pos -> ShowS Source #

show a position

Tokens as Strings with positions that are ignored for Eq and Ord

data Token Source #

tokens as supplied by the scanner

Constructors

Token 

Fields

Instances

Eq Token Source # 

Methods

(==) :: Token -> Token -> Bool

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

Data Token Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Token -> c Token

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Token

toConstr :: Token -> Constr

dataTypeOf :: Token -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Token)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Token)

gmapT :: (forall b. Data b => b -> b) -> Token -> Token

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Token -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Token -> r

gmapQ :: (forall d. Data d => d -> u) -> Token -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Token -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Token -> m Token

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Token -> m Token

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Token -> m Token

Ord Token Source # 

Methods

compare :: Token -> Token -> Ordering

(<) :: Token -> Token -> Bool

(<=) :: Token -> Token -> Bool

(>) :: Token -> Token -> Bool

(>=) :: Token -> Token -> Bool

max :: Token -> Token -> Token

min :: Token -> Token -> Token

Read Token Source # 

Methods

readsPrec :: Int -> ReadS Token

readList :: ReadS [Token]

readPrec :: ReadPrec Token

readListPrec :: ReadPrec [Token]

Show Token Source # 

Methods

showsPrec :: Int -> Token -> ShowS

show :: Token -> String

showList :: [Token] -> ShowS

GetRange Token Source # 
Pretty Token Source # 
HasName Qid Source # 

Methods

getName :: Qid -> Qid Source #

mapName :: (Qid -> Qid) -> Qid -> Qid Source #

ListCheck Token Source # 

Methods

innerList :: Token -> [()] Source #

ATermConvertibleSML Token Source # 

Methods

from_sml_ShATerm :: ATermTable -> Token

from_sml_ShATermList :: ATermTable -> [Token]

type SIMPLE_ID = Token Source #

simple ids are just tokens

mkSimpleId :: String -> Token Source #

construct a token without position from a string

nullTok :: Token Source #

null token

mkNumStr :: String -> Int -> String Source #

create a numbered string

mkNumVar :: String -> Int -> Token Source #

create a numbered simple identifier (for variables)

isSimpleToken :: Token -> Bool Source #

test if the first character indicates a legal simple CASL identifier

catPosAux :: [Token] -> [Pos] Source #

collect positions

catRange :: [Token] -> Range Source #

collect positions as range

toRange :: Token -> [Token] -> Token -> Range Source #

shortcut to get positions of surrounding and interspersed tokens

placeholder stuff

place :: String Source #

the special place

isPlace :: Token -> Bool Source #

is a place token

equality symbols

equalS :: String Source #

also a definition indicator

exEqual :: String Source #

mind spacing i.e. in e =e= e

typeTok :: Token Source #

token for type annotations

mixfix identifiers with compound lists and its range

data Id Source #

mixfix and compound identifiers

Constructors

Id 

Fields

Instances

Eq Id Source # 

Methods

(==) :: Id -> Id -> Bool

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

Data Id Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Id -> c Id

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Id

toConstr :: Id -> Constr

dataTypeOf :: Id -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Id)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Id)

gmapT :: (forall b. Data b => b -> b) -> Id -> Id

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Id -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Id -> r

gmapQ :: (forall d. Data d => d -> u) -> Id -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Id -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Id -> m Id

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Id -> m Id

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Id -> m Id

Ord Id Source # 

Methods

compare :: Id -> Id -> Ordering

(<) :: Id -> Id -> Bool

(<=) :: Id -> Id -> Bool

(>) :: Id -> Id -> Bool

(>=) :: Id -> Id -> Bool

max :: Id -> Id -> Id

min :: Id -> Id -> Id

Show Id Source # 

Methods

showsPrec :: Int -> Id -> ShowS

show :: Id -> String

showList :: [Id] -> ShowS

GetRange Id Source # 

Methods

getRange :: Id -> Range Source #

rangeSpan :: Id -> [Pos] Source #

SymbolName Id Source # 

Methods

addString :: (Id, String) -> Id Source #

Pretty Id Source # 

Methods

pretty :: Id -> Doc Source #

pretties :: [Id] -> Doc Source #

ListCheck Id Source # 

Methods

innerList :: Id -> [()] Source #

ATermConvertibleSML Id Source # 

Methods

from_sml_ShATerm :: ATermTable -> Id

from_sml_ShATermList :: ATermTable -> [Id]

StaticAnalysis RelScheme RSScheme Sentence () () Sign RSMorphism RSSymbol RSRawSymbol Source #

Static Analysis for Rel

Methods

basic_analysis :: RelScheme -> Maybe ((RSScheme, Sign, GlobalAnnos) -> Result (RSScheme, ExtSign Sign RSSymbol, [Named Sentence])) Source #

sen_analysis :: RelScheme -> Maybe ((RSScheme, Sign, Sentence) -> Result Sentence) Source #

extBasicAnalysis :: RelScheme -> IRI -> LibName -> RSScheme -> Sign -> GlobalAnnos -> Result (RSScheme, ExtSign Sign RSSymbol, [Named Sentence]) Source #

stat_symb_map_items :: RelScheme -> Sign -> Maybe Sign -> [()] -> Result (EndoMap RSRawSymbol) Source #

stat_symb_items :: RelScheme -> Sign -> [()] -> Result [RSRawSymbol] Source #

convertTheory :: RelScheme -> Maybe ((Sign, [Named Sentence]) -> RSScheme) Source #

ensures_amalgamability :: RelScheme -> ([CASLAmalgOpt], Gr Sign (Int, RSMorphism), [(Int, RSMorphism)], Gr String String) -> Result Amalgamates Source #

quotient_term_algebra :: RelScheme -> RSMorphism -> [Named Sentence] -> Result (Sign, [Named Sentence]) Source #

signature_colimit :: RelScheme -> Gr Sign (Int, RSMorphism) -> Result (Sign, Map Int RSMorphism) Source #

qualify :: RelScheme -> SIMPLE_ID -> LibName -> RSMorphism -> Sign -> Result (RSMorphism, [Named Sentence]) Source #

symbol_to_raw :: RelScheme -> RSSymbol -> RSRawSymbol Source #

id_to_raw :: RelScheme -> Id -> RSRawSymbol Source #

matches :: RelScheme -> RSSymbol -> RSRawSymbol -> Bool Source #

empty_signature :: RelScheme -> Sign Source #

add_symb_to_sign :: RelScheme -> Sign -> RSSymbol -> Result Sign Source #

signature_union :: RelScheme -> Sign -> Sign -> Result Sign Source #

signatureDiff :: RelScheme -> Sign -> Sign -> Result Sign Source #

intersection :: RelScheme -> Sign -> Sign -> Result Sign Source #

final_union :: RelScheme -> Sign -> Sign -> Result Sign Source #

morphism_union :: RelScheme -> RSMorphism -> RSMorphism -> Result RSMorphism Source #

is_subsig :: RelScheme -> Sign -> Sign -> Bool Source #

subsig_inclusion :: RelScheme -> Sign -> Sign -> Result RSMorphism Source #

generated_sign :: RelScheme -> Set RSSymbol -> Sign -> Result RSMorphism Source #

cogenerated_sign :: RelScheme -> Set RSSymbol -> Sign -> Result RSMorphism Source #

induced_from_morphism :: RelScheme -> EndoMap RSRawSymbol -> Sign -> Result RSMorphism Source #

induced_from_to_morphism :: RelScheme -> EndoMap RSRawSymbol -> ExtSign Sign RSSymbol -> ExtSign Sign RSSymbol -> Result RSMorphism Source #

is_transportable :: RelScheme -> RSMorphism -> Bool Source #

is_injective :: RelScheme -> RSMorphism -> Bool Source #

theory_to_taxonomy :: RelScheme -> TaxoGraphKind -> MMiSSOntology -> Sign -> [Named Sentence] -> Result MMiSSOntology Source #

corresp2th :: RelScheme -> String -> Bool -> Sign -> Sign -> [()] -> [()] -> EndoMap RSSymbol -> EndoMap RSSymbol -> REL_REF -> Result (Sign, [Named Sentence], Sign, Sign, EndoMap RSSymbol, EndoMap RSSymbol) Source #

equiv2cospan :: RelScheme -> Sign -> Sign -> [()] -> [()] -> Result (Sign, Sign, Sign, EndoMap RSSymbol, EndoMap RSSymbol) Source #

extract_module :: RelScheme -> [IRI] -> (Sign, [Named Sentence]) -> Result (Sign, [Named Sentence]) Source #

Logic RelScheme () RSScheme Sentence () () Sign RSMorphism RSSymbol RSRawSymbol () Source #

Instance of Logic for Relational Schemes

Methods

parse_basic_sen :: RelScheme -> Maybe (RSScheme -> AParser st Sentence) Source #

stability :: RelScheme -> Stability Source #

data_logic :: RelScheme -> Maybe AnyLogic Source #

top_sublogic :: RelScheme -> () Source #

all_sublogics :: RelScheme -> [()] Source #

bottomSublogic :: RelScheme -> Maybe () Source #

sublogicDimensions :: RelScheme -> [[()]] Source #

parseSublogic :: RelScheme -> String -> Maybe () Source #

proj_sublogic_epsilon :: RelScheme -> () -> Sign -> RSMorphism Source #

provers :: RelScheme -> [Prover Sign Sentence RSMorphism () ()] Source #

default_prover :: RelScheme -> String Source #

cons_checkers :: RelScheme -> [ConsChecker Sign Sentence () RSMorphism ()] Source #

conservativityCheck :: RelScheme -> [ConservativityChecker Sign Sentence RSMorphism] Source #

empty_proof_tree :: RelScheme -> () Source #

syntaxTable :: RelScheme -> Sign -> Maybe SyntaxTable Source #

omdoc_metatheory :: RelScheme -> Maybe OMCD Source #

export_symToOmdoc :: RelScheme -> NameMap RSSymbol -> RSSymbol -> String -> Result TCElement Source #

export_senToOmdoc :: RelScheme -> NameMap RSSymbol -> Sentence -> Result TCorOMElement Source #

export_theoryToOmdoc :: RelScheme -> SigMap RSSymbol -> Sign -> [Named Sentence] -> Result [TCElement] Source #

omdocToSym :: RelScheme -> SigMapI RSSymbol -> TCElement -> String -> Result RSSymbol Source #

omdocToSen :: RelScheme -> SigMapI RSSymbol -> TCElement -> String -> Result (Maybe (Named Sentence)) Source #

addOMadtToTheory :: RelScheme -> SigMapI RSSymbol -> (Sign, [Named Sentence]) -> [[OmdADT]] -> Result (Sign, [Named Sentence]) Source #

addOmdocToTheory :: RelScheme -> SigMapI RSSymbol -> (Sign, [Named Sentence]) -> [TCElement] -> Result (Sign, [Named Sentence]) Source #

Comorphism RelScheme2CASL RelScheme () RSScheme Sentence () () Sign RSMorphism RSSymbol RSRawSymbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source # 

mkId :: [Token] -> Id Source #

construct an Id from a token list

mkInfix :: String -> Id Source #

genNamePrefix :: String Source #

a prefix for generated names

genToken :: String -> Token Source #

create a generated simple identifier

genNumVar :: String -> Int -> Token Source #

create a generated, numbered variable

genName :: String -> Id Source #

create a generated identifier

mkGenName :: Id -> Id Source #

create a generated identifier from a given one excluding characters

isGeneratedToken :: Token -> Bool Source #

tests whether a Token is already a generated one

appendString :: Id -> String -> Id Source #

append a number to the first token of a (possible compound) Id, or generate a new identifier for invisible ones

prependString :: String -> Id -> Id Source #

prepend a string to the first token of an Id

appendId :: Id -> Id -> Id Source #

append two Ids

injToken :: Token Source #

the name of injections

projToken :: Token Source #

the name of projections

isInjName :: Id -> Bool Source #

typeId :: Id Source #

the postfix type identifier

applId :: Id Source #

the invisible application rule with two places

eqId :: Id Source #

the infix equality identifier

show stuff

noShow :: Bool -> ShowS -> ShowS Source #

shortcut to suppress output for input condition

showSepList :: ShowS -> (a -> ShowS) -> [a] -> ShowS Source #

intersperse seperators

showIds :: [Id] -> ShowS Source #

shows a compound list

showId :: Id -> ShowS Source #

shows an Id, puts final places behind a compound list

splitting identifiers

splitMixToken :: [Token] -> ([Token], [Token]) Source #

splits off the front and final places

getListBrackets :: Id -> ([Token], [Token], [Id]) Source #

return open and closing list bracket and a compound list from a bracket Id (parsed by caslListBrackets)

reconstructing token lists

expandPos :: (Token -> a) -> (String, String) -> [a] -> Range -> [a] Source #

reconstruct a list with surrounding strings and interspersed commas with proper position information that should be preserved by the input function

getPlainTokenList :: Id -> [Token] Source #

reconstruct the token list of an Id including square brackets and commas of (nested) compound lists.

getTokenList :: String -> Id -> [Token] Source #

reconstruct the token list of an Id. Replace top-level places with the input String

conversion from SIMPLE_ID

stringToId :: String -> Id Source #

a string as Id

isSingle :: [a] -> Bool Source #

efficiently test for a singleton list

isSimpleId :: Id -> Bool Source #

test for a SIMPLE_ID

fixity stuff

placeCount :: Id -> Int Source #

number of place in Id

isMixfix :: Id -> Bool Source #

has a place

begPlace :: Id -> Bool Source #

Id starts with a place

endPlace :: Id -> Bool Source #

Id ends with a place

isPostfix :: Id -> Bool Source #

starts with a place

isInfix :: Id -> Bool Source #

starts and ends with a place

position stuff

posOfId :: Id -> Range Source #

compute a meaningful position from an Id for diagnostics

tokenRange :: Token -> [Pos] Source #

compute start and end position of a Token (or leave it empty)

mkTokPos :: String -> Pos -> [Pos] Source #

sortRange :: [Pos] -> [Pos] -> [Pos] Source #

joinRanges :: [[Pos]] -> [Pos] Source #

idRange :: Id -> [Pos] Source #

compute start and end position of a declared Id (or leave it empty). Do not use for applied identifiers where place holders are replaced.

addComponents :: Id -> ([Id], Range) -> Id Source #

add components to an Id

class GetRange a where Source #

This class is derivable with DrIFT. Its main purpose is to have a function that operates on constructors with a Range field. During parsing, mixfix analysis and ATermConversion this function might be very useful.

Methods

getRange :: a -> Range Source #

rangeSpan :: a -> [Pos] Source #

Instances

GetRange Bool Source # 

Methods

getRange :: Bool -> Range Source #

rangeSpan :: Bool -> [Pos] Source #

GetRange Char Source # 

Methods

getRange :: Char -> Range Source #

rangeSpan :: Char -> [Pos] Source #

GetRange Int Source # 

Methods

getRange :: Int -> Range Source #

rangeSpan :: Int -> [Pos] Source #

GetRange Integer Source # 

Methods

getRange :: Integer -> Range Source #

rangeSpan :: Integer -> [Pos] Source #

GetRange () Source # 

Methods

getRange :: () -> Range Source #

rangeSpan :: () -> [Pos] Source #

GetRange Id Source # 

Methods

getRange :: Id -> Range Source #

rangeSpan :: Id -> [Pos] Source #

GetRange Token Source # 
GetRange Range Source # 
GetRange Number Source # 
GetRange AtomicWord Source # 
GetRange Name Source # 
GetRange FormulaData Source # 
GetRange GeneralFunction Source # 
GetRange GeneralData Source # 
GetRange GeneralTerm Source # 
GetRange StatusValue Source # 
GetRange InferenceStatus Source # 
GetRange InferenceItem Source # 
GetRange FormulaItem Source # 
GetRange InfoItem Source # 
GetRange TheoryName Source # 
GetRange FileSource Source # 
GetRange ExternalSource Source # 
GetRange IntroType Source # 
GetRange ParentInfo Source # 
GetRange DagSource Source # 
GetRange Source Source # 
GetRange PrincipalSymbol Source # 
GetRange SystemTerm Source # 
GetRange DefinedFunctor Source # 
GetRange DefinedPlainTerm Source # 
GetRange DefinedAtom Source # 
GetRange DefinedTerm Source # 
GetRange PlainTerm Source # 
GetRange FunctionTerm Source # 
GetRange Term Source # 
GetRange DefinedPred Source # 
GetRange DefinedProp Source # 
GetRange DefinedPlainFormula Source # 
GetRange DefinedType Source # 
GetRange AssocConnective Source # 
GetRange THFUnaryConnective Source # 
GetRange THFPairConnective Source # 
GetRange Quantifier Source # 
GetRange THFQuantifier Source # 
GetRange THFConnTerm Source # 
GetRange THFSequent Source # 
GetRange THFAtom Source # 
GetRange THFBinaryType Source # 
GetRange THFUnitaryType Source # 
GetRange THFTopLevelType Source # 
GetRange THFSubType Source # 
GetRange THFTypeableFormula Source # 
GetRange THFTypeFormula Source # 
GetRange THFTypedConst Source # 
GetRange THFVariable Source # 
GetRange THFQuantifiedFormula Source # 
GetRange THFUnitaryFormula Source # 
GetRange THFBinaryTuple Source # 
GetRange THFBinaryFormula Source # 
GetRange THFLogicFormula Source # 
GetRange THFFormula Source # 
GetRange FormulaRole Source # 
GetRange Annotations Source # 
GetRange Include Source # 
GetRange SystemComment Source # 
GetRange DefinedComment Source # 
GetRange Comment Source # 
GetRange TPTP_THF Source # 
GetRange SymbolTHF Source # 
GetRange BasicSpecTHF Source # 
GetRange IRI Source # 
GetRange Name Source # 
GetRange SenOrigin Source # 
GetRange Annotation Source # 
GetRange Semantic_anno Source # 
GetRange AssocEither Source # 
GetRange PrecRel Source # 
GetRange Display_format Source # 
GetRange Annote_text Source # 
GetRange Annote_word Source # 
GetRange Item Source # 
GetRange LibName Source # 
GetRange Diagnosis Source # 
GetRange Entity Source # 
GetRange OntologyDocument Source # 
GetRange Axiom Source # 
GetRange RDFEntity Source # 
GetRange Axiom Source # 
GetRange TurtleDocument Source # 
GetRange RawSymb Source # 
GetRange SignTHF Source # 
GetRange ComorphismDef Source # 
GetRange LogicDef Source # 
GetRange EXP Source # 
GetRange Symbol Source # 
GetRange MaudeText Source # 
GetRange Symbol Source # 
GetRange Sentence Source # 
GetRange Symbol Source # 
GetRange FORMULA Source # 
GetRange BASIC_SPEC Source # 
GetRange Symbol Source # 
GetRange SYMB_ITEMS Source # 
GetRange SYMB_OR_MAP Source # 
GetRange SYMB_MAP_ITEMS Source # 
GetRange NAME_OR_SEQMARK Source # 
GetRange TERM_SEQ Source # 
GetRange TERM Source # 
GetRange ATOM Source # 
GetRange ImplEq Source # 
GetRange AndOr Source # 
GetRange BOOL_SENT Source # 
GetRange QUANT Source # 
GetRange SENTENCE Source # 
GetRange IMPORTATION Source # 
GetRange MODULE Source # 
GetRange COMMENT Source # 
GetRange PHRASE Source # 
GetRange TEXT Source # 
GetRange TEXT_META Source # 
GetRange BASIC_ITEMS Source # 
GetRange BASIC_SPEC Source # 
GetRange Symbol Source # 
GetRange FORMULA Source # 
GetRange BASIC_SPEC Source # 
GetRange Symbol Source # 
GetRange TypeArg Source # 
GetRange VarDecl Source # 
GetRange Term Source # 
GetRange OpAttr Source # 
GetRange TypeScheme Source # 
GetRange Type Source # 
GetRange TypePattern Source # 
GetRange BasicSpec Source # 
GetRange Sentence Source # 
GetRange BASIC_SPEC Source # 
GetRange SYMB_OR_MAP Source # 
GetRange SYMB_MAP_ITEMS Source # 
GetRange SYMB Source # 
GetRange SYMB_ITEMS Source # 
GetRange FORMULA Source # 
GetRange BASIC_ITEMS Source # 
GetRange BASIC_SPEC Source # 
GetRange PRED_ITEM Source # 
GetRange Symbol Source # 
GetRange SYMBORMAP Source # 
GetRange SYMBMAPITEMS Source # 
GetRange SYMB Source # 
GetRange SYMBITEMS Source # 
GetRange ID Source # 

Methods

getRange :: ID -> Range Source #

rangeSpan :: ID -> [Pos] Source #

GetRange FORMULA Source # 
GetRange BASICITEMS Source # 
GetRange BASICSPEC Source # 
GetRange PREDITEM Source # 
GetRange Symbol Source # 
GetRange RSTables Source # 
GetRange RSSymbol Source # 
GetRange RSScheme Source # 
GetRange RSRelationships Source # 
GetRange RSRel Source # 
GetRange RSQualId Source # 
GetRange RSRelType Source # 
GetRange TPTP Source # 
GetRange SPTerm Source # 
GetRange SFSymbol Source # 
GetRange Constraint Source # 
GetRange Link Source # 
GetRange Object Source # 
GetRange Model Source # 
GetRange MultiplicityElement Source # 
GetRange Property Source # 
GetRange TypedElement Source # 
GetRange Class Source # 
GetRange Datatype Source # 
GetRange DataTypeOrClass Source # 
GetRange Type Source # 
GetRange TypeOrTypedElement Source # 
GetRange NamedElement Source # 
GetRange Metamodel Source # 
GetRange Sen Source # 
GetRange Sign Source # 
GetRange STRING Source # 
GetRange OCL Source # 
GetRange RelInvok Source # 
GetRange WhenWhere Source # 
GetRange PropertyTemplate Source # 
GetRange ObjectTemplate Source # 
GetRange Domain Source # 
GetRange PrimitiveDomain Source # 
GetRange RelVar Source # 
GetRange Relation Source # 
GetRange PropKey Source # 
GetRange Key Source # 
GetRange Transformation Source # 
GetRange Pattern Source # 
GetRange RelationSen Source # 
GetRange Sen Source # 
GetRange Sign Source # 
GetRange Symbol Source # 
GetRange SYMB_OR_MAP Source # 
GetRange TYPE Source # 
GetRange SYMB Source # 
GetRange SYMB_KIND Source # 
GetRange SYMB_MAP_ITEMS Source # 
GetRange SYMB_ITEMS Source # 
GetRange OP_SYMB Source # 
GetRange PRED_SYMB Source # 
GetRange QUANTIFIER Source # 
GetRange Constraint Source # 
GetRange Equality Source # 
GetRange Relation Source # 
GetRange Junctor Source # 
GetRange VAR_DECL Source # 
GetRange COMPONENTS Source # 
GetRange ALTERNATIVE Source # 
GetRange DATATYPE_DECL Source # 
GetRange PRED_HEAD Source # 
GetRange PRED_TYPE Source # 
GetRange OP_HEAD Source # 
GetRange OP_TYPE Source # 
GetRange OpKind Source # 
GetRange SortsKind Source # 
GetRange Symbol Source # 
GetRange RawSymbol Source # 
GetRange Component Source # 
GetRange DL_FORMULA Source # 
GetRange CardType Source # 
GetRange COL_SIG_ITEM Source # 
GetRange C_FORMULA Source # 
GetRange MODALITY Source # 
GetRange COCOMPONENTS Source # 
GetRange COALTERNATIVE Source # 
GetRange CODATATYPE_DECL Source # 
GetRange C_SIG_ITEM Source # 
GetRange C_BASIC_ITEM Source # 
GetRange ConstraintFORMULA Source # 
GetRange PROCESS Source # 
GetRange CommType Source # 
GetRange TypedChanName Source # 
GetRange FQ_PROCESS_NAME Source # 
GetRange ProcProfile Source # 
GetRange PROC_ALPHABET Source # 
GetRange RENAMING Source # 
GetRange Rename Source # 
GetRange RenameKind Source # 
GetRange EVENT_SET Source # 
GetRange EVENT Source # 
GetRange PARM_PROCNAME Source # 
GetRange PROC_ITEM Source # 
GetRange CHANNEL_DECL Source # 
GetRange CspBasicExt Source # 
GetRange CspSen Source # 
GetRange CspRawSymbol Source # 
GetRange CspSymbol Source # 
GetRange EM_FORMULA Source # 
GetRange FormPrefix Source # 
GetRange BoxOp Source # 
GetRange EM_SIG_ITEM Source # 
GetRange MODALITY Source # 
GetRange ModOp Source # 
GetRange EM_BASIC_ITEM Source # 
GetRange ModDefn Source # 
GetRange FrameForm Source # 
GetRange TermExt Source # 
GetRange FunDef Source # 
GetRange FplOpItem Source # 
GetRange FplSortItem Source # 
GetRange FplExt Source # 
GetRange H_FORMULA Source # 
GetRange NOMINAL Source # 
GetRange MODALITY Source # 
GetRange H_SIG_ITEM Source # 
GetRange RIGOR Source # 
GetRange H_BASIC_ITEM Source # 
GetRange M_FORMULA Source # 
GetRange MODALITY Source # 
GetRange M_SIG_ITEM Source # 
GetRange RIGOR Source # 
GetRange M_BASIC_ITEM Source # 
GetRange VSEforms Source # 
GetRange Procdecls Source # 
GetRange Context Source # 
GetRange KeyDef Source # 
GetRange KeyAtt Source # 
GetRange RangedProp Source # 
GetRange Rule Source # 
GetRange Relation Source # 
GetRange RelType Source # 
GetRange Concept Source # 
GetRange Sen Source # 
GetRange RawSymbol Source # 
GetRange Symbol Source # 
GetRange Sign Source # 
GetRange AnyLogic Source # 
GetRange Text Source # 
GetRange Mor Source # 
GetRange Spc_Wrap Source # 
GetRange Frm_Wrap Source # 
GetRange TH_BASIC_ITEM Source # 
GetRange G_symb_map_items_list Source # 
GetRange G_symb_items_list Source # 
GetRange G_symbol Source # 
GetRange G_basic_spec Source # 
GetRange RELATION_REF Source # 
GetRange CORRESPONDENCE Source # 
GetRange LABELED_ONTO_OR_INTPR_REF Source # 
GetRange Logic_name Source # 
GetRange Logic_code Source # 
GetRange LogicDescr Source # 
GetRange FIT_ARG Source # 
GetRange G_hiding Source # 
GetRange G_mapping Source # 
GetRange RESTRICTION Source # 
GetRange RENAMING Source # 
GetRange MINIMIZATION Source # 
GetRange APPROXIMATION Source # 
GetRange EXTRACTION Source # 
GetRange FILTERING Source # 
GetRange Network Source # 
GetRange SPEC Source # 
GetRange FIT_ARG_UNIT Source # 
GetRange UNIT_TERM Source # 
GetRange UNIT_BINDING Source # 
GetRange UNIT_EXPRESSION Source # 
GetRange UNIT_REF Source # 
GetRange REF_SPEC Source # 
GetRange UNIT_SPEC Source # 
GetRange UNIT_DECL_DEFN Source # 
GetRange ARCH_SPEC Source # 
GetRange Number Source # 
GetRange Name Source # 
GetRange Formula_data Source # 
GetRange General_function Source # 
GetRange General_data Source # 
GetRange General_term Source # 
GetRange Include Source # 
GetRange Principal_symbol Source # 
GetRange New_symbol_record Source # 
GetRange Inference_info Source # 
GetRange Status_value Source # 
GetRange Inference_status Source # 
GetRange Inference_item Source # 
GetRange Formula_item Source # 
GetRange Info_item Source # 
GetRange Useful_info Source # 
GetRange Creator_source Source # 
GetRange Theory_name Source # 
GetRange Theory Source # 
GetRange File_source Source # 
GetRange External_source Source # 
GetRange Intro_type Source # 
GetRange Internal_source Source # 
GetRange Parent_info Source # 
GetRange Inference_record Source # 
GetRange DAG_source Source # 
GetRange Source Source # 
GetRange Defined_term Source # 
GetRange Defined_functor Source # 
GetRange Defined_infix_pred Source # 
GetRange Defined_predicate Source # 
GetRange Defined_proposition Source # 
GetRange Untyped_atom Source # 
GetRange Atom Source # 
GetRange Defined_type Source # 
GetRange Unary_connective Source # 
GetRange Assoc_connective Source # 
GetRange Binary_connective Source # 
GetRange FOF_quantifier Source # 
GetRange TH1_unary_connective Source # 
GetRange THF_unary_connective Source # 
GetRange THF_pair_connective Source # 
GetRange TH0_quantifier Source # 
GetRange TH1_quantifier Source # 
GetRange THF_quantifier Source # 
GetRange Literal Source # 
GetRange Disjunction Source # 
GetRange CNF_formula Source # 
GetRange FOF_formula_tuple Source # 
GetRange FOF_sequent Source # 
GetRange TFF_let_term Source # 
GetRange TFF_conditional_term Source # 
GetRange FOF_function_term Source # 
GetRange FOF_term Source # 
GetRange FOF_system_term Source # 
GetRange FOF_defined_plain_term Source # 
GetRange FOF_defined_atomic_term Source # 
GetRange FOF_defined_term Source # 
GetRange FOF_plain_term Source # 
GetRange FOF_system_atomic_formula Source # 
GetRange FOF_defined_infix_formula Source # 
GetRange FOF_defined_plain_formula Source # 
GetRange FOF_defined_atomic_formula Source # 
GetRange FOF_plain_atomic_formula Source # 
GetRange FOF_atomic_formula Source # 
GetRange FOF_infix_unary Source # 
GetRange FOF_unary_formula Source # 
GetRange FOF_quantified_formula Source # 
GetRange FOF_unitary_formula Source # 
GetRange FOF_binary_assoc Source # 
GetRange FOF_binary_nonassoc Source # 
GetRange FOF_binary_formula Source # 
GetRange FOF_logic_formula Source # 
GetRange FOF_formula Source # 
GetRange TCF_quantified_formula Source # 
GetRange TCF_logic_formula Source # 
GetRange TCF_formula Source # 
GetRange TFF_xprod_type Source # 
GetRange TFF_mapping_type Source # 
GetRange TFF_atomic_type Source # 
GetRange TFF_unitary_type Source # 
GetRange TFF_monotype Source # 
GetRange TF1_quantified_type Source # 
GetRange TFF_top_level_type Source # 
GetRange TFF_subtype Source # 
GetRange TFF_typed_atom Source # 
GetRange TFF_formula_tuple Source # 
GetRange TFF_sequent Source # 
GetRange TFF_let_formula_binding Source # 
GetRange TFF_let_formula_defn Source # 
GetRange TFF_let_formula_defns Source # 
GetRange TFF_let_term_binding Source # 
GetRange TFF_let_term_defn Source # 
GetRange TFF_let_term_defns Source # 
GetRange TFF_let Source # 
GetRange TFF_conditional Source # 
GetRange TFF_unary_formula Source # 
GetRange TFF_typed_variable Source # 
GetRange TFF_variable Source # 
GetRange TFF_quantified_formula Source # 
GetRange TFF_unitary_formula Source # 
GetRange TFF_binary_assoc Source # 
GetRange TFF_binary_nonassoc Source # 
GetRange TFF_binary_formula Source # 
GetRange TFF_logic_formula Source # 
GetRange TFF_formula Source # 
GetRange TFX_logic_formula Source # 
GetRange TFX_formula Source # 
GetRange THF_tuple Source # 
GetRange THF_sequent Source # 
GetRange THF_binary_type Source # 
GetRange THF_unitary_type Source # 
GetRange THF_top_level_type Source # 
GetRange THF_subtype Source # 
GetRange THF_typeable_formula Source # 
GetRange THF_type_formula Source # 
GetRange THF_let_defn_LHS Source # 
GetRange THF_let_plain_defn Source # 
GetRange THF_let_quantified_defn Source # 
GetRange THF_let_defn Source # 
GetRange THF_let_defns Source # 
GetRange THF_let Source # 
GetRange THF_conditional Source # 
GetRange THF_conn_term Source # 
GetRange THF_function Source # 
GetRange THF_atom Source # 
GetRange THF_unary_formula Source # 
GetRange THF_typed_variable Source # 
GetRange THF_variable Source # 
GetRange THF_quantification Source # 
GetRange THF_quantified_formula Source # 
GetRange THF_unitary_formula Source # 
GetRange THF_binary_tuple Source # 
GetRange THF_binary_pair Source # 
GetRange THF_binary_formula Source # 
GetRange THF_logic_formula Source # 
GetRange THF_formula Source # 
GetRange Formula_role Source # 
GetRange Annotations Source # 
GetRange CNF_annotated Source # 
GetRange FOF_annotated Source # 
GetRange TCF_annotated Source # 
GetRange TFF_annotated Source # 
GetRange TFX_annotated Source # 
GetRange THF_annotated Source # 
GetRange TPI_annotated Source # 
GetRange Annotated_formula Source # 
GetRange SystemComment Source # 
GetRange DefinedComment Source # 
GetRange Comment Source # 
GetRange TPTP_input Source # 
GetRange TPTP Source # 
GetRange BASIC_SPEC Source # 
GetRange SymbolType Source # 
GetRange Symbol Source # 
GetRange ItemNameMap Source # 
GetRange ENTAIL_TYPE Source # 
GetRange OmsOrNetwork Source # 
GetRange ALIGN_ARITY Source # 
GetRange ALIGN_ARITIES Source # 
GetRange MODULE_TYPE Source # 
GetRange EQUIV_TYPE Source # 
GetRange VIEW_TYPE Source # 
GetRange IMPORTED Source # 
GetRange PARAMS Source # 
GetRange GENERICITY Source # 
GetRange DownloadItems Source # 
GetRange AlignSem Source # 
GetRange LIB_ITEM Source # 
GetRange LIB_DEFN Source # 
GetRange Text Source # 
GetRange a => GetRange [a] Source # 

Methods

getRange :: [a] -> Range Source #

rangeSpan :: [a] -> [Pos] Source #

GetRange a => GetRange (Maybe a) Source # 

Methods

getRange :: Maybe a -> Range Source #

rangeSpan :: Maybe a -> [Pos] Source #

GetRange (Ratio a) Source # 

Methods

getRange :: Ratio a -> Range Source #

rangeSpan :: Ratio a -> [Pos] Source #

GetRange a => GetRange (Set a) Source # 

Methods

getRange :: Set a -> Range Source #

rangeSpan :: Set a -> [Pos] Source #

GetRange a => GetRange (Annoted a) Source # 
GetRange f => GetRange (TERM f) Source # 

Methods

getRange :: TERM f -> Range Source #

rangeSpan :: TERM f -> [Pos] Source #

GetRange f => GetRange (FORMULA f) Source # 
GetRange f => GetRange (PRED_ITEM f) Source # 
GetRange f => GetRange (OP_ATTR f) Source # 
GetRange f => GetRange (OP_ITEM f) Source # 
GetRange f => GetRange (SORT_ITEM f) Source # 
GetRange (Ranged a) Source # 
GetRange f => GetRange (TH_FORMULA f) Source # 
GetRange s => GetRange (TH_BSPEC s) Source # 
GetRange s => GetRange (S2 s) Source # 

Methods

getRange :: S2 s -> Range Source #

rangeSpan :: S2 s -> [Pos] Source #

(GetRange a, GetRange b) => GetRange (a, b) Source # 

Methods

getRange :: (a, b) -> Range Source #

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

(GetRange s, GetRange a) => GetRange (SenAttr s a) Source # 

Methods

getRange :: SenAttr s a -> Range Source #

rangeSpan :: SenAttr s a -> [Pos] Source #

(GetRange s, GetRange f) => GetRange (SIG_ITEMS s f) Source # 
(GetRange b, GetRange s, GetRange f) => GetRange (BASIC_ITEMS b s f) Source # 

Methods

getRange :: BASIC_ITEMS b s f -> Range Source #

rangeSpan :: BASIC_ITEMS b s f -> [Pos] Source #

(GetRange b, GetRange s, GetRange f) => GetRange (BASIC_SPEC b s f) Source # 

Methods

getRange :: BASIC_SPEC b s f -> Range Source #

rangeSpan :: BASIC_SPEC b s f -> [Pos] Source #

getPosList :: GetRange a => a -> [Pos] Source #