Copyright	(c) Felix Gabriel Mance Francisc-Nicolae Bungiu
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	None

RDF.AS

Contents

RDF Turtle Document
Datatypes for Hets manipulation

Description

RDF abstract syntax

References: http://www.w3.org/TeamSubmission/turtle/ http://www.informatik.uni-bremen.de/~till/papers/ontotrans.pdf http://www.w3.org/TR/rdf-concepts/#section-Graph-syntax

Synopsis

type RDFPrefixMap = Map String IRI
data TurtleDocument = TurtleDocument {
- documentName :: IRI
- prefixMap :: RDFPrefixMap
- statements :: [Statement]
}
emptyTurtleDocument :: TurtleDocument
data Statement
- = Statement Triples
- | PrefixStatement Prefix
- | BaseStatement Base
data Prefix = PrefixR String IRI
data Base = Base IRI
data Triples = Triples Subject [PredicateObjectList]
data Subject
- = Subject IRI
- | SubjectList [PredicateObjectList]
- | SubjectCollection [Object]
data Predicate = Predicate IRI
data Object
- = Object Subject
- | ObjectLiteral RDFLiteral
data PredicateObjectList = PredicateObjectList Predicate [Object]
data RDFLiteral
- = RDFLiteral Bool LexicalForm TypedOrUntyped
- | RDFNumberLit FloatLit
data Term
- = SubjectTerm IRI
- | PredicateTerm IRI
- | ObjectTerm (Either IRI RDFLiteral)
data Axiom = Axiom Term Term Term
data RDFEntityType
- = SubjectEntity
- | PredicateEntity
- | ObjectEntity
data RDFEntity = RDFEntity RDFEntityType Term
rdfEntityTypes :: [RDFEntityType]
extractTripleStatements :: [Statement] -> [Triples]
triplesOfDocument :: TurtleDocument -> [Triples]
rdfFirst :: IRI
rdfRest :: IRI
rdfNil :: IRI
isAbsoluteIRI :: IRI -> Bool

RDF Turtle Document

type RDFPrefixMap = Map String IRI Source #

data TurtleDocument Source #

Constructors

TurtleDocument
Fields documentName :: IRI prefixMap :: RDFPrefixMap statements :: [Statement]

Instances

Instances details

Eq TurtleDocument Source #
Instance details Defined in RDF.AS Methods (==) :: TurtleDocument -> TurtleDocument -> Bool (/=) :: TurtleDocument -> TurtleDocument -> Bool
Data TurtleDocument Source #
Instance details Defined in RDF.AS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TurtleDocument -> c TurtleDocument gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TurtleDocument toConstr :: TurtleDocument -> Constr dataTypeOf :: TurtleDocument -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TurtleDocument) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TurtleDocument) gmapT :: (forall b. Data b => b -> b) -> TurtleDocument -> TurtleDocument gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TurtleDocument -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TurtleDocument -> r gmapQ :: (forall d. Data d => d -> u) -> TurtleDocument -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> TurtleDocument -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> TurtleDocument -> m TurtleDocument gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TurtleDocument -> m TurtleDocument gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TurtleDocument -> m TurtleDocument
Ord TurtleDocument Source #
Instance details Defined in RDF.AS Methods compare :: TurtleDocument -> TurtleDocument -> Ordering (<) :: TurtleDocument -> TurtleDocument -> Bool (<=) :: TurtleDocument -> TurtleDocument -> Bool (>) :: TurtleDocument -> TurtleDocument -> Bool (>=) :: TurtleDocument -> TurtleDocument -> Bool max :: TurtleDocument -> TurtleDocument -> TurtleDocument min :: TurtleDocument -> TurtleDocument -> TurtleDocument
Show TurtleDocument Source #
Instance details Defined in RDF.AS Methods showsPrec :: Int -> TurtleDocument -> ShowS show :: TurtleDocument -> String showList :: [TurtleDocument] -> ShowS
Generic TurtleDocument
Instance details Defined in RDF.ATC_RDF Associated Types type Rep TurtleDocument :: Type -> Type Methods from :: TurtleDocument -> Rep TurtleDocument x to :: Rep TurtleDocument x -> TurtleDocument
Semigroup TurtleDocument
Instance details Defined in RDF.Logic_RDF Methods (<>) :: TurtleDocument -> TurtleDocument -> TurtleDocument # sconcat :: NonEmpty TurtleDocument -> TurtleDocument stimes :: Integral b => b -> TurtleDocument -> TurtleDocument
Monoid TurtleDocument
Instance details Defined in RDF.Logic_RDF Methods mempty :: TurtleDocument mappend :: TurtleDocument -> TurtleDocument -> TurtleDocument mconcat :: [TurtleDocument] -> TurtleDocument
GetRange TurtleDocument Source #
Instance details Defined in RDF.AS Methods getRange :: TurtleDocument -> Range Source # rangeSpan :: TurtleDocument -> [Pos] Source #
FromJSON TurtleDocument
Instance details Defined in RDF.ATC_RDF Methods parseJSON :: Value -> Parser TurtleDocument parseJSONList :: Value -> Parser [TurtleDocument]
ToJSON TurtleDocument
Instance details Defined in RDF.ATC_RDF Methods toJSON :: TurtleDocument -> Value toEncoding :: TurtleDocument -> Encoding toJSONList :: [TurtleDocument] -> Value toEncodingList :: [TurtleDocument] -> Encoding
ShATermConvertible TurtleDocument
Instance details Defined in RDF.ATC_RDF Methods toShATermAux :: ATermTable -> TurtleDocument -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TurtleDocument] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TurtleDocument) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TurtleDocument])
Pretty TurtleDocument Source #
Instance details Defined in RDF.Print Methods pretty :: TurtleDocument -> Doc Source # pretties :: [TurtleDocument] -> Doc Source #
Syntax RDF TurtleDocument RDFEntity SymbItems SymbMapItems Source #
Instance details Defined in RDF.Logic_RDF Methods parsersAndPrinters :: RDF -> Map String (PrefixMap -> AParser st TurtleDocument, TurtleDocument -> Doc) Source # parse_basic_spec :: RDF -> Maybe (PrefixMap -> AParser st TurtleDocument) Source # parseSingleSymbItem :: RDF -> Maybe (PrefixMap -> AParser st SymbItems) Source # parse_symb_items :: RDF -> Maybe (PrefixMap -> AParser st SymbItems) Source # parse_symb_map_items :: RDF -> Maybe (PrefixMap -> AParser st SymbMapItems) Source # toItem :: RDF -> TurtleDocument -> Item Source # symb_items_name :: RDF -> SymbItems -> [String] Source #
StaticAnalysis RDF TurtleDocument Axiom SymbItems SymbMapItems Sign RDFMorphism RDFEntity RawSymb Source #
Instance details Defined in RDF.Logic_RDF Methods basic_analysis :: RDF -> Maybe ((TurtleDocument, Sign, GlobalAnnos) -> Result (TurtleDocument, ExtSign Sign RDFEntity, [Named Axiom])) Source # sen_analysis :: RDF -> Maybe ((TurtleDocument, Sign, Axiom) -> Result Axiom) Source # extBasicAnalysis :: RDF -> IRI -> LibName -> TurtleDocument -> Sign -> GlobalAnnos -> Result (TurtleDocument, ExtSign Sign RDFEntity, [Named Axiom]) Source # stat_symb_map_items :: RDF -> Sign -> Maybe Sign -> [SymbMapItems] -> Result (EndoMap RawSymb) Source # stat_symb_items :: RDF -> Sign -> [SymbItems] -> Result [RawSymb] Source # convertTheory :: RDF -> Maybe ((Sign, [Named Axiom]) -> TurtleDocument) Source # ensures_amalgamability :: RDF -> ([CASLAmalgOpt], Gr Sign (Int, RDFMorphism), [(Int, RDFMorphism)], Gr String String) -> Result Amalgamates Source # quotient_term_algebra :: RDF -> RDFMorphism -> [Named Axiom] -> Result (Sign, [Named Axiom]) Source # signature_colimit :: RDF -> Gr Sign (Int, RDFMorphism) -> Result (Sign, Map Int RDFMorphism) Source # qualify :: RDF -> SIMPLE_ID -> LibName -> RDFMorphism -> Sign -> Result (RDFMorphism, [Named Axiom]) Source # symbol_to_raw :: RDF -> RDFEntity -> RawSymb Source # id_to_raw :: RDF -> Id -> RawSymb Source # matches :: RDF -> RDFEntity -> RawSymb -> Bool Source # empty_signature :: RDF -> Sign Source # add_symb_to_sign :: RDF -> Sign -> RDFEntity -> Result Sign Source # signature_union :: RDF -> Sign -> Sign -> Result Sign Source # signatureDiff :: RDF -> Sign -> Sign -> Result Sign Source # intersection :: RDF -> Sign -> Sign -> Result Sign Source # final_union :: RDF -> Sign -> Sign -> Result Sign Source # morphism_union :: RDF -> RDFMorphism -> RDFMorphism -> Result RDFMorphism Source # is_subsig :: RDF -> Sign -> Sign -> Bool Source # subsig_inclusion :: RDF -> Sign -> Sign -> Result RDFMorphism Source # generated_sign :: RDF -> Set RDFEntity -> Sign -> Result RDFMorphism Source # cogenerated_sign :: RDF -> Set RDFEntity -> Sign -> Result RDFMorphism Source # induced_from_morphism :: RDF -> EndoMap RawSymb -> Sign -> Result RDFMorphism Source # induced_from_to_morphism :: RDF -> EndoMap RawSymb -> ExtSign Sign RDFEntity -> ExtSign Sign RDFEntity -> Result RDFMorphism Source # is_transportable :: RDF -> RDFMorphism -> Bool Source # is_injective :: RDF -> RDFMorphism -> Bool Source # theory_to_taxonomy :: RDF -> TaxoGraphKind -> MMiSSOntology -> Sign -> [Named Axiom] -> Result MMiSSOntology Source # corresp2th :: RDF -> String -> Bool -> Sign -> Sign -> [SymbItems] -> [SymbItems] -> EndoMap RDFEntity -> EndoMap RDFEntity -> REL_REF -> Result (Sign, [Named Axiom], Sign, Sign, EndoMap RDFEntity, EndoMap RDFEntity) Source # equiv2cospan :: RDF -> Sign -> Sign -> [SymbItems] -> [SymbItems] -> Result (Sign, Sign, Sign, EndoMap RDFEntity, EndoMap RDFEntity) Source # extract_module :: RDF -> [IRI] -> (Sign, [Named Axiom]) -> Result (Sign, [Named Axiom]) Source #
Logic RDF RDFSub TurtleDocument Axiom SymbItems SymbMapItems Sign RDFMorphism RDFEntity RawSymb ProofTree Source #
Instance details Defined in RDF.Logic_RDF Methods parse_basic_sen :: RDF -> Maybe (TurtleDocument -> AParser st Axiom) Source # stability :: RDF -> Stability Source # data_logic :: RDF -> Maybe AnyLogic Source # top_sublogic :: RDF -> RDFSub Source # all_sublogics :: RDF -> [RDFSub] Source # bottomSublogic :: RDF -> Maybe RDFSub Source # sublogicDimensions :: RDF -> [[RDFSub]] Source # parseSublogic :: RDF -> String -> Maybe RDFSub Source # proj_sublogic_epsilon :: RDF -> RDFSub -> Sign -> RDFMorphism Source # provers :: RDF -> [Prover Sign Axiom RDFMorphism RDFSub ProofTree] Source # default_prover :: RDF -> String Source # cons_checkers :: RDF -> [ConsChecker Sign Axiom RDFSub RDFMorphism ProofTree] Source # conservativityCheck :: RDF -> [ConservativityChecker Sign Axiom RDFMorphism] Source # empty_proof_tree :: RDF -> ProofTree Source # syntaxTable :: RDF -> Sign -> Maybe SyntaxTable Source # omdoc_metatheory :: RDF -> Maybe OMCD Source # export_symToOmdoc :: RDF -> NameMap RDFEntity -> RDFEntity -> String -> Result TCElement Source # export_senToOmdoc :: RDF -> NameMap RDFEntity -> Axiom -> Result TCorOMElement Source # export_theoryToOmdoc :: RDF -> SigMap RDFEntity -> Sign -> [Named Axiom] -> Result [TCElement] Source # omdocToSym :: RDF -> SigMapI RDFEntity -> TCElement -> String -> Result RDFEntity Source # omdocToSen :: RDF -> SigMapI RDFEntity -> TCElement -> String -> Result (Maybe (Named Axiom)) Source # addOMadtToTheory :: RDF -> SigMapI RDFEntity -> (Sign, [Named Axiom]) -> [[OmdADT]] -> Result (Sign, [Named Axiom]) Source # addOmdocToTheory :: RDF -> SigMapI RDFEntity -> (Sign, [Named Axiom]) -> [TCElement] -> Result (Sign, [Named Axiom]) Source # sublogicOfTheo :: RDF -> (Sign, [Axiom]) -> RDFSub Source #
type Rep TurtleDocument
Instance details Defined in RDF.ATC_RDF type Rep TurtleDocument = D1 ('MetaData "TurtleDocument" "RDF.AS" "main" 'False) (C1 ('MetaCons "TurtleDocument" 'PrefixI 'True) (S1 ('MetaSel ('Just "documentName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IRI) :: (S1 ('MetaSel ('Just "prefixMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RDFPrefixMap) :: S1 ('MetaSel ('Just "statements") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Statement]))))

emptyTurtleDocument :: TurtleDocument Source #

data Statement Source #

Constructors

Statement Triples
PrefixStatement Prefix
BaseStatement Base

Instances

Instances details

Eq Statement Source #
Instance details Defined in RDF.AS Methods (==) :: Statement -> Statement -> Bool (/=) :: Statement -> Statement -> Bool
Data Statement Source #
Instance details Defined in RDF.AS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Statement -> c Statement gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Statement toConstr :: Statement -> Constr dataTypeOf :: Statement -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Statement) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Statement) gmapT :: (forall b. Data b => b -> b) -> Statement -> Statement gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Statement -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Statement -> r gmapQ :: (forall d. Data d => d -> u) -> Statement -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Statement -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Statement -> m Statement gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement -> m Statement gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement -> m Statement
Ord Statement Source #
Instance details Defined in RDF.AS Methods compare :: Statement -> Statement -> Ordering (<) :: Statement -> Statement -> Bool (<=) :: Statement -> Statement -> Bool (>) :: Statement -> Statement -> Bool (>=) :: Statement -> Statement -> Bool max :: Statement -> Statement -> Statement min :: Statement -> Statement -> Statement
Show Statement Source #
Instance details Defined in RDF.AS Methods showsPrec :: Int -> Statement -> ShowS show :: Statement -> String showList :: [Statement] -> ShowS
Generic Statement
Instance details Defined in RDF.ATC_RDF Associated Types type Rep Statement :: Type -> Type Methods from :: Statement -> Rep Statement x to :: Rep Statement x -> Statement
FromJSON Statement
Instance details Defined in RDF.ATC_RDF Methods parseJSON :: Value -> Parser Statement parseJSONList :: Value -> Parser [Statement]
ToJSON Statement
Instance details Defined in RDF.ATC_RDF Methods toJSON :: Statement -> Value toEncoding :: Statement -> Encoding toJSONList :: [Statement] -> Value toEncodingList :: [Statement] -> Encoding
ShATermConvertible Statement
Instance details Defined in RDF.ATC_RDF Methods toShATermAux :: ATermTable -> Statement -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Statement] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Statement) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Statement])
Pretty Statement Source #
Instance details Defined in RDF.Print Methods pretty :: Statement -> Doc Source # pretties :: [Statement] -> Doc Source #
type Rep Statement
Instance details Defined in RDF.ATC_RDF type Rep Statement = D1 ('MetaData "Statement" "RDF.AS" "main" 'False) (C1 ('MetaCons "Statement" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Triples)) :+: (C1 ('MetaCons "PrefixStatement" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Prefix)) :+: C1 ('MetaCons "BaseStatement" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Base))))

data Prefix Source #

Constructors

PrefixR String IRI

Instances

Instances details

Eq Prefix Source #
Instance details Defined in RDF.AS Methods (==) :: Prefix -> Prefix -> Bool (/=) :: Prefix -> Prefix -> Bool
Data Prefix Source #
Instance details Defined in RDF.AS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Prefix -> c Prefix gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Prefix toConstr :: Prefix -> Constr dataTypeOf :: Prefix -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Prefix) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Prefix) gmapT :: (forall b. Data b => b -> b) -> Prefix -> Prefix gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Prefix -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Prefix -> r gmapQ :: (forall d. Data d => d -> u) -> Prefix -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Prefix -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Prefix -> m Prefix gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Prefix -> m Prefix gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Prefix -> m Prefix
Ord Prefix Source #
Instance details Defined in RDF.AS Methods compare :: Prefix -> Prefix -> Ordering (<) :: Prefix -> Prefix -> Bool (<=) :: Prefix -> Prefix -> Bool (>) :: Prefix -> Prefix -> Bool (>=) :: Prefix -> Prefix -> Bool max :: Prefix -> Prefix -> Prefix min :: Prefix -> Prefix -> Prefix
Show Prefix Source #
Instance details Defined in RDF.AS Methods showsPrec :: Int -> Prefix -> ShowS show :: Prefix -> String showList :: [Prefix] -> ShowS
Generic Prefix
Instance details Defined in RDF.ATC_RDF Associated Types type Rep Prefix :: Type -> Type Methods from :: Prefix -> Rep Prefix x to :: Rep Prefix x -> Prefix
FromJSON Prefix
Instance details Defined in RDF.ATC_RDF Methods parseJSON :: Value -> Parser Prefix parseJSONList :: Value -> Parser [Prefix]
ToJSON Prefix
Instance details Defined in RDF.ATC_RDF Methods toJSON :: Prefix -> Value toEncoding :: Prefix -> Encoding toJSONList :: [Prefix] -> Value toEncodingList :: [Prefix] -> Encoding
ShATermConvertible Prefix
Instance details Defined in RDF.ATC_RDF Methods toShATermAux :: ATermTable -> Prefix -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Prefix] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Prefix) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Prefix])
type Rep Prefix
Instance details Defined in RDF.ATC_RDF type Rep Prefix = D1 ('MetaData "Prefix" "RDF.AS" "main" 'False) (C1 ('MetaCons "PrefixR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IRI)))

data Base Source #

Constructors

Base IRI

Instances

Instances details

Eq Base Source #
Instance details Defined in RDF.AS Methods (==) :: Base -> Base -> Bool (/=) :: Base -> Base -> Bool
Data Base Source #
Instance details Defined in RDF.AS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Base -> c Base gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Base toConstr :: Base -> Constr dataTypeOf :: Base -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Base) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Base) gmapT :: (forall b. Data b => b -> b) -> Base -> Base gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Base -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Base -> r gmapQ :: (forall d. Data d => d -> u) -> Base -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Base -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Base -> m Base gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Base -> m Base gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Base -> m Base
Ord Base Source #
Instance details Defined in RDF.AS Methods compare :: Base -> Base -> Ordering (<) :: Base -> Base -> Bool (<=) :: Base -> Base -> Bool (>) :: Base -> Base -> Bool (>=) :: Base -> Base -> Bool max :: Base -> Base -> Base min :: Base -> Base -> Base
Show Base Source #
Instance details Defined in RDF.AS Methods showsPrec :: Int -> Base -> ShowS show :: Base -> String showList :: [Base] -> ShowS
Generic Base
Instance details Defined in RDF.ATC_RDF Associated Types type Rep Base :: Type -> Type Methods from :: Base -> Rep Base x to :: Rep Base x -> Base
FromJSON Base
Instance details Defined in RDF.ATC_RDF Methods parseJSON :: Value -> Parser Base parseJSONList :: Value -> Parser [Base]
ToJSON Base
Instance details Defined in RDF.ATC_RDF Methods toJSON :: Base -> Value toEncoding :: Base -> Encoding toJSONList :: [Base] -> Value toEncodingList :: [Base] -> Encoding
ShATermConvertible Base
Instance details Defined in RDF.ATC_RDF Methods toShATermAux :: ATermTable -> Base -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Base] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Base) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Base])
type Rep Base
Instance details Defined in RDF.ATC_RDF type Rep Base = D1 ('MetaData "Base" "RDF.AS" "main" 'False) (C1 ('MetaCons "Base" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IRI)))

data Triples Source #

Constructors

Triples Subject [PredicateObjectList]

Instances

Instances details

Eq Triples Source #
Instance details Defined in RDF.AS Methods (==) :: Triples -> Triples -> Bool (/=) :: Triples -> Triples -> Bool
Data Triples Source #
Instance details Defined in RDF.AS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Triples -> c Triples gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Triples toConstr :: Triples -> Constr dataTypeOf :: Triples -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Triples) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Triples) gmapT :: (forall b. Data b => b -> b) -> Triples -> Triples gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Triples -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Triples -> r gmapQ :: (forall d. Data d => d -> u) -> Triples -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Triples -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Triples -> m Triples gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Triples -> m Triples gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Triples -> m Triples
Ord Triples Source #
Instance details Defined in RDF.AS Methods compare :: Triples -> Triples -> Ordering (<) :: Triples -> Triples -> Bool (<=) :: Triples -> Triples -> Bool (>) :: Triples -> Triples -> Bool (>=) :: Triples -> Triples -> Bool max :: Triples -> Triples -> Triples min :: Triples -> Triples -> Triples
Show Triples Source #
Instance details Defined in RDF.AS Methods showsPrec :: Int -> Triples -> ShowS show :: Triples -> String showList :: [Triples] -> ShowS
Generic Triples
Instance details Defined in RDF.ATC_RDF Associated Types type Rep Triples :: Type -> Type Methods from :: Triples -> Rep Triples x to :: Rep Triples x -> Triples
FromJSON Triples
Instance details Defined in RDF.ATC_RDF Methods parseJSON :: Value -> Parser Triples parseJSONList :: Value -> Parser [Triples]
ToJSON Triples
Instance details Defined in RDF.ATC_RDF Methods toJSON :: Triples -> Value toEncoding :: Triples -> Encoding toJSONList :: [Triples] -> Value toEncodingList :: [Triples] -> Encoding
ShATermConvertible Triples
Instance details Defined in RDF.ATC_RDF Methods toShATermAux :: ATermTable -> Triples -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Triples] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Triples) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Triples])
Pretty Triples Source #
Instance details Defined in RDF.Print Methods pretty :: Triples -> Doc Source # pretties :: [Triples] -> Doc Source #
type Rep Triples
Instance details Defined in RDF.ATC_RDF type Rep Triples = D1 ('MetaData "Triples" "RDF.AS" "main" 'False) (C1 ('MetaCons "Triples" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Subject) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PredicateObjectList])))

data Subject Source #

Constructors

Subject IRI
SubjectList [PredicateObjectList]
SubjectCollection [Object]

Instances

Instances details

Eq Subject Source #
Instance details Defined in RDF.AS Methods (==) :: Subject -> Subject -> Bool (/=) :: Subject -> Subject -> Bool
Data Subject Source #
Instance details Defined in RDF.AS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Subject -> c Subject gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Subject toConstr :: Subject -> Constr dataTypeOf :: Subject -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Subject) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Subject) gmapT :: (forall b. Data b => b -> b) -> Subject -> Subject gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Subject -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Subject -> r gmapQ :: (forall d. Data d => d -> u) -> Subject -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Subject -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Subject -> m Subject gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Subject -> m Subject gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Subject -> m Subject
Ord Subject Source #
Instance details Defined in RDF.AS Methods compare :: Subject -> Subject -> Ordering (<) :: Subject -> Subject -> Bool (<=) :: Subject -> Subject -> Bool (>) :: Subject -> Subject -> Bool (>=) :: Subject -> Subject -> Bool max :: Subject -> Subject -> Subject min :: Subject -> Subject -> Subject
Show Subject Source #
Instance details Defined in RDF.AS Methods showsPrec :: Int -> Subject -> ShowS show :: Subject -> String showList :: [Subject] -> ShowS
Generic Subject
Instance details Defined in RDF.ATC_RDF Associated Types type Rep Subject :: Type -> Type Methods from :: Subject -> Rep Subject x to :: Rep Subject x -> Subject
FromJSON Subject
Instance details Defined in RDF.ATC_RDF Methods parseJSON :: Value -> Parser Subject parseJSONList :: Value -> Parser [Subject]
ToJSON Subject
Instance details Defined in RDF.ATC_RDF Methods toJSON :: Subject -> Value toEncoding :: Subject -> Encoding toJSONList :: [Subject] -> Value toEncodingList :: [Subject] -> Encoding
ShATermConvertible Subject
Instance details Defined in RDF.ATC_RDF Methods toShATermAux :: ATermTable -> Subject -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Subject] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Subject) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Subject])
Pretty Subject Source #
Instance details Defined in RDF.Print Methods pretty :: Subject -> Doc Source # pretties :: [Subject] -> Doc Source #
type Rep Subject
Instance details Defined in RDF.ATC_RDF type Rep Subject = D1 ('MetaData "Subject" "RDF.AS" "main" 'False) (C1 ('MetaCons "Subject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IRI)) :+: (C1 ('MetaCons "SubjectList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PredicateObjectList])) :+: C1 ('MetaCons "SubjectCollection" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Object]))))

data Predicate Source #

Constructors

Predicate IRI

Instances

Instances details

Eq Predicate Source #
Instance details Defined in RDF.AS Methods (==) :: Predicate -> Predicate -> Bool (/=) :: Predicate -> Predicate -> Bool
Data Predicate Source #
Instance details Defined in RDF.AS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Predicate -> c Predicate gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Predicate toConstr :: Predicate -> Constr dataTypeOf :: Predicate -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Predicate) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Predicate) gmapT :: (forall b. Data b => b -> b) -> Predicate -> Predicate gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Predicate -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Predicate -> r gmapQ :: (forall d. Data d => d -> u) -> Predicate -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Predicate -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Predicate -> m Predicate gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Predicate -> m Predicate gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Predicate -> m Predicate
Ord Predicate Source #
Instance details Defined in RDF.AS Methods compare :: Predicate -> Predicate -> Ordering (<) :: Predicate -> Predicate -> Bool (<=) :: Predicate -> Predicate -> Bool (>) :: Predicate -> Predicate -> Bool (>=) :: Predicate -> Predicate -> Bool max :: Predicate -> Predicate -> Predicate min :: Predicate -> Predicate -> Predicate
Show Predicate Source #
Instance details Defined in RDF.AS Methods showsPrec :: Int -> Predicate -> ShowS show :: Predicate -> String showList :: [Predicate] -> ShowS
Generic Predicate
Instance details Defined in RDF.ATC_RDF Associated Types type Rep Predicate :: Type -> Type Methods from :: Predicate -> Rep Predicate x to :: Rep Predicate x -> Predicate
FromJSON Predicate
Instance details Defined in RDF.ATC_RDF Methods parseJSON :: Value -> Parser Predicate parseJSONList :: Value -> Parser [Predicate]
ToJSON Predicate
Instance details Defined in RDF.ATC_RDF Methods toJSON :: Predicate -> Value toEncoding :: Predicate -> Encoding toJSONList :: [Predicate] -> Value toEncodingList :: [Predicate] -> Encoding
ShATermConvertible Predicate
Instance details Defined in RDF.ATC_RDF Methods toShATermAux :: ATermTable -> Predicate -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Predicate] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Predicate) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Predicate])
Pretty Predicate Source #
Instance details Defined in RDF.Print Methods pretty :: Predicate -> Doc Source # pretties :: [Predicate] -> Doc Source #
type Rep Predicate
Instance details Defined in RDF.ATC_RDF type Rep Predicate = D1 ('MetaData "Predicate" "RDF.AS" "main" 'False) (C1 ('MetaCons "Predicate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IRI)))

data Object Source #

Constructors

Object Subject
ObjectLiteral RDFLiteral

Instances

Instances details

Eq Object Source #
Instance details Defined in RDF.AS Methods (==) :: Object -> Object -> Bool (/=) :: Object -> Object -> Bool
Data Object Source #
Instance details Defined in RDF.AS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Object -> c Object gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Object toConstr :: Object -> Constr dataTypeOf :: Object -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Object) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Object) gmapT :: (forall b. Data b => b -> b) -> Object -> Object gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Object -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Object -> r gmapQ :: (forall d. Data d => d -> u) -> Object -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Object -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Object -> m Object gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Object -> m Object gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Object -> m Object
Ord Object Source #
Instance details Defined in RDF.AS Methods compare :: Object -> Object -> Ordering (<) :: Object -> Object -> Bool (<=) :: Object -> Object -> Bool (>) :: Object -> Object -> Bool (>=) :: Object -> Object -> Bool max :: Object -> Object -> Object min :: Object -> Object -> Object
Show Object Source #
Instance details Defined in RDF.AS Methods showsPrec :: Int -> Object -> ShowS show :: Object -> String showList :: [Object] -> ShowS
Generic Object
Instance details Defined in RDF.ATC_RDF Associated Types type Rep Object :: Type -> Type Methods from :: Object -> Rep Object x to :: Rep Object x -> Object
FromJSON Object
Instance details Defined in RDF.ATC_RDF Methods parseJSON :: Value -> Parser Object parseJSONList :: Value -> Parser [Object]
ToJSON Object
Instance details Defined in RDF.ATC_RDF Methods toJSON :: Object -> Value toEncoding :: Object -> Encoding toJSONList :: [Object] -> Value toEncodingList :: [Object] -> Encoding
ShATermConvertible Object
Instance details Defined in RDF.ATC_RDF Methods toShATermAux :: ATermTable -> Object -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Object] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Object) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Object])
Pretty Object Source #
Instance details Defined in RDF.Print Methods pretty :: Object -> Doc Source # pretties :: [Object] -> Doc Source #
type Rep Object
Instance details Defined in RDF.ATC_RDF type Rep Object = D1 ('MetaData "Object" "RDF.AS" "main" 'False) (C1 ('MetaCons "Object" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Subject)) :+: C1 ('MetaCons "ObjectLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RDFLiteral)))

data PredicateObjectList Source #

Constructors

PredicateObjectList Predicate [Object]

Instances

Instances details

Eq PredicateObjectList Source #
Instance details Defined in RDF.AS Methods (==) :: PredicateObjectList -> PredicateObjectList -> Bool (/=) :: PredicateObjectList -> PredicateObjectList -> Bool
Data PredicateObjectList Source #
Instance details Defined in RDF.AS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PredicateObjectList -> c PredicateObjectList gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PredicateObjectList toConstr :: PredicateObjectList -> Constr dataTypeOf :: PredicateObjectList -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PredicateObjectList) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PredicateObjectList) gmapT :: (forall b. Data b => b -> b) -> PredicateObjectList -> PredicateObjectList gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PredicateObjectList -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PredicateObjectList -> r gmapQ :: (forall d. Data d => d -> u) -> PredicateObjectList -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PredicateObjectList -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> PredicateObjectList -> m PredicateObjectList gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PredicateObjectList -> m PredicateObjectList gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PredicateObjectList -> m PredicateObjectList
Ord PredicateObjectList Source #
Instance details Defined in RDF.AS Methods compare :: PredicateObjectList -> PredicateObjectList -> Ordering (<) :: PredicateObjectList -> PredicateObjectList -> Bool (<=) :: PredicateObjectList -> PredicateObjectList -> Bool (>) :: PredicateObjectList -> PredicateObjectList -> Bool (>=) :: PredicateObjectList -> PredicateObjectList -> Bool max :: PredicateObjectList -> PredicateObjectList -> PredicateObjectList min :: PredicateObjectList -> PredicateObjectList -> PredicateObjectList
Show PredicateObjectList Source #
Instance details Defined in RDF.AS Methods showsPrec :: Int -> PredicateObjectList -> ShowS show :: PredicateObjectList -> String showList :: [PredicateObjectList] -> ShowS
Generic PredicateObjectList
Instance details Defined in RDF.ATC_RDF Associated Types type Rep PredicateObjectList :: Type -> Type Methods from :: PredicateObjectList -> Rep PredicateObjectList x to :: Rep PredicateObjectList x -> PredicateObjectList
FromJSON PredicateObjectList
Instance details Defined in RDF.ATC_RDF Methods parseJSON :: Value -> Parser PredicateObjectList parseJSONList :: Value -> Parser [PredicateObjectList]
ToJSON PredicateObjectList
Instance details Defined in RDF.ATC_RDF Methods toJSON :: PredicateObjectList -> Value toEncoding :: PredicateObjectList -> Encoding toJSONList :: [PredicateObjectList] -> Value toEncodingList :: [PredicateObjectList] -> Encoding
ShATermConvertible PredicateObjectList
Instance details Defined in RDF.ATC_RDF Methods toShATermAux :: ATermTable -> PredicateObjectList -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PredicateObjectList] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PredicateObjectList) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PredicateObjectList])
Pretty PredicateObjectList Source #
Instance details Defined in RDF.Print Methods pretty :: PredicateObjectList -> Doc Source # pretties :: [PredicateObjectList] -> Doc Source #
type Rep PredicateObjectList
Instance details Defined in RDF.ATC_RDF type Rep PredicateObjectList = D1 ('MetaData "PredicateObjectList" "RDF.AS" "main" 'False) (C1 ('MetaCons "PredicateObjectList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Predicate) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Object])))

data RDFLiteral Source #

Constructors

RDFLiteral Bool LexicalForm TypedOrUntyped
RDFNumberLit FloatLit

Instances

Instances details

Eq RDFLiteral Source #
Instance details Defined in RDF.AS Methods (==) :: RDFLiteral -> RDFLiteral -> Bool (/=) :: RDFLiteral -> RDFLiteral -> Bool
Data RDFLiteral Source #
Instance details Defined in RDF.AS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RDFLiteral -> c RDFLiteral gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RDFLiteral toConstr :: RDFLiteral -> Constr dataTypeOf :: RDFLiteral -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RDFLiteral) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RDFLiteral) gmapT :: (forall b. Data b => b -> b) -> RDFLiteral -> RDFLiteral gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RDFLiteral -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RDFLiteral -> r gmapQ :: (forall d. Data d => d -> u) -> RDFLiteral -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RDFLiteral -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RDFLiteral -> m RDFLiteral gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RDFLiteral -> m RDFLiteral gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RDFLiteral -> m RDFLiteral
Ord RDFLiteral Source #
Instance details Defined in RDF.AS Methods compare :: RDFLiteral -> RDFLiteral -> Ordering (<) :: RDFLiteral -> RDFLiteral -> Bool (<=) :: RDFLiteral -> RDFLiteral -> Bool (>) :: RDFLiteral -> RDFLiteral -> Bool (>=) :: RDFLiteral -> RDFLiteral -> Bool max :: RDFLiteral -> RDFLiteral -> RDFLiteral min :: RDFLiteral -> RDFLiteral -> RDFLiteral
Show RDFLiteral Source #
Instance details Defined in RDF.AS Methods showsPrec :: Int -> RDFLiteral -> ShowS show :: RDFLiteral -> String showList :: [RDFLiteral] -> ShowS
Generic RDFLiteral
Instance details Defined in RDF.ATC_RDF Associated Types type Rep RDFLiteral :: Type -> Type Methods from :: RDFLiteral -> Rep RDFLiteral x to :: Rep RDFLiteral x -> RDFLiteral
FromJSON RDFLiteral
Instance details Defined in RDF.ATC_RDF Methods parseJSON :: Value -> Parser RDFLiteral parseJSONList :: Value -> Parser [RDFLiteral]
ToJSON RDFLiteral
Instance details Defined in RDF.ATC_RDF Methods toJSON :: RDFLiteral -> Value toEncoding :: RDFLiteral -> Encoding toJSONList :: [RDFLiteral] -> Value toEncodingList :: [RDFLiteral] -> Encoding
ShATermConvertible RDFLiteral
Instance details Defined in RDF.ATC_RDF Methods toShATermAux :: ATermTable -> RDFLiteral -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RDFLiteral] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RDFLiteral) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RDFLiteral])
Pretty RDFLiteral Source #
Instance details Defined in RDF.Print Methods pretty :: RDFLiteral -> Doc Source # pretties :: [RDFLiteral] -> Doc Source #
type Rep RDFLiteral
Instance details Defined in RDF.ATC_RDF type Rep RDFLiteral = D1 ('MetaData "RDFLiteral" "RDF.AS" "main" 'False) (C1 ('MetaCons "RDFLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LexicalForm) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypedOrUntyped))) :+: C1 ('MetaCons "RDFNumberLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FloatLit)))

Datatypes for Hets manipulation

data Term Source #

Constructors

SubjectTerm IRI
PredicateTerm IRI
ObjectTerm (Either IRI RDFLiteral)

Instances

Instances details

Eq Term Source #
Instance details Defined in RDF.AS Methods (==) :: Term -> Term -> Bool (/=) :: Term -> Term -> Bool
Data Term Source #
Instance details Defined in RDF.AS 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 toConstr :: Term -> Constr 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 :: forall r r'. (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 #
Instance details Defined in RDF.AS Methods compare :: Term -> Term -> Ordering (<) :: Term -> Term -> Bool (<=) :: Term -> Term -> Bool (>) :: Term -> Term -> Bool (>=) :: Term -> Term -> Bool max :: Term -> Term -> Term min :: Term -> Term -> Term
Show Term Source #
Instance details Defined in RDF.AS Methods showsPrec :: Int -> Term -> ShowS show :: Term -> String showList :: [Term] -> ShowS
Generic Term
Instance details Defined in RDF.ATC_RDF Associated Types type Rep Term :: Type -> Type Methods from :: Term -> Rep Term x to :: Rep Term x -> Term
FromJSON Term
Instance details Defined in RDF.ATC_RDF Methods parseJSON :: Value -> Parser Term parseJSONList :: Value -> Parser [Term]
ToJSON Term
Instance details Defined in RDF.ATC_RDF Methods toJSON :: Term -> Value toEncoding :: Term -> Encoding toJSONList :: [Term] -> Value toEncodingList :: [Term] -> Encoding
ShATermConvertible Term
Instance details Defined in RDF.ATC_RDF Methods toShATermAux :: ATermTable -> Term -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Term] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Term) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Term])
Pretty Term Source #
Instance details Defined in RDF.Print Methods pretty :: Term -> Doc Source # pretties :: [Term] -> Doc Source #
type Rep Term
Instance details Defined in RDF.ATC_RDF type Rep Term = D1 ('MetaData "Term" "RDF.AS" "main" 'False) (C1 ('MetaCons "SubjectTerm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IRI)) :+: (C1 ('MetaCons "PredicateTerm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IRI)) :+: C1 ('MetaCons "ObjectTerm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either IRI RDFLiteral)))))

data Axiom Source #

Constructors

Axiom Term Term Term

Instances

Instances details

Eq Axiom Source #
Instance details Defined in RDF.AS Methods (==) :: Axiom -> Axiom -> Bool (/=) :: Axiom -> Axiom -> Bool
Data Axiom Source #
Instance details Defined in RDF.AS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Axiom -> c Axiom gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Axiom toConstr :: Axiom -> Constr dataTypeOf :: Axiom -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Axiom) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Axiom) gmapT :: (forall b. Data b => b -> b) -> Axiom -> Axiom gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Axiom -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Axiom -> r gmapQ :: (forall d. Data d => d -> u) -> Axiom -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Axiom -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Axiom -> m Axiom gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Axiom -> m Axiom gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Axiom -> m Axiom
Ord Axiom Source #
Instance details Defined in RDF.AS Methods compare :: Axiom -> Axiom -> Ordering (<) :: Axiom -> Axiom -> Bool (<=) :: Axiom -> Axiom -> Bool (>) :: Axiom -> Axiom -> Bool (>=) :: Axiom -> Axiom -> Bool max :: Axiom -> Axiom -> Axiom min :: Axiom -> Axiom -> Axiom
Show Axiom Source #
Instance details Defined in RDF.AS Methods showsPrec :: Int -> Axiom -> ShowS show :: Axiom -> String showList :: [Axiom] -> ShowS
Generic Axiom
Instance details Defined in RDF.ATC_RDF Associated Types type Rep Axiom :: Type -> Type Methods from :: Axiom -> Rep Axiom x to :: Rep Axiom x -> Axiom
GetRange Axiom Source #
Instance details Defined in RDF.AS Methods getRange :: Axiom -> Range Source # rangeSpan :: Axiom -> [Pos] Source #
FromJSON Axiom
Instance details Defined in RDF.ATC_RDF Methods parseJSON :: Value -> Parser Axiom parseJSONList :: Value -> Parser [Axiom]
ToJSON Axiom
Instance details Defined in RDF.ATC_RDF Methods toJSON :: Axiom -> Value toEncoding :: Axiom -> Encoding toJSONList :: [Axiom] -> Value toEncodingList :: [Axiom] -> Encoding
ShATermConvertible Axiom
Instance details Defined in RDF.ATC_RDF Methods toShATermAux :: ATermTable -> Axiom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Axiom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Axiom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Axiom])
Pretty Axiom Source #
Instance details Defined in RDF.Print Methods pretty :: Axiom -> Doc Source # pretties :: [Axiom] -> Doc Source #
Sentences RDF Axiom Sign RDFMorphism RDFEntity Source #
Instance details Defined in RDF.Logic_RDF Methods map_sen :: RDF -> RDFMorphism -> Axiom -> Result Axiom Source # simplify_sen :: RDF -> Sign -> Axiom -> Axiom Source # negation :: RDF -> Axiom -> Maybe Axiom Source # print_sign :: RDF -> Sign -> Doc Source # print_named :: RDF -> Named Axiom -> Doc Source # sym_of :: RDF -> Sign -> [Set RDFEntity] Source # mostSymsOf :: RDF -> Sign -> [RDFEntity] Source # symmap_of :: RDF -> RDFMorphism -> EndoMap RDFEntity Source # sym_name :: RDF -> RDFEntity -> Id Source # sym_label :: RDF -> RDFEntity -> Maybe String Source # fullSymName :: RDF -> RDFEntity -> String Source # symKind :: RDF -> RDFEntity -> String Source # symsOfSen :: RDF -> Sign -> Axiom -> [RDFEntity] Source # pair_symbols :: RDF -> RDFEntity -> RDFEntity -> Result RDFEntity Source #
StaticAnalysis RDF TurtleDocument Axiom SymbItems SymbMapItems Sign RDFMorphism RDFEntity RawSymb Source #
Instance details Defined in RDF.Logic_RDF Methods basic_analysis :: RDF -> Maybe ((TurtleDocument, Sign, GlobalAnnos) -> Result (TurtleDocument, ExtSign Sign RDFEntity, [Named Axiom])) Source # sen_analysis :: RDF -> Maybe ((TurtleDocument, Sign, Axiom) -> Result Axiom) Source # extBasicAnalysis :: RDF -> IRI -> LibName -> TurtleDocument -> Sign -> GlobalAnnos -> Result (TurtleDocument, ExtSign Sign RDFEntity, [Named Axiom]) Source # stat_symb_map_items :: RDF -> Sign -> Maybe Sign -> [SymbMapItems] -> Result (EndoMap RawSymb) Source # stat_symb_items :: RDF -> Sign -> [SymbItems] -> Result [RawSymb] Source # convertTheory :: RDF -> Maybe ((Sign, [Named Axiom]) -> TurtleDocument) Source # ensures_amalgamability :: RDF -> ([CASLAmalgOpt], Gr Sign (Int, RDFMorphism), [(Int, RDFMorphism)], Gr String String) -> Result Amalgamates Source # quotient_term_algebra :: RDF -> RDFMorphism -> [Named Axiom] -> Result (Sign, [Named Axiom]) Source # signature_colimit :: RDF -> Gr Sign (Int, RDFMorphism) -> Result (Sign, Map Int RDFMorphism) Source # qualify :: RDF -> SIMPLE_ID -> LibName -> RDFMorphism -> Sign -> Result (RDFMorphism, [Named Axiom]) Source # symbol_to_raw :: RDF -> RDFEntity -> RawSymb Source # id_to_raw :: RDF -> Id -> RawSymb Source # matches :: RDF -> RDFEntity -> RawSymb -> Bool Source # empty_signature :: RDF -> Sign Source # add_symb_to_sign :: RDF -> Sign -> RDFEntity -> Result Sign Source # signature_union :: RDF -> Sign -> Sign -> Result Sign Source # signatureDiff :: RDF -> Sign -> Sign -> Result Sign Source # intersection :: RDF -> Sign -> Sign -> Result Sign Source # final_union :: RDF -> Sign -> Sign -> Result Sign Source # morphism_union :: RDF -> RDFMorphism -> RDFMorphism -> Result RDFMorphism Source # is_subsig :: RDF -> Sign -> Sign -> Bool Source # subsig_inclusion :: RDF -> Sign -> Sign -> Result RDFMorphism Source # generated_sign :: RDF -> Set RDFEntity -> Sign -> Result RDFMorphism Source # cogenerated_sign :: RDF -> Set RDFEntity -> Sign -> Result RDFMorphism Source # induced_from_morphism :: RDF -> EndoMap RawSymb -> Sign -> Result RDFMorphism Source # induced_from_to_morphism :: RDF -> EndoMap RawSymb -> ExtSign Sign RDFEntity -> ExtSign Sign RDFEntity -> Result RDFMorphism Source # is_transportable :: RDF -> RDFMorphism -> Bool Source # is_injective :: RDF -> RDFMorphism -> Bool Source # theory_to_taxonomy :: RDF -> TaxoGraphKind -> MMiSSOntology -> Sign -> [Named Axiom] -> Result MMiSSOntology Source # corresp2th :: RDF -> String -> Bool -> Sign -> Sign -> [SymbItems] -> [SymbItems] -> EndoMap RDFEntity -> EndoMap RDFEntity -> REL_REF -> Result (Sign, [Named Axiom], Sign, Sign, EndoMap RDFEntity, EndoMap RDFEntity) Source # equiv2cospan :: RDF -> Sign -> Sign -> [SymbItems] -> [SymbItems] -> Result (Sign, Sign, Sign, EndoMap RDFEntity, EndoMap RDFEntity) Source # extract_module :: RDF -> [IRI] -> (Sign, [Named Axiom]) -> Result (Sign, [Named Axiom]) Source #
Logic RDF RDFSub TurtleDocument Axiom SymbItems SymbMapItems Sign RDFMorphism RDFEntity RawSymb ProofTree Source #
Instance details Defined in RDF.Logic_RDF Methods parse_basic_sen :: RDF -> Maybe (TurtleDocument -> AParser st Axiom) Source # stability :: RDF -> Stability Source # data_logic :: RDF -> Maybe AnyLogic Source # top_sublogic :: RDF -> RDFSub Source # all_sublogics :: RDF -> [RDFSub] Source # bottomSublogic :: RDF -> Maybe RDFSub Source # sublogicDimensions :: RDF -> [[RDFSub]] Source # parseSublogic :: RDF -> String -> Maybe RDFSub Source # proj_sublogic_epsilon :: RDF -> RDFSub -> Sign -> RDFMorphism Source # provers :: RDF -> [Prover Sign Axiom RDFMorphism RDFSub ProofTree] Source # default_prover :: RDF -> String Source # cons_checkers :: RDF -> [ConsChecker Sign Axiom RDFSub RDFMorphism ProofTree] Source # conservativityCheck :: RDF -> [ConservativityChecker Sign Axiom RDFMorphism] Source # empty_proof_tree :: RDF -> ProofTree Source # syntaxTable :: RDF -> Sign -> Maybe SyntaxTable Source # omdoc_metatheory :: RDF -> Maybe OMCD Source # export_symToOmdoc :: RDF -> NameMap RDFEntity -> RDFEntity -> String -> Result TCElement Source # export_senToOmdoc :: RDF -> NameMap RDFEntity -> Axiom -> Result TCorOMElement Source # export_theoryToOmdoc :: RDF -> SigMap RDFEntity -> Sign -> [Named Axiom] -> Result [TCElement] Source # omdocToSym :: RDF -> SigMapI RDFEntity -> TCElement -> String -> Result RDFEntity Source # omdocToSen :: RDF -> SigMapI RDFEntity -> TCElement -> String -> Result (Maybe (Named Axiom)) Source # addOMadtToTheory :: RDF -> SigMapI RDFEntity -> (Sign, [Named Axiom]) -> [[OmdADT]] -> Result (Sign, [Named Axiom]) Source # addOmdocToTheory :: RDF -> SigMapI RDFEntity -> (Sign, [Named Axiom]) -> [TCElement] -> Result (Sign, [Named Axiom]) Source # sublogicOfTheo :: RDF -> (Sign, [Axiom]) -> RDFSub Source #
type Rep Axiom
Instance details Defined in RDF.ATC_RDF type Rep Axiom = D1 ('MetaData "Axiom" "RDF.AS" "main" 'False) (C1 ('MetaCons "Axiom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term))))

data RDFEntityType Source #

Constructors

SubjectEntity
PredicateEntity
ObjectEntity

Instances

Instances details

Bounded RDFEntityType Source #
Instance details Defined in RDF.AS Methods minBound :: RDFEntityType maxBound :: RDFEntityType
Enum RDFEntityType Source #
Instance details Defined in RDF.AS Methods succ :: RDFEntityType -> RDFEntityType pred :: RDFEntityType -> RDFEntityType toEnum :: Int -> RDFEntityType fromEnum :: RDFEntityType -> Int enumFrom :: RDFEntityType -> [RDFEntityType] enumFromThen :: RDFEntityType -> RDFEntityType -> [RDFEntityType] enumFromTo :: RDFEntityType -> RDFEntityType -> [RDFEntityType] enumFromThenTo :: RDFEntityType -> RDFEntityType -> RDFEntityType -> [RDFEntityType]
Eq RDFEntityType Source #
Instance details Defined in RDF.AS Methods (==) :: RDFEntityType -> RDFEntityType -> Bool (/=) :: RDFEntityType -> RDFEntityType -> Bool
Data RDFEntityType Source #
Instance details Defined in RDF.AS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RDFEntityType -> c RDFEntityType gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RDFEntityType toConstr :: RDFEntityType -> Constr dataTypeOf :: RDFEntityType -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RDFEntityType) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RDFEntityType) gmapT :: (forall b. Data b => b -> b) -> RDFEntityType -> RDFEntityType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RDFEntityType -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RDFEntityType -> r gmapQ :: (forall d. Data d => d -> u) -> RDFEntityType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RDFEntityType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RDFEntityType -> m RDFEntityType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RDFEntityType -> m RDFEntityType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RDFEntityType -> m RDFEntityType
Ord RDFEntityType Source #
Instance details Defined in RDF.AS Methods compare :: RDFEntityType -> RDFEntityType -> Ordering (<) :: RDFEntityType -> RDFEntityType -> Bool (<=) :: RDFEntityType -> RDFEntityType -> Bool (>) :: RDFEntityType -> RDFEntityType -> Bool (>=) :: RDFEntityType -> RDFEntityType -> Bool max :: RDFEntityType -> RDFEntityType -> RDFEntityType min :: RDFEntityType -> RDFEntityType -> RDFEntityType
Show RDFEntityType Source #
Instance details Defined in RDF.AS Methods showsPrec :: Int -> RDFEntityType -> ShowS show :: RDFEntityType -> String showList :: [RDFEntityType] -> ShowS
Generic RDFEntityType
Instance details Defined in RDF.ATC_RDF Associated Types type Rep RDFEntityType :: Type -> Type Methods from :: RDFEntityType -> Rep RDFEntityType x to :: Rep RDFEntityType x -> RDFEntityType
FromJSON RDFEntityType
Instance details Defined in RDF.ATC_RDF Methods parseJSON :: Value -> Parser RDFEntityType parseJSONList :: Value -> Parser [RDFEntityType]
ToJSON RDFEntityType
Instance details Defined in RDF.ATC_RDF Methods toJSON :: RDFEntityType -> Value toEncoding :: RDFEntityType -> Encoding toJSONList :: [RDFEntityType] -> Value toEncodingList :: [RDFEntityType] -> Encoding
ShATermConvertible RDFEntityType
Instance details Defined in RDF.ATC_RDF Methods toShATermAux :: ATermTable -> RDFEntityType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RDFEntityType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RDFEntityType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RDFEntityType])
Pretty RDFEntityType Source #	Symbols printing
Instance details Defined in RDF.Print Methods pretty :: RDFEntityType -> Doc Source # pretties :: [RDFEntityType] -> Doc Source #
type Rep RDFEntityType
Instance details Defined in RDF.ATC_RDF type Rep RDFEntityType = D1 ('MetaData "RDFEntityType" "RDF.AS" "main" 'False) (C1 ('MetaCons "SubjectEntity" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PredicateEntity" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ObjectEntity" 'PrefixI 'False) (U1 :: Type -> Type)))

data RDFEntity Source #

entities used for morphisms

Constructors

RDFEntity RDFEntityType Term

Instances

Instances details

Eq RDFEntity Source #
Instance details Defined in RDF.AS Methods (==) :: RDFEntity -> RDFEntity -> Bool (/=) :: RDFEntity -> RDFEntity -> Bool
Data RDFEntity Source #
Instance details Defined in RDF.AS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RDFEntity -> c RDFEntity gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RDFEntity toConstr :: RDFEntity -> Constr dataTypeOf :: RDFEntity -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RDFEntity) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RDFEntity) gmapT :: (forall b. Data b => b -> b) -> RDFEntity -> RDFEntity gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RDFEntity -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RDFEntity -> r gmapQ :: (forall d. Data d => d -> u) -> RDFEntity -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RDFEntity -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RDFEntity -> m RDFEntity gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RDFEntity -> m RDFEntity gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RDFEntity -> m RDFEntity
Ord RDFEntity Source #
Instance details Defined in RDF.AS Methods compare :: RDFEntity -> RDFEntity -> Ordering (<) :: RDFEntity -> RDFEntity -> Bool (<=) :: RDFEntity -> RDFEntity -> Bool (>) :: RDFEntity -> RDFEntity -> Bool (>=) :: RDFEntity -> RDFEntity -> Bool max :: RDFEntity -> RDFEntity -> RDFEntity min :: RDFEntity -> RDFEntity -> RDFEntity
Show RDFEntity Source #
Instance details Defined in RDF.AS Methods showsPrec :: Int -> RDFEntity -> ShowS show :: RDFEntity -> String showList :: [RDFEntity] -> ShowS
Generic RDFEntity
Instance details Defined in RDF.ATC_RDF Associated Types type Rep RDFEntity :: Type -> Type Methods from :: RDFEntity -> Rep RDFEntity x to :: Rep RDFEntity x -> RDFEntity
GetRange RDFEntity Source #
Instance details Defined in RDF.AS Methods getRange :: RDFEntity -> Range Source # rangeSpan :: RDFEntity -> [Pos] Source #
FromJSON RDFEntity
Instance details Defined in RDF.ATC_RDF Methods parseJSON :: Value -> Parser RDFEntity parseJSONList :: Value -> Parser [RDFEntity]
ToJSON RDFEntity
Instance details Defined in RDF.ATC_RDF Methods toJSON :: RDFEntity -> Value toEncoding :: RDFEntity -> Encoding toJSONList :: [RDFEntity] -> Value toEncodingList :: [RDFEntity] -> Encoding
ShATermConvertible RDFEntity
Instance details Defined in RDF.ATC_RDF Methods toShATermAux :: ATermTable -> RDFEntity -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RDFEntity] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RDFEntity) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RDFEntity])
Pretty RDFEntity Source #
Instance details Defined in RDF.Print Methods pretty :: RDFEntity -> Doc Source # pretties :: [RDFEntity] -> Doc Source #
Sentences RDF Axiom Sign RDFMorphism RDFEntity Source #
Instance details Defined in RDF.Logic_RDF Methods map_sen :: RDF -> RDFMorphism -> Axiom -> Result Axiom Source # simplify_sen :: RDF -> Sign -> Axiom -> Axiom Source # negation :: RDF -> Axiom -> Maybe Axiom Source # print_sign :: RDF -> Sign -> Doc Source # print_named :: RDF -> Named Axiom -> Doc Source # sym_of :: RDF -> Sign -> [Set RDFEntity] Source # mostSymsOf :: RDF -> Sign -> [RDFEntity] Source # symmap_of :: RDF -> RDFMorphism -> EndoMap RDFEntity Source # sym_name :: RDF -> RDFEntity -> Id Source # sym_label :: RDF -> RDFEntity -> Maybe String Source # fullSymName :: RDF -> RDFEntity -> String Source # symKind :: RDF -> RDFEntity -> String Source # symsOfSen :: RDF -> Sign -> Axiom -> [RDFEntity] Source # pair_symbols :: RDF -> RDFEntity -> RDFEntity -> Result RDFEntity Source #
Syntax RDF TurtleDocument RDFEntity SymbItems SymbMapItems Source #
Instance details Defined in RDF.Logic_RDF Methods parsersAndPrinters :: RDF -> Map String (PrefixMap -> AParser st TurtleDocument, TurtleDocument -> Doc) Source # parse_basic_spec :: RDF -> Maybe (PrefixMap -> AParser st TurtleDocument) Source # parseSingleSymbItem :: RDF -> Maybe (PrefixMap -> AParser st SymbItems) Source # parse_symb_items :: RDF -> Maybe (PrefixMap -> AParser st SymbItems) Source # parse_symb_map_items :: RDF -> Maybe (PrefixMap -> AParser st SymbMapItems) Source # toItem :: RDF -> TurtleDocument -> Item Source # symb_items_name :: RDF -> SymbItems -> [String] Source #
StaticAnalysis RDF TurtleDocument Axiom SymbItems SymbMapItems Sign RDFMorphism RDFEntity RawSymb Source #
Instance details Defined in RDF.Logic_RDF Methods basic_analysis :: RDF -> Maybe ((TurtleDocument, Sign, GlobalAnnos) -> Result (TurtleDocument, ExtSign Sign RDFEntity, [Named Axiom])) Source # sen_analysis :: RDF -> Maybe ((TurtleDocument, Sign, Axiom) -> Result Axiom) Source # extBasicAnalysis :: RDF -> IRI -> LibName -> TurtleDocument -> Sign -> GlobalAnnos -> Result (TurtleDocument, ExtSign Sign RDFEntity, [Named Axiom]) Source # stat_symb_map_items :: RDF -> Sign -> Maybe Sign -> [SymbMapItems] -> Result (EndoMap RawSymb) Source # stat_symb_items :: RDF -> Sign -> [SymbItems] -> Result [RawSymb] Source # convertTheory :: RDF -> Maybe ((Sign, [Named Axiom]) -> TurtleDocument) Source # ensures_amalgamability :: RDF -> ([CASLAmalgOpt], Gr Sign (Int, RDFMorphism), [(Int, RDFMorphism)], Gr String String) -> Result Amalgamates Source # quotient_term_algebra :: RDF -> RDFMorphism -> [Named Axiom] -> Result (Sign, [Named Axiom]) Source # signature_colimit :: RDF -> Gr Sign (Int, RDFMorphism) -> Result (Sign, Map Int RDFMorphism) Source # qualify :: RDF -> SIMPLE_ID -> LibName -> RDFMorphism -> Sign -> Result (RDFMorphism, [Named Axiom]) Source # symbol_to_raw :: RDF -> RDFEntity -> RawSymb Source # id_to_raw :: RDF -> Id -> RawSymb Source # matches :: RDF -> RDFEntity -> RawSymb -> Bool Source # empty_signature :: RDF -> Sign Source # add_symb_to_sign :: RDF -> Sign -> RDFEntity -> Result Sign Source # signature_union :: RDF -> Sign -> Sign -> Result Sign Source # signatureDiff :: RDF -> Sign -> Sign -> Result Sign Source # intersection :: RDF -> Sign -> Sign -> Result Sign Source # final_union :: RDF -> Sign -> Sign -> Result Sign Source # morphism_union :: RDF -> RDFMorphism -> RDFMorphism -> Result RDFMorphism Source # is_subsig :: RDF -> Sign -> Sign -> Bool Source # subsig_inclusion :: RDF -> Sign -> Sign -> Result RDFMorphism Source # generated_sign :: RDF -> Set RDFEntity -> Sign -> Result RDFMorphism Source # cogenerated_sign :: RDF -> Set RDFEntity -> Sign -> Result RDFMorphism Source # induced_from_morphism :: RDF -> EndoMap RawSymb -> Sign -> Result RDFMorphism Source # induced_from_to_morphism :: RDF -> EndoMap RawSymb -> ExtSign Sign RDFEntity -> ExtSign Sign RDFEntity -> Result RDFMorphism Source # is_transportable :: RDF -> RDFMorphism -> Bool Source # is_injective :: RDF -> RDFMorphism -> Bool Source # theory_to_taxonomy :: RDF -> TaxoGraphKind -> MMiSSOntology -> Sign -> [Named Axiom] -> Result MMiSSOntology Source # corresp2th :: RDF -> String -> Bool -> Sign -> Sign -> [SymbItems] -> [SymbItems] -> EndoMap RDFEntity -> EndoMap RDFEntity -> REL_REF -> Result (Sign, [Named Axiom], Sign, Sign, EndoMap RDFEntity, EndoMap RDFEntity) Source # equiv2cospan :: RDF -> Sign -> Sign -> [SymbItems] -> [SymbItems] -> Result (Sign, Sign, Sign, EndoMap RDFEntity, EndoMap RDFEntity) Source # extract_module :: RDF -> [IRI] -> (Sign, [Named Axiom]) -> Result (Sign, [Named Axiom]) Source #
Logic RDF RDFSub TurtleDocument Axiom SymbItems SymbMapItems Sign RDFMorphism RDFEntity RawSymb ProofTree Source #
Instance details Defined in RDF.Logic_RDF Methods parse_basic_sen :: RDF -> Maybe (TurtleDocument -> AParser st Axiom) Source # stability :: RDF -> Stability Source # data_logic :: RDF -> Maybe AnyLogic Source # top_sublogic :: RDF -> RDFSub Source # all_sublogics :: RDF -> [RDFSub] Source # bottomSublogic :: RDF -> Maybe RDFSub Source # sublogicDimensions :: RDF -> [[RDFSub]] Source # parseSublogic :: RDF -> String -> Maybe RDFSub Source # proj_sublogic_epsilon :: RDF -> RDFSub -> Sign -> RDFMorphism Source # provers :: RDF -> [Prover Sign Axiom RDFMorphism RDFSub ProofTree] Source # default_prover :: RDF -> String Source # cons_checkers :: RDF -> [ConsChecker Sign Axiom RDFSub RDFMorphism ProofTree] Source # conservativityCheck :: RDF -> [ConservativityChecker Sign Axiom RDFMorphism] Source # empty_proof_tree :: RDF -> ProofTree Source # syntaxTable :: RDF -> Sign -> Maybe SyntaxTable Source # omdoc_metatheory :: RDF -> Maybe OMCD Source # export_symToOmdoc :: RDF -> NameMap RDFEntity -> RDFEntity -> String -> Result TCElement Source # export_senToOmdoc :: RDF -> NameMap RDFEntity -> Axiom -> Result TCorOMElement Source # export_theoryToOmdoc :: RDF -> SigMap RDFEntity -> Sign -> [Named Axiom] -> Result [TCElement] Source # omdocToSym :: RDF -> SigMapI RDFEntity -> TCElement -> String -> Result RDFEntity Source # omdocToSen :: RDF -> SigMapI RDFEntity -> TCElement -> String -> Result (Maybe (Named Axiom)) Source # addOMadtToTheory :: RDF -> SigMapI RDFEntity -> (Sign, [Named Axiom]) -> [[OmdADT]] -> Result (Sign, [Named Axiom]) Source # addOmdocToTheory :: RDF -> SigMapI RDFEntity -> (Sign, [Named Axiom]) -> [TCElement] -> Result (Sign, [Named Axiom]) Source # sublogicOfTheo :: RDF -> (Sign, [Axiom]) -> RDFSub Source #
type Rep RDFEntity
Instance details Defined in RDF.ATC_RDF type Rep RDFEntity = D1 ('MetaData "RDFEntity" "RDF.AS" "main" 'False) (C1 ('MetaCons "RDFEntity" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RDFEntityType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term)))

rdfEntityTypes :: [RDFEntityType] Source #

extractTripleStatements :: [Statement] -> [Triples] Source #

useful functions

triplesOfDocument :: TurtleDocument -> [Triples] Source #

rdfFirst :: IRI Source #

rdfRest :: IRI Source #

rdfNil :: IRI Source #

isAbsoluteIRI :: IRI -> Bool Source #