Copyright | (c) Felix Mance |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | f.mance@jacobs-university.de |
Stability | provisional |
Portability | non-portable |
Safe Haskell | None |
RDF.Logic_RDF
Contents
Description
Here is the place where the class Logic is instantiated for RDF
Documentation
Constructors
RDF |
Instances
Orphan instances
Monoid TurtleDocument Source # | |
Methods mappend :: TurtleDocument -> TurtleDocument -> TurtleDocument mconcat :: [TurtleDocument] -> TurtleDocument | |
ShATermConvertible RDFEntity Source # | |
Methods toShATermAux :: ATermTable -> RDFEntity -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RDFEntity] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RDFEntity) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RDFEntity]) | |
ShATermConvertible Axiom Source # | |
Methods toShATermAux :: ATermTable -> Axiom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Axiom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Axiom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Axiom]) | |
ShATermConvertible TurtleDocument Source # | |
Methods toShATermAux :: ATermTable -> TurtleDocument -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TurtleDocument] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TurtleDocument) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TurtleDocument]) | |
ShATermConvertible SymbMapItems Source # | |
Methods toShATermAux :: ATermTable -> SymbMapItems -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SymbMapItems] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbMapItems) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbMapItems]) | |
ShATermConvertible SymbItems Source # | |
Methods toShATermAux :: ATermTable -> SymbItems -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SymbItems] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbItems) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbItems]) | |
ShATermConvertible Sign Source # | |
Methods toShATermAux :: ATermTable -> Sign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sign]) | |
ShATermConvertible RDFMorphism Source # | |
Methods toShATermAux :: ATermTable -> RDFMorphism -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RDFMorphism] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RDFMorphism) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RDFMorphism]) | |
Category Sign RDFMorphism Source # | |
Methods ide :: Sign -> RDFMorphism Source # composeMorphisms :: RDFMorphism -> RDFMorphism -> Result RDFMorphism Source # dom :: RDFMorphism -> Sign Source # cod :: RDFMorphism -> Sign Source # inverse :: RDFMorphism -> Result RDFMorphism Source # isInclusion :: RDFMorphism -> Bool Source # legal_mor :: RDFMorphism -> Result () Source # |