add | Swish.RDF.GraphClass, Swish.RDF.GraphMem, Swish.RDF.RDFGraph, Swish.RDF |
addArc | Swish.RDF.RDFGraph, Swish.RDF |
addSetElem | Swish.Utils.ListHelpers |
addVarBinding | Swish.RDF.VarBinding |
allDatatypeRulesets | Swish.RDF.BuiltInRules, Swish.RDF.BuiltInMap |
allDatatypes | Swish.RDF.BuiltInDatatypes |
allLabels | Swish.RDF.RDFGraph, Swish.RDF |
allNodes | Swish.RDF.RDFGraph, Swish.RDF |
allowLocalNames | Swish.RDF.N3Parser |
allp | Swish.Utils.ListHelpers |
allRulesets | Swish.RDF.BuiltInRules, Swish.RDF.BuiltInMap |
altArgs | Swish.RDF.Datatype |
anyp | Swish.Utils.ListHelpers |
aobj | Swish.RDF.GraphClass, Swish.RDF.RDFGraph, Swish.RDF |
appendURIs | Swish.RDF.RDFParser |
ApplyModifier | Swish.RDF.Datatype |
applyRDFDatatypeMod | Swish.RDF.RDFDatatype |
applyVarBinding | Swish.RDF.VarBinding |
apred | Swish.RDF.GraphClass, Swish.RDF.RDFGraph, Swish.RDF |
Arc | |
1 (Type/Class) | Swish.RDF.GraphClass, Swish.RDF.RDFGraph, Swish.RDF |
2 (Data Constructor) | Swish.RDF.GraphClass, Swish.RDF.RDFGraph, Swish.RDF |
arc | Swish.RDF.GraphClass, Swish.RDF.RDFGraph, Swish.RDF |
arcFromTriple | Swish.RDF.GraphClass |
arcLabels | Swish.RDF.GraphClass |
arcObj | Swish.RDF.GraphClass, Swish.RDF.RDFGraph, Swish.RDF |
arcPred | Swish.RDF.GraphClass, Swish.RDF.RDFGraph, Swish.RDF |
arcs | Swish.RDF.GraphMem |
arcSubj | Swish.RDF.GraphClass, Swish.RDF.RDFGraph, Swish.RDF |
arcToTriple | Swish.RDF.GraphClass |
assignLabelMap | Swish.RDF.GraphMatch |
asubj | Swish.RDF.GraphClass, Swish.RDF.RDFGraph, Swish.RDF |
axiomsXsdInteger | Swish.RDF.RDFDatatypeXsdInteger |
axiomsXsdString | Swish.RDF.RDFDatatypeXsdString |
base | Swish.RDF.SwishMonad |
binaryFnApp | Swish.RDF.Datatype |
BinaryFnApply | Swish.RDF.Datatype |
BinaryFnDescr | Swish.RDF.Datatype |
BinaryFnTable | Swish.RDF.Datatype |
binMaybeFnApp | Swish.RDF.Datatype |
BinMaybeFnApply | Swish.RDF.Datatype |
BinMaybeFnDescr | Swish.RDF.Datatype |
BinMaybeFnTable | Swish.RDF.Datatype |
Blank | Swish.RDF.RDFGraph, Swish.RDF |
boundVars | Swish.RDF.VarBinding |
breakAll | Swish.Utils.ListHelpers |
bwdApply | Swish.RDF.Rule |
bwdCheckInference | Swish.RDF.Rule |
char | Swish.RDF.RDFParser |
checkInference | Swish.RDF.Rule |
checkProof | Swish.RDF.Proof |
checkStep | Swish.RDF.Proof |
ClassRestriction | |
1 (Type/Class) | Swish.RDF.ClassRestrictionRule |
2 (Data Constructor) | Swish.RDF.ClassRestrictionRule |
ClassRestrictionFn | Swish.RDF.ClassRestrictionRule |
comparePartitions | Swish.RDF.GraphPartition |
composeSequence | Swish.RDF.VarBinding |
containedIn | Swish.RDF.GraphClass, Swish.RDF.RDFGraph, Swish.RDF |
crFunc | Swish.RDF.ClassRestrictionRule |
crName | Swish.RDF.ClassRestrictionRule |
Datatype | |
1 (Type/Class) | Swish.RDF.Datatype |
2 (Data Constructor) | Swish.RDF.Datatype |
DatatypeMap | |
1 (Type/Class) | Swish.RDF.Datatype |
2 (Data Constructor) | Swish.RDF.Datatype |
DatatypeMod | |
1 (Type/Class) | Swish.RDF.Datatype |
2 (Data Constructor) | Swish.RDF.Datatype |
DatatypeRel | |
1 (Type/Class) | Swish.RDF.Datatype |
2 (Data Constructor) | Swish.RDF.Datatype |
DatatypeRelFn | Swish.RDF.Datatype |
DatatypeRelPr | Swish.RDF.Datatype |
DatatypeSub | |
1 (Type/Class) | Swish.RDF.Datatype |
2 (Data Constructor) | Swish.RDF.Datatype |
DatatypeVal | |
1 (Type/Class) | Swish.RDF.Datatype |
2 (Data Constructor) | Swish.RDF.Datatype |
defaultBase | Swish.RDF.Vocabulary |
delete | Swish.RDF.GraphClass, Swish.RDF.GraphMem, Swish.RDF.RDFGraph, Swish.RDF |
deleteIndex | Swish.Utils.ListHelpers |
displaySwishHelp | Swish.RDF.SwishMain, Swish |
dmAppf | Swish.RDF.Datatype |
dmModf | Swish.RDF.Datatype |
dmName | Swish.RDF.Datatype |
document | Swish.RDF.N3Parser |
dtRelFunc | Swish.RDF.Datatype |
dtRelName | Swish.RDF.Datatype |
emptyFormulaMap | Swish.RDF.RDFGraph, Swish.RDF |
emptyLookupMap | Swish.Utils.LookupMap |
emptyMap | Swish.RDF.GraphMatch |
emptyNamespaceMap | Swish.RDF.RDFGraph, Swish.RDF |
emptyRDFGraph | Swish.RDF.RDFGraph, Swish.RDF |
emptyState | Swish.RDF.SwishMonad |
endBy | Swish.RDF.RDFParser |
entryEq | Swish.Utils.LookupMap |
entryKey | Swish.Utils.LookupMap |
entryShow | Swish.Utils.LookupMap |
entryVal | Swish.Utils.LookupMap |
eoln | Swish.RDF.RDFParser |
equiv | Swish.Utils.ListHelpers |
EquivalenceClass | Swish.RDF.GraphMatch |
equivalenceClasses | Swish.RDF.GraphMatch |
errormsg | Swish.RDF.SwishMonad |
exitcode | Swish.RDF.SwishMonad |
explainProof | Swish.RDF.Proof |
Expression | Swish.RDF.Rule |
extract | Swish.RDF.GraphClass, Swish.RDF.GraphMem, Swish.RDF.RDFGraph, Swish.RDF |
falseGraph | Swish.RDF.ClassRestrictionRule |
falseGraphStr | Swish.RDF.ClassRestrictionRule |
findComposition | Swish.RDF.VarBinding |
findCompositions | Swish.RDF.VarBinding |
findDatatype | Swish.RDF.SwishMonad |
findFormula | Swish.RDF.SwishMonad |
findGraph | Swish.RDF.SwishMonad |
findOpenVarModify | Swish.RDF.SwishMonad |
findRDFDatatype | Swish.RDF.BuiltInDatatypes, Swish.RDF.BuiltInMap |
findRDFOpenVarBindingModifier | Swish.RDF.BuiltInRules, Swish.RDF.BuiltInMap |
findRule | Swish.RDF.SwishMonad |
findRuleset | Swish.RDF.SwishMonad |
flist | Swish.Utils.ListHelpers |
format | Swish.RDF.SwishMonad |
formatGraphAsBuilder | |
1 (Function) | Swish.RDF.NTFormatter |
2 (Function) | Swish.RDF.N3Formatter |
formatGraphAsLazyText | |
1 (Function) | Swish.RDF.NTFormatter |
2 (Function) | Swish.RDF.N3Formatter |
formatGraphAsText | |
1 (Function) | Swish.RDF.NTFormatter |
2 (Function) | Swish.RDF.N3Formatter |
formatGraphDiag | Swish.RDF.N3Formatter |
formatGraphIndent | Swish.RDF.N3Formatter |
formExpr | Swish.RDF.Rule |
formGraph | Swish.RDF.RDFGraph, Swish.RDF |
formLabel | Swish.RDF.RDFGraph, Swish.RDF |
formName | Swish.RDF.Rule |
Formula | |
1 (Type/Class) | Swish.RDF.Rule |
2 (Data Constructor) | Swish.RDF.Rule |
3 (Type/Class) | Swish.RDF.RDFGraph, Swish.RDF |
4 (Data Constructor) | Swish.RDF.RDFGraph, Swish.RDF |
formulae | Swish.RDF.RDFGraph, Swish.RDF |
FormulaMap | Swish.RDF.RDFGraph, Swish.RDF |
FromRDFLabel | Swish.RDF.RDFGraph, Swish.RDF |
fromRDFLabel | |
1 (Function) | Swish.RDF.RDFGraph, Swish.RDF |
2 (Function) | Swish.RDF.RDFDatatype |
fromRDFTriple | Swish.RDF.RDFGraph, Swish.RDF |
fullStop | Swish.RDF.RDFParser |
fwdApply | Swish.RDF.Rule |
fwdCheckInference | Swish.RDF.Rule |
GenLabelEntry | Swish.RDF.GraphMatch |
GenLabelMap | Swish.RDF.GraphMatch |
getArcs | |
1 (Function) | Swish.RDF.GraphClass, Swish.RDF.GraphMem, Swish.RDF.RDFGraph, Swish.RDF |
2 (Function) | Swish.RDF.GraphPartition |
getContextAxiom | Swish.RDF.Ruleset |
getContextRule | Swish.RDF.Ruleset |
getDTMod | Swish.RDF.Datatype |
getDTRel | Swish.RDF.Datatype |
getFormula | Swish.RDF.RDFGraph, Swish.RDF |
getFormulae | Swish.RDF.RDFGraph, Swish.RDF |
getLiteralText | Swish.RDF.RDFGraph, Swish.RDF |
getLocal | Swish.RDF.GraphClass, Swish.RDF.RDFGraph, Swish.RDF |
getLocalName | Swish.Utils.QName |
getMaybeContextAxiom | Swish.RDF.Ruleset |
getMaybeContextRule | Swish.RDF.Ruleset |
getNamespace | Swish.Utils.QName |
getNamespacePrefix | Swish.Utils.Namespace |
getNamespaces | Swish.RDF.RDFGraph, Swish.RDF |
getNamespaceTuple | Swish.Utils.Namespace |
getNamespaceURI | Swish.Utils.Namespace |
getPartitions | Swish.RDF.GraphPartition |
getPrefix | Swish.RDF.N3Parser |
getQName | Swish.Utils.Namespace |
getQNameURI | Swish.Utils.QName |
getRulesetAxiom | Swish.RDF.Ruleset |
getRulesetAxioms | Swish.RDF.Ruleset |
getRulesetNamespace | Swish.RDF.Ruleset |
getRulesetRule | Swish.RDF.Ruleset |
getRulesetRules | Swish.RDF.Ruleset |
getScopedName | Swish.RDF.RDFGraph, Swish.RDF |
getScopedNameURI | Swish.Utils.Namespace |
getScopeLocal | Swish.Utils.Namespace |
getScopeNamespace | Swish.Utils.Namespace |
getScopePrefix | Swish.Utils.Namespace |
getScopeURI | Swish.Utils.Namespace |
getTypeAxiom | Swish.RDF.Datatype |
getTypeRule | Swish.RDF.Datatype |
graph | Swish.RDF.SwishMonad |
GraphClosure | |
1 (Type/Class) | Swish.RDF.RDFRuleset |
2 (Data Constructor) | Swish.RDF.RDFRuleset |
graphClosureBwdApply | Swish.RDF.RDFRuleset |
graphClosureFwdApply | Swish.RDF.RDFRuleset |
graphLabels | Swish.RDF.GraphMatch |
graphMatch | Swish.RDF.GraphMatch |
graphMatch1 | Swish.RDF.GraphMatch |
graphMatch2 | Swish.RDF.GraphMatch |
GraphMem | |
1 (Type/Class) | Swish.RDF.GraphMem |
2 (Data Constructor) | Swish.RDF.GraphMem |
GraphPartition | Swish.RDF.GraphPartition |
graphs | Swish.RDF.SwishMonad |
graphState | Swish.RDF.N3Parser |
grEq | Swish.RDF.RDFGraph, Swish.RDF |
grMatchMap | Swish.RDF.RDFGraph, Swish.RDF |
hash | Swish.Utils.MiscHelpers |
hashModulus | Swish.Utils.MiscHelpers |
hasLabel | Swish.RDF.GraphClass |
headOrNothing | Swish.Utils.ListHelpers |
hex4 | Swish.RDF.RDFParser |
hex8 | Swish.RDF.RDFParser |
ichar | Swish.RDF.RDFParser |
ignore | Swish.RDF.RDFParser |
infomsg | Swish.RDF.SwishMonad |
InternedURI | Data.Interned.URI |
isBlank | Swish.RDF.RDFGraph, Swish.RDF |
isDatatyped | Swish.RDF.RDFGraph, Swish.RDF |
isLang | Swish.RDF.Vocabulary |
isLiteral | Swish.RDF.RDFGraph, Swish.RDF |
isMemberProp | Swish.RDF.RDFGraph, Swish.RDF |
isQueryVar | Swish.RDF.RDFGraph, Swish.RDF |
isTypedLiteral | Swish.RDF.RDFGraph, Swish.RDF |
isUntypedLiteral | Swish.RDF.RDFGraph, Swish.RDF |
isUri | Swish.RDF.RDFGraph, Swish.RDF |
isValid | Swish.RDF.Rule |
isXMLLiteral | Swish.RDF.RDFGraph, Swish.RDF |
joinVarBindings | Swish.RDF.VarBinding |
keyOrder | Swish.Utils.LookupMap |
keyVal | Swish.Utils.LookupMap |
keywordsList | Swish.RDF.N3Parser |
kmap | Swish.Utils.LookupMap |
Label | Swish.RDF.GraphClass, Swish.RDF.RDFGraph, Swish.RDF |
LabelEntry | |
1 (Type/Class) | Swish.RDF.GraphMatch |
2 (Data Constructor) | Swish.RDF.GraphMatch |
labelHash | Swish.RDF.GraphClass, Swish.RDF.GraphMatch, Swish.RDF.GraphMem, Swish.RDF.RDFGraph, Swish.RDF |
LabelIndex | Swish.RDF.GraphMatch |
labelIsVar | Swish.RDF.GraphClass, Swish.RDF.GraphMatch, Swish.RDF.GraphMem, Swish.RDF.RDFGraph, Swish.RDF |
LabelMap | |
1 (Type/Class) | Swish.RDF.GraphMatch |
2 (Data Constructor) | Swish.RDF.GraphMatch |
LabelMem | Swish.RDF.GraphMem |
labels | Swish.RDF.GraphClass, Swish.RDF.GraphMem, Swish.RDF.RDFGraph, Swish.RDF |
langName | Swish.RDF.Vocabulary |
langTag | Swish.RDF.Vocabulary |
LDGraph | Swish.RDF.GraphClass, Swish.RDF.RDFGraph, Swish.RDF |
lexeme | Swish.RDF.RDFParser |
lexUriRef | Swish.RDF.N3Parser |
LF | Swish.RDF.GraphMem |
listFnApp | Swish.RDF.Datatype |
ListFnApply | Swish.RDF.Datatype |
ListFnDescr | Swish.RDF.Datatype |
ListFnTable | Swish.RDF.Datatype |
listLookupMap | Swish.Utils.LookupMap |
listProduct | Swish.Utils.ListHelpers |
Lit | Swish.RDF.RDFGraph, Swish.RDF |
logImplies | Swish.RDF.Vocabulary |
LookupEntryClass | Swish.Utils.LookupMap |
LookupFormula | Swish.RDF.RDFGraph, Swish.RDF |
LookupMap | |
1 (Type/Class) | Swish.Utils.LookupMap |
2 (Data Constructor) | Swish.Utils.LookupMap |
LV | Swish.RDF.GraphMem |
makeBlank | Swish.RDF.RDFGraph, Swish.RDF |
makeDatatypedLiteral | Swish.RDF.RDFDatatype |
makeDatatypeRestriction | Swish.RDF.ClassRestrictionRule |
makeDatatypeRestrictionFn | Swish.RDF.ClassRestrictionRule |
makeGraphClosureRule | Swish.RDF.RDFRuleset |
makeLabel | Swish.RDF.GraphClass, Swish.RDF.RDFGraph, Swish.RDF |
makeLookupMap | Swish.Utils.LookupMap |
makeN3ClosureAllocatorRule | Swish.RDF.RDFRuleset |
makeN3ClosureModifyRule | Swish.RDF.RDFRuleset |
makeN3ClosureRule | Swish.RDF.RDFRuleset |
makeN3ClosureSimpleRule | Swish.RDF.RDFRuleset |
makeNamespace | Swish.Utils.Namespace |
makeNamespaceQName | Swish.Utils.Namespace |
makeNodeAllocTo | Swish.RDF.RDFRuleset |
makeNSScopedName | Swish.Utils.Namespace |
makeQNameScopedName | Swish.Utils.Namespace |
makeRDFClassRestrictionRules | Swish.RDF.ClassRestrictionRule |
makeRDFClosureRule | Swish.RDF.RDFRuleset |
makeRDFDatatypeRestrictionRules | Swish.RDF.ClassRestrictionRule |
makeRdfDtOpenVarBindingModifiers | Swish.RDF.RDFDatatype |
makeRdfDtOpenVarBindingModify | Swish.RDF.RDFDatatype |
makeRDFFormula | Swish.RDF.RDFRuleset |
makeRDFGraphFromN3Builder | Swish.RDF.RDFRuleset |
makeRdfInstanceEntailmentRule | Swish.RDF.RDFProof |
makeRDFProof | Swish.RDF.RDFProof |
makeRDFProofStep | Swish.RDF.RDFProof |
makeRdfSimpleEntailmentRule | Swish.RDF.RDFProof |
makeRdfSubgraphEntailmentRule | Swish.RDF.RDFProof |
makeRuleset | Swish.RDF.Ruleset |
makeScopedArc | Swish.RDF.GraphMatch |
makeScopedLabel | Swish.RDF.GraphMatch |
makeScopedName | Swish.Utils.Namespace |
makeURIScopedName | Swish.Utils.Namespace |
makeVarBinding | Swish.RDF.VarBinding |
makeVarCompareFilter | Swish.RDF.VarBinding |
makeVarFilterModify | Swish.RDF.VarBinding |
makeVarTestFilter | Swish.RDF.VarBinding |
makeVmod11 | Swish.RDF.Datatype |
makeVmod11inv | Swish.RDF.Datatype |
makeVmod20 | Swish.RDF.Datatype |
makeVmod21 | Swish.RDF.Datatype |
makeVmod21inv | Swish.RDF.Datatype |
makeVmod22 | Swish.RDF.Datatype |
makeVmodN1 | Swish.RDF.Datatype |
manyTill | Swish.RDF.RDFParser |
mapAdd | Swish.Utils.LookupMap |
mapAddIfNew | Swish.Utils.LookupMap |
mapApplyToAll | Swish.Utils.LookupMap |
mapContains | Swish.Utils.LookupMap |
mapDelete | Swish.Utils.LookupMap |
mapDeleteAll | Swish.Utils.LookupMap |
mapEq | Swish.Utils.LookupMap |
mapFind | Swish.Utils.LookupMap |
mapFindMaybe | Swish.Utils.LookupMap |
mapKeys | Swish.Utils.LookupMap |
mapL2V | Swish.RDF.Datatype |
mapLabelIndex | Swish.RDF.GraphMatch |
maplist | Swish.RDF.RDFGraph, Swish.RDF |
mapMerge | Swish.Utils.LookupMap |
mapnode | Swish.RDF.RDFGraph, Swish.RDF |
mapReplace | Swish.Utils.LookupMap |
mapReplaceAll | Swish.Utils.LookupMap |
mapReplaceMap | Swish.Utils.LookupMap |
mapReplaceOrAdd | Swish.Utils.LookupMap |
mapSelect | Swish.Utils.LookupMap |
mapTranslate | Swish.Utils.LookupMap |
mapTranslateEntries | Swish.Utils.LookupMap |
mapTranslateEntriesM | Swish.Utils.LookupMap |
mapTranslateKeys | Swish.Utils.LookupMap |
mapTranslateVals | Swish.Utils.LookupMap |
mapV2L | Swish.RDF.Datatype |
mapVals | Swish.Utils.LookupMap |
mapXsdInteger | Swish.RDF.MapXsdInteger |
matchGraphMem | Swish.RDF.GraphMem |
matchName | Swish.Utils.Namespace |
maxima | Swish.Utils.PartOrderedCollection |
merge | Swish.RDF.RDFGraph, Swish.RDF |
minima | Swish.Utils.PartOrderedCollection |
mkTypedLit | Swish.RDF.RDFParser |
modGraphs | Swish.RDF.SwishMonad |
ModifierFn | Swish.RDF.Datatype |
modRules | Swish.RDF.SwishMonad |
modRulesets | Swish.RDF.SwishMonad |
N3 | Swish.RDF.SwishMonad |
N3Parser | Swish.RDF.N3Parser |
N3State | |
1 (Type/Class) | Swish.RDF.N3Parser |
2 (Data Constructor) | Swish.RDF.N3Parser |
n3symbol | Swish.RDF.N3Parser |
NamedGraph | |
1 (Type/Class) | Swish.RDF.SwishMonad |
2 (Data Constructor) | Swish.RDF.SwishMonad |
NamedGraphMap | Swish.RDF.SwishMonad |
nameGraphRule | Swish.RDF.RDFRuleset |
Namespace | Swish.Utils.Namespace |
namespaceDAML | Swish.RDF.Vocabulary |
namespaceDefault | Swish.RDF.Vocabulary |
namespaceLang | Swish.RDF.Vocabulary |
namespaceLOG | Swish.RDF.Vocabulary |
NamespaceMap | Swish.RDF.RDFGraph, Swish.RDF |
namespaceMATH | Swish.RDF.Vocabulary |
namespaceOWL | Swish.RDF.Vocabulary |
namespaceRDF | Swish.RDF.Vocabulary |
namespaceRDFD | Swish.RDF.Vocabulary |
namespaceRDFS | Swish.RDF.Vocabulary |
namespaces | Swish.RDF.RDFGraph, Swish.RDF |
namespaceSwish | Swish.RDF.Vocabulary |
namespaceToBuilder | Swish.Utils.Namespace |
namespaceXSD | Swish.RDF.Vocabulary |
namespaceXsdInteger | Swish.RDF.RDFDatatypeXsdInteger |
namespaceXsdString | Swish.RDF.RDFDatatypeXsdString |
namespaceXsdType | Swish.RDF.Vocabulary |
newBlankNode | Swish.RDF.N3Parser |
newEntry | Swish.Utils.LookupMap |
newGenerationMap | Swish.RDF.GraphMatch |
newLabelMap | Swish.RDF.GraphMatch |
newNode | Swish.RDF.RDFGraph, Swish.RDF |
newNodes | Swish.RDF.RDFGraph, Swish.RDF |
newQName | Swish.Utils.QName |
ngGraph | Swish.RDF.SwishMonad |
ngName | Swish.RDF.SwishMonad |
node | Swish.RDF.GraphPartition |
nodeGen | Swish.RDF.N3Parser |
NodeGenLookupMap | |
1 (Type/Class) | Swish.RDF.NTFormatter |
2 (Type/Class) | Swish.RDF.N3Formatter |
nodes | Swish.RDF.GraphClass, Swish.RDF.RDFGraph, Swish.RDF |
noneOf | Swish.RDF.RDFParser |
NoNode | Swish.RDF.RDFGraph, Swish.RDF |
notFollowedBy | Swish.RDF.RDFParser |
NSGraph | |
1 (Type/Class) | Swish.RDF.RDFGraph, Swish.RDF |
2 (Data Constructor) | Swish.RDF.RDFGraph, Swish.RDF |
NT | Swish.RDF.SwishMonad |
nullDatatypeMod | Swish.RDF.Datatype |
nullFormula | Swish.RDF.Rule |
nullLabelVal | Swish.RDF.GraphMatch |
nullRDFFormula | Swish.RDF.RDFRuleset |
nullRDFVarBinding | Swish.RDF.RDFVarBinding |
nullRule | Swish.RDF.Rule |
nullScope | Swish.RDF.Rule |
nullScopedName | Swish.Utils.Namespace |
nullSN | Swish.RDF.Rule |
nullVarBinding | Swish.RDF.VarBinding |
nullVarBindingModify | Swish.RDF.VarBinding |
OpenVarBindingModify | Swish.RDF.VarBinding |
owlSameAs | Swish.RDF.Vocabulary |
pairGroup | Swish.Utils.ListHelpers |
pairSort | Swish.Utils.ListHelpers |
pairUngroup | Swish.Utils.ListHelpers |
parseAbsURIrefFromText | Swish.RDF.N3Parser |
parseAltFromText | Swish.RDF.N3Parser |
parseAnyfromText | Swish.RDF.N3Parser |
parsefromString | Swish.RDF.NTParser |
parseLexURIrefFromText | Swish.RDF.N3Parser |
parseN3 | Swish.RDF.N3Parser |
parseN3fromText | Swish.RDF.N3Parser |
parseNameFromText | Swish.RDF.N3Parser |
parseNT | Swish.RDF.NTParser |
ParseResult | Swish.RDF.RDFParser, Swish.RDF.NTParser, Swish.RDF.N3Parser |
parseScriptFromText | Swish.RDF.SwishScript |
parseTextFromText | Swish.RDF.N3Parser |
parseURIref2FromText | Swish.RDF.N3Parser |
PartCompare | Swish.Utils.PartOrderedCollection |
partCompareEq | Swish.Utils.PartOrderedCollection |
partCompareListMaybe | Swish.Utils.PartOrderedCollection |
partCompareListOrd | Swish.Utils.PartOrderedCollection |
partCompareListPartOrd | Swish.Utils.PartOrderedCollection |
partCompareListSubset | Swish.Utils.PartOrderedCollection |
partCompareMaybe | Swish.Utils.PartOrderedCollection |
partCompareOrd | Swish.Utils.PartOrderedCollection |
partComparePair | Swish.Utils.PartOrderedCollection |
PartitionedGraph | |
1 (Type/Class) | Swish.RDF.GraphPartition |
2 (Data Constructor) | Swish.RDF.GraphPartition |
partitionGraph | Swish.RDF.GraphPartition |
partitionShowP | Swish.RDF.GraphPartition |
PartObj | Swish.RDF.GraphPartition |
PartSub | Swish.RDF.GraphPartition |
permutations | Swish.Utils.ListHelpers |
powerSequencesLen | Swish.Utils.ListHelpers |
powerSet | Swish.Utils.ListHelpers |
prefixTable | Swish.RDF.RDFParser |
prefixUris | Swish.RDF.N3Parser |
prefixXsdInteger | Swish.RDF.RDFDatatypeXsdInteger |
prefixXsdString | Swish.RDF.RDFDatatypeXsdString |
Proof | |
1 (Type/Class) | Swish.RDF.Proof |
2 (Data Constructor) | Swish.RDF.Proof |
proofChain | Swish.RDF.Proof |
proofContext | Swish.RDF.Proof |
proofInput | Swish.RDF.Proof |
proofResult | Swish.RDF.Proof |
QName | Swish.Utils.QName |
qnameFromFilePath | Swish.Utils.QName |
qnameFromURI | Swish.Utils.QName |
quickVariable | Swish.RDF.N3Parser |
quote | Swish.RDF.RDFGraph, Swish.RDF |
quoteT | Swish.RDF.RDFGraph, Swish.RDF |
rdfAbout | Swish.RDF.Vocabulary |
RDFApplyModifier | Swish.RDF.RDFDatatype |
RDFClosure | Swish.RDF.RDFRuleset |
RDFDatatype | Swish.RDF.RDFDatatype |
rdfDatatype | Swish.RDF.Vocabulary |
RDFDatatypeMod | Swish.RDF.RDFDatatype |
RDFDatatypeSub | Swish.RDF.RDFDatatype |
RDFDatatypeVal | Swish.RDF.RDFDatatype |
rdfDatatypeValXsdInteger | Swish.RDF.RDFDatatypeXsdInteger |
rdfDatatypeValXsdString | Swish.RDF.RDFDatatypeXsdString |
rdfDatatypeXsdInteger | Swish.RDF.RDFDatatypeXsdInteger |
rdfDatatypeXsdString | Swish.RDF.RDFDatatypeXsdString |
rdfdConstraint | Swish.RDF.Vocabulary |
rdfdGeneralRestriction | Swish.RDF.Vocabulary |
rdfdMaxCardinality | Swish.RDF.Vocabulary |
rdfdOnProperties | Swish.RDF.Vocabulary |
rdfFindArcs | Swish.RDF.RDFQuery |
rdfFindList | Swish.RDF.RDFQuery |
rdfFindPredInt | Swish.RDF.RDFQuery |
rdfFindPredVal | Swish.RDF.RDFQuery |
rdfFindValSubj | Swish.RDF.RDFQuery |
rdfFirst | Swish.RDF.Vocabulary |
RDFFormula | Swish.RDF.RDFRuleset |
RDFGraph | Swish.RDF.RDFGraph, Swish.RDF |
rdfID | Swish.RDF.Vocabulary |
RDFLabel | Swish.RDF.RDFGraph, Swish.RDF |
RDFModifierFn | Swish.RDF.RDFDatatype |
rdfNil | Swish.RDF.Vocabulary |
rdfObjEq | Swish.RDF.RDFQuery |
RDFOpenVarBindingModify | Swish.RDF.RDFVarBinding |
RDFOpenVarBindingModifyMap | Swish.RDF.RDFVarBinding |
rdfPredEq | Swish.RDF.RDFQuery |
RDFProof | Swish.RDF.RDFProof |
RDFProofStep | Swish.RDF.RDFProof |
rdfQueryBack | Swish.RDF.RDFQuery |
rdfQueryBackFilter | Swish.RDF.RDFQuery |
rdfQueryBackModify | Swish.RDF.RDFQuery |
rdfQueryBackSubs | Swish.RDF.RDFQuery |
rdfQueryBackSubsBlank | Swish.RDF.RDFQuery |
rdfQueryFilter | Swish.RDF.RDFQuery |
rdfQueryFind | Swish.RDF.RDFQuery |
rdfQueryInstance | Swish.RDF.RDFQuery |
rdfQuerySubs | Swish.RDF.RDFQuery |
rdfQuerySubs2 | Swish.RDF.RDFQuery |
rdfQuerySubsAll | Swish.RDF.RDFQuery |
rdfQuerySubsBlank | Swish.RDF.RDFQuery |
rdfResource | Swish.RDF.Vocabulary |
rdfRest | Swish.RDF.Vocabulary |
RDFRule | Swish.RDF.RDFRuleset |
RDFRuleMap | Swish.RDF.RDFRuleset |
RDFRuleset | Swish.RDF.RDFRuleset |
RDFRulesetMap | Swish.RDF.RDFRuleset |
rdfRulesetMap | Swish.RDF.BuiltInRules, Swish.RDF.BuiltInMap |
rdfsMember | Swish.RDF.Vocabulary |
rdfSubjEq | Swish.RDF.RDFQuery |
RDFTriple | Swish.RDF.RDFGraph, Swish.RDF |
rdfType | Swish.RDF.Vocabulary |
RDFVarBinding | Swish.RDF.RDFVarBinding |
rdfVarBindingBlank | Swish.RDF.RDFVarBinding |
rdfVarBindingDatatyped | Swish.RDF.RDFVarBinding |
RDFVarBindingFilter | Swish.RDF.RDFVarBinding |
rdfVarBindingLiteral | Swish.RDF.RDFVarBinding |
rdfVarBindingMemberProp | Swish.RDF.RDFVarBinding |
RDFVarBindingModify | Swish.RDF.RDFVarBinding |
rdfVarBindingTypedLiteral | Swish.RDF.RDFVarBinding |
rdfVarBindingUntypedLiteral | Swish.RDF.RDFVarBinding |
rdfVarBindingUriRef | Swish.RDF.RDFVarBinding |
rdfVarBindingXMLLiteral | Swish.RDF.RDFVarBinding |
rdfXMLLiteral | Swish.RDF.Vocabulary |
reclassify | Swish.RDF.GraphMatch |
remapLabelList | Swish.RDF.RDFGraph, Swish.RDF |
remapLabels | Swish.RDF.RDFGraph, Swish.RDF |
replaceArcs | Swish.RDF.GraphClass |
reportLine | Swish.RDF.SwishMonad |
reportLines | Swish.RDF.SwishMonad |
Res | Swish.RDF.RDFGraph, Swish.RDF |
resetError | Swish.RDF.SwishMonad |
resetInfo | Swish.RDF.SwishMonad |
resLogImplies | Swish.RDF.RDFGraph, Swish.RDF |
resOwlSameAs | Swish.RDF.RDFGraph, Swish.RDF |
resRdfdConstraint | Swish.RDF.RDFGraph, Swish.RDF |
resRdfdGeneralRestriction | Swish.RDF.RDFGraph, Swish.RDF |
resRdfdMaxCardinality | Swish.RDF.RDFGraph, Swish.RDF |
resRdfdOnProperties | Swish.RDF.RDFGraph, Swish.RDF |
resRdfFirst | Swish.RDF.RDFGraph, Swish.RDF |
resRdfNil | Swish.RDF.RDFGraph, Swish.RDF |
resRdfRest | Swish.RDF.RDFGraph, Swish.RDF |
resRdfsMember | Swish.RDF.RDFGraph, Swish.RDF |
resRdfType | Swish.RDF.RDFGraph, Swish.RDF |
reverseLookupMap | Swish.Utils.LookupMap |
RevNamespace | Swish.RDF.RDFGraph, Swish.RDF |
RevNamespaceMap | Swish.RDF.RDFGraph, Swish.RDF |
rsAxioms | Swish.RDF.Ruleset |
rsNamespace | Swish.RDF.Ruleset |
rsRules | Swish.RDF.Ruleset |
Rule | |
1 (Type/Class) | Swish.RDF.Rule |
2 (Data Constructor) | Swish.RDF.Rule |
ruleAnt | Swish.RDF.RDFRuleset |
ruleCon | Swish.RDF.RDFRuleset |
RuleMap | Swish.RDF.Rule |
ruleModify | Swish.RDF.RDFRuleset |
ruleName | Swish.RDF.Rule |
rules | Swish.RDF.SwishMonad |
Ruleset | |
1 (Type/Class) | Swish.RDF.Ruleset |
2 (Data Constructor) | Swish.RDF.Ruleset |
RulesetMap | Swish.RDF.Ruleset |
rulesetRDF | Swish.RDF.RDFProofContext |
rulesetRDFD | Swish.RDF.RDFProofContext |
rulesetRDFS | Swish.RDF.RDFProofContext |
rulesets | Swish.RDF.SwishMonad |
rulesXsdInteger | Swish.RDF.RDFDatatypeXsdInteger |
rulesXsdString | Swish.RDF.RDFDatatypeXsdString |
runSwish | Swish.RDF.SwishMain, Swish |
runSwishActions | Swish.RDF.SwishMain, Swish |
ScopedLabel | |
1 (Type/Class) | Swish.RDF.GraphMatch |
2 (Data Constructor) | Swish.RDF.GraphMatch |
ScopedName | Swish.Utils.Namespace |
scopeRDF | Swish.RDF.Vocabulary |
scopeRDFD | Swish.RDF.Vocabulary |
scopeRDFS | Swish.RDF.Vocabulary |
select | Swish.Utils.ListHelpers |
Selector | Swish.RDF.GraphClass, Swish.RDF.RDFGraph, Swish.RDF |
sepEndBy | Swish.RDF.RDFParser |
sepEndBy1 | Swish.RDF.RDFParser |
setArcs | Swish.RDF.GraphClass, Swish.RDF.GraphMem, Swish.RDF.RDFGraph, Swish.RDF |
setBase | Swish.RDF.SwishMonad |
setError | Swish.RDF.SwishMonad |
setFormat | Swish.RDF.SwishMonad |
setFormula | Swish.RDF.RDFGraph, Swish.RDF |
setFormulae | Swish.RDF.RDFGraph, Swish.RDF |
setGraph | Swish.RDF.SwishMonad |
setInfo | Swish.RDF.SwishMonad |
setLabelHash | Swish.RDF.GraphMatch |
setNamespaces | Swish.RDF.RDFGraph, Swish.RDF |
setStatus | Swish.RDF.SwishMonad |
ShowM | Swish.Utils.ShowM |
showms | Swish.Utils.ShowM |
showProof | Swish.RDF.Proof |
showsFormula | Swish.RDF.Rule, Swish.RDF.Proof |
showsFormulae | Swish.RDF.Rule |
showsProof | Swish.RDF.Proof |
showsWidth | Swish.RDF.Rule |
skipMany | Swish.RDF.RDFParser |
skipMany1 | Swish.RDF.RDFParser |
SpecialMap | Swish.RDF.RDFParser, Swish.RDF.N3Parser |
specialTable | Swish.RDF.RDFParser |
splitArguments | Swish.RDF.SwishMain, Swish |
statements | Swish.RDF.RDFGraph, Swish.RDF |
Step | |
1 (Type/Class) | Swish.RDF.Proof |
2 (Data Constructor) | Swish.RDF.Proof |
stepAnt | Swish.RDF.Proof |
stepCon | Swish.RDF.Proof |
stepRule | Swish.RDF.Proof |
string | Swish.RDF.RDFParser |
stringT | Swish.RDF.RDFParser |
subBinding | Swish.RDF.VarBinding |
subgraph | Swish.RDF.N3Parser |
subset | Swish.Utils.ListHelpers |
SwishAction | Swish.RDF.SwishMain, Swish |
SwishArgumentError | Swish.RDF.SwishMonad, Swish.RDF.SwishMain, Swish |
swishBase | Swish.RDF.SwishCommands |
swishCompare | Swish.RDF.SwishCommands |
SwishDataAccessError | Swish.RDF.SwishMonad, Swish.RDF.SwishMain, Swish |
SwishDataInputError | Swish.RDF.SwishMonad, Swish.RDF.SwishMain, Swish |
swishError | Swish.RDF.SwishMonad |
SwishExecutionError | Swish.RDF.SwishMonad, Swish.RDF.SwishMain, Swish |
SwishFormat | Swish.RDF.SwishMonad |
swishFormat | Swish.RDF.SwishCommands |
SwishGraphCompareError | Swish.RDF.SwishMonad, Swish.RDF.SwishMain, Swish |
swishGraphDiff | Swish.RDF.SwishCommands |
swishInput | Swish.RDF.SwishCommands |
swishMerge | Swish.RDF.SwishCommands |
swishName | Swish.RDF.Vocabulary |
swishOutput | Swish.RDF.SwishCommands |
swishScript | Swish.RDF.SwishCommands |
SwishState | |
1 (Type/Class) | Swish.RDF.SwishMonad |
2 (Data Constructor) | Swish.RDF.SwishMonad |
SwishStateIO | Swish.RDF.SwishMonad |
SwishStatus | Swish.RDF.SwishMonad, Swish.RDF.SwishMain, Swish |
SwishSuccess | Swish.RDF.SwishMonad, Swish.RDF.SwishMain, Swish |
symbol | Swish.RDF.RDFParser |
syntaxUris | Swish.RDF.N3Parser |
thisNode | Swish.RDF.N3Parser |
toArcs | Swish.RDF.GraphPartition |
toRDFGraph | Swish.RDF.RDFGraph, Swish.RDF |
ToRDFLabel | Swish.RDF.RDFGraph, Swish.RDF |
toRDFLabel | |
1 (Function) | Swish.RDF.RDFGraph, Swish.RDF |
2 (Function) | Swish.RDF.RDFDatatype |
toRDFTriple | Swish.RDF.RDFGraph, Swish.RDF |
trelSub | Swish.RDF.Datatype |
trelSup | Swish.RDF.Datatype |
trelToSub | Swish.RDF.Datatype |
trelToSup | Swish.RDF.Datatype |
tvalMap | Swish.RDF.Datatype |
tvalMkCanonicalForm | Swish.RDF.Datatype |
tvalMkMods | Swish.RDF.Datatype |
tvalMkRules | Swish.RDF.Datatype |
tvalMod | Swish.RDF.Datatype |
tvalName | Swish.RDF.Datatype |
tvalRel | Swish.RDF.Datatype |
tvalRules | Swish.RDF.Datatype |
typeMkCanonicalForm | Swish.RDF.Datatype |
typeMkModifiers | Swish.RDF.Datatype |
typeMkRules | Swish.RDF.Datatype |
typeName | Swish.RDF.Datatype |
typeNameXsdInteger | Swish.RDF.RDFDatatypeXsdInteger |
typeNameXsdString | Swish.RDF.RDFDatatypeXsdString |
typeRules | Swish.RDF.Datatype |
unaryFnApp | Swish.RDF.Datatype |
UnaryFnApply | Swish.RDF.Datatype |
UnaryFnDescr | Swish.RDF.Datatype |
UnaryFnTable | Swish.RDF.Datatype |
update | Swish.RDF.GraphClass, Swish.RDF.RDFGraph, Swish.RDF |
validateCommands | Swish.RDF.SwishMain, Swish |
Var | Swish.RDF.RDFGraph, Swish.RDF |
VarBinding | |
1 (Type/Class) | Swish.RDF.VarBinding |
2 (Data Constructor) | Swish.RDF.VarBinding |
VarBindingFilter | |
1 (Type/Class) | Swish.RDF.VarBinding |
2 (Data Constructor) | Swish.RDF.VarBinding |
varBindingId | Swish.RDF.VarBinding |
VarBindingModify | |
1 (Type/Class) | Swish.RDF.VarBinding |
2 (Data Constructor) | Swish.RDF.VarBinding |
varFilterConjunction | Swish.RDF.VarBinding |
varFilterDisjunction | Swish.RDF.VarBinding |
varFilterEQ | Swish.RDF.VarBinding |
varFilterNE | Swish.RDF.VarBinding |
vbEnum | Swish.RDF.VarBinding |
vbfName | Swish.RDF.VarBinding |
vbfTest | Swish.RDF.VarBinding |
vbfVocab | Swish.RDF.VarBinding |
vbMap | Swish.RDF.VarBinding |
vbmApply | Swish.RDF.VarBinding |
vbmCompatibility | Swish.RDF.VarBinding |
vbmCompose | Swish.RDF.VarBinding |
vbmName | Swish.RDF.VarBinding |
vbmUsage | Swish.RDF.VarBinding |
vbmVocab | Swish.RDF.VarBinding |
vbNull | Swish.RDF.VarBinding |
vmap | Swish.Utils.LookupMap |
whiteSpace | Swish.RDF.RDFParser |
xsdBoolean | Swish.RDF.Vocabulary |
xsdDate | Swish.RDF.Vocabulary |
xsdDateTime | Swish.RDF.Vocabulary |
xsdDecimal | Swish.RDF.Vocabulary |
xsdDouble | Swish.RDF.Vocabulary |
xsdFloat | Swish.RDF.Vocabulary |
xsdInteger | Swish.RDF.Vocabulary |
xsdNegInteger | Swish.RDF.Vocabulary |
xsdNonNegInteger | Swish.RDF.Vocabulary |
xsdNonPosInteger | Swish.RDF.Vocabulary |
xsdPosInteger | Swish.RDF.Vocabulary |
xsdString | Swish.RDF.Vocabulary |
xsdType | Swish.RDF.Vocabulary |