swish 0.9.1.3 → 0.9.1.5
raw patch · 2 files changed
+33/−17 lines, 2 filesdep ~HUnitdep ~semigroupsPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: HUnit, semigroups
API changes (from Hackage documentation)
- Data.Interned.URI: instance Eq (Description InternedURI)
- Data.Interned.URI: instance Eq InternedURI
- Data.Interned.URI: instance Hashable (Description InternedURI)
- Data.Interned.URI: instance Interned InternedURI
- Data.Interned.URI: instance IsString InternedURI
- Data.Interned.URI: instance Ord InternedURI
- Data.Interned.URI: instance Show InternedURI
- Data.Interned.URI: instance Uninternable InternedURI
- Swish: instance Show SwishAction
- Swish.Datatype: dmAppf :: DatatypeMod vt lb vn -> ApplyModifier lb vn
- Swish.Datatype: dmModf :: DatatypeMod vt lb vn -> [ModifierFn vt]
- Swish.Datatype: dmName :: DatatypeMod vt lb vn -> ScopedName
- Swish.Datatype: dtRelFunc :: DatatypeRel vt -> DatatypeRelFn vt
- Swish.Datatype: dtRelName :: DatatypeRel vt -> ScopedName
- Swish.Datatype: mapL2V :: DatatypeMap vt -> Text -> Maybe vt
- Swish.Datatype: mapV2L :: DatatypeMap vt -> vt -> Maybe Text
- Swish.Datatype: trelSub :: DatatypeSub ex lb vn supvt subvt -> DatatypeVal ex subvt lb vn
- Swish.Datatype: trelSup :: DatatypeSub ex lb vn supvt subvt -> DatatypeVal ex supvt lb vn
- Swish.Datatype: trelToSub :: DatatypeSub ex lb vn supvt subvt -> supvt -> Maybe subvt
- Swish.Datatype: trelToSup :: DatatypeSub ex lb vn supvt subvt -> subvt -> supvt
- Swish.Datatype: tvalMap :: DatatypeVal ex vt lb vn -> DatatypeMap vt
- Swish.Datatype: tvalMkMods :: DatatypeVal ex vt lb vn -> [OpenVarBindingModify lb vn]
- Swish.Datatype: tvalMkRules :: DatatypeVal ex vt lb vn -> ex -> [Rule ex]
- Swish.Datatype: tvalMod :: DatatypeVal ex vt lb vn -> [DatatypeMod vt lb vn]
- Swish.Datatype: tvalName :: DatatypeVal ex vt lb vn -> ScopedName
- Swish.Datatype: tvalRel :: DatatypeVal ex vt lb vn -> [DatatypeRel vt]
- Swish.Datatype: tvalRules :: DatatypeVal ex vt lb vn -> Ruleset ex
- Swish.GraphClass: arcObj :: Arc lb -> lb
- Swish.GraphClass: arcPred :: Arc lb -> lb
- Swish.GraphClass: arcSubj :: Arc lb -> lb
- Swish.GraphClass: instance Eq lb => Eq (Arc lb)
- Swish.GraphClass: instance Foldable Arc
- Swish.GraphClass: instance Functor Arc
- Swish.GraphClass: instance Hashable lb => Hashable (Arc lb)
- Swish.GraphClass: instance Ord lb => Ord (Arc lb)
- Swish.GraphClass: instance Show lb => Show (Arc lb)
- Swish.GraphClass: instance Traversable Arc
- Swish.GraphMatch: instance (Label lb, Eq lv) => Eq (GenLabelEntry lb lv)
- Swish.GraphMatch: instance (Label lb, Show lv) => Show (GenLabelEntry lb lv)
- Swish.GraphMatch: instance (Label lb, Show lv, Ord lv) => Ord (GenLabelEntry lb lv)
- Swish.GraphMatch: instance Label lb => Eq (LabelMap lb)
- Swish.GraphMatch: instance Label lb => Eq (ScopedLabel lb)
- Swish.GraphMatch: instance Label lb => Label (ScopedLabel lb)
- Swish.GraphMatch: instance Label lb => Ord (ScopedLabel lb)
- Swish.GraphMatch: instance Label lb => Show (LabelMap lb)
- Swish.GraphMatch: instance Label lb => Show (ScopedLabel lb)
- Swish.GraphMem: arcs :: GraphMem lb -> ArcSet lb
- Swish.GraphMem: instance Eq LabelMem
- Swish.GraphMem: instance Hashable LabelMem
- Swish.GraphMem: instance Label LabelMem
- Swish.GraphMem: instance Label lb => Eq (GraphMem lb)
- Swish.GraphMem: instance Label lb => LDGraph GraphMem lb
- Swish.GraphMem: instance Label lb => Monoid (GraphMem lb)
- Swish.GraphMem: instance Label lb => Ord (GraphMem lb)
- Swish.GraphMem: instance Label lb => Show (GraphMem lb)
- Swish.GraphMem: instance Ord LabelMem
- Swish.GraphMem: instance Show LabelMem
- Swish.GraphPartition: instance Label lb => Eq (GraphPartition lb)
- Swish.GraphPartition: instance Label lb => Eq (PartitionedGraph lb)
- Swish.GraphPartition: instance Label lb => Ord (GraphPartition lb)
- Swish.GraphPartition: instance Label lb => Show (GraphPartition lb)
- Swish.GraphPartition: instance Label lb => Show (PartitionedGraph lb)
- Swish.Monad: base :: SwishState -> Maybe QName
- Swish.Monad: errormsg :: SwishState -> Maybe String
- Swish.Monad: exitcode :: SwishState -> SwishStatus
- Swish.Monad: format :: SwishState -> SwishFormat
- Swish.Monad: graph :: SwishState -> RDFGraph
- Swish.Monad: graphs :: SwishState -> NamedGraphMap
- Swish.Monad: infomsg :: SwishState -> Maybe String
- Swish.Monad: instance Enum SwishStatus
- Swish.Monad: instance Eq SwishFormat
- Swish.Monad: instance Eq SwishStatus
- Swish.Monad: instance Show SwishFormat
- Swish.Monad: instance Show SwishStatus
- Swish.Monad: rules :: SwishState -> RDFRuleMap
- Swish.Monad: rulesets :: SwishState -> RDFRulesetMap
- Swish.Namespace: instance Eq Namespace
- Swish.Namespace: instance Eq ScopedName
- Swish.Namespace: instance IsString ScopedName
- Swish.Namespace: instance Ord Namespace
- Swish.Namespace: instance Ord ScopedName
- Swish.Namespace: instance Show Namespace
- Swish.Namespace: instance Show ScopedName
- Swish.Proof: instance Show ex => Show (Step ex)
- Swish.Proof: proofChain :: Proof ex -> [Step ex]
- Swish.Proof: proofContext :: Proof ex -> [Ruleset ex]
- Swish.Proof: proofInput :: Proof ex -> Formula ex
- Swish.Proof: proofResult :: Proof ex -> Formula ex
- Swish.Proof: stepAnt :: Step ex -> [Formula ex]
- Swish.Proof: stepCon :: Step ex -> Formula ex
- Swish.Proof: stepRule :: Step ex -> Rule ex
- Swish.QName: instance Eq LName
- Swish.QName: instance Eq QName
- Swish.QName: instance IsString LName
- Swish.QName: instance IsString QName
- Swish.QName: instance Ord LName
- Swish.QName: instance Ord QName
- Swish.QName: instance Show LName
- Swish.QName: instance Show QName
- Swish.RDF.ClassRestrictionRule: crFunc :: ClassRestriction -> ClassRestrictionFn
- Swish.RDF.ClassRestrictionRule: crName :: ClassRestriction -> ScopedName
- Swish.RDF.ClassRestrictionRule: instance Eq ClassRestriction
- Swish.RDF.ClassRestrictionRule: instance Show ClassRestriction
- Swish.RDF.Graph: arcObj :: Arc lb -> lb
- Swish.RDF.Graph: arcPred :: Arc lb -> lb
- Swish.RDF.Graph: arcSubj :: Arc lb -> lb
- Swish.RDF.Graph: formGraph :: LookupFormula lb gr -> gr
- Swish.RDF.Graph: formLabel :: LookupFormula lb gr -> lb
- Swish.RDF.Graph: formulae :: NSGraph lb -> FormulaMap lb
- Swish.RDF.Graph: instance (Eq lb, Eq gr) => Eq (LookupFormula lb gr)
- Swish.RDF.Graph: instance (Ord lb, Ord gr) => Ord (LookupFormula lb gr)
- Swish.RDF.Graph: instance Eq RDFLabel
- Swish.RDF.Graph: instance FromRDFLabel Bool
- Swish.RDF.Graph: instance FromRDFLabel Char
- Swish.RDF.Graph: instance FromRDFLabel Day
- Swish.RDF.Graph: instance FromRDFLabel Double
- Swish.RDF.Graph: instance FromRDFLabel Float
- Swish.RDF.Graph: instance FromRDFLabel Int
- Swish.RDF.Graph: instance FromRDFLabel Integer
- Swish.RDF.Graph: instance FromRDFLabel QName
- Swish.RDF.Graph: instance FromRDFLabel RDFLabel
- Swish.RDF.Graph: instance FromRDFLabel ScopedName
- Swish.RDF.Graph: instance FromRDFLabel String
- Swish.RDF.Graph: instance FromRDFLabel URI
- Swish.RDF.Graph: instance FromRDFLabel UTCTime
- Swish.RDF.Graph: instance IsString RDFLabel
- Swish.RDF.Graph: instance Label RDFLabel
- Swish.RDF.Graph: instance Label lb => Eq (NSGraph lb)
- Swish.RDF.Graph: instance Label lb => LDGraph NSGraph lb
- Swish.RDF.Graph: instance Label lb => Monoid (NSGraph lb)
- Swish.RDF.Graph: instance Label lb => Ord (NSGraph lb)
- Swish.RDF.Graph: instance Label lb => Show (Formula lb)
- Swish.RDF.Graph: instance Label lb => Show (NSGraph lb)
- Swish.RDF.Graph: instance Ord RDFLabel
- Swish.RDF.Graph: instance Show RDFLabel
- Swish.RDF.Graph: instance ToRDFLabel Bool
- Swish.RDF.Graph: instance ToRDFLabel Char
- Swish.RDF.Graph: instance ToRDFLabel Day
- Swish.RDF.Graph: instance ToRDFLabel Double
- Swish.RDF.Graph: instance ToRDFLabel Float
- Swish.RDF.Graph: instance ToRDFLabel Int
- Swish.RDF.Graph: instance ToRDFLabel Integer
- Swish.RDF.Graph: instance ToRDFLabel QName
- Swish.RDF.Graph: instance ToRDFLabel RDFLabel
- Swish.RDF.Graph: instance ToRDFLabel ScopedName
- Swish.RDF.Graph: instance ToRDFLabel String
- Swish.RDF.Graph: instance ToRDFLabel URI
- Swish.RDF.Graph: instance ToRDFLabel UTCTime
- Swish.RDF.Graph: namespaces :: NSGraph lb -> NamespaceMap
- Swish.RDF.Graph: statements :: NSGraph lb -> ArcSet lb
- Swish.RDF.GraphShowLines: instance ShowLines RDFGraph
- Swish.RDF.Parser.N3: allowLocalNames :: N3State -> Bool
- Swish.RDF.Parser.N3: graphState :: N3State -> RDFGraph
- Swish.RDF.Parser.N3: keywordsList :: N3State -> [Text]
- Swish.RDF.Parser.N3: nodeGen :: N3State -> Word32
- Swish.RDF.Parser.N3: prefixUris :: N3State -> NamespaceMap
- Swish.RDF.Parser.N3: syntaxUris :: N3State -> SpecialMap
- Swish.RDF.Parser.N3: thisNode :: N3State -> RDFLabel
- Swish.RDF.Parser.Turtle: instance Show TurtleState
- Swish.RDF.Proof: instance (Label lb, LDGraph lg lb, Eq (lg lb)) => Expression (lg lb)
- Swish.RDF.Ruleset: instance Label lb => Eq (GraphClosure lb)
- Swish.RDF.Ruleset: instance Label lb => Show (GraphClosure lb)
- Swish.RDF.Ruleset: nameGraphRule :: GraphClosure lb -> ScopedName
- Swish.RDF.Ruleset: ruleAnt :: GraphClosure lb -> ArcSet lb
- Swish.RDF.Ruleset: ruleCon :: GraphClosure lb -> ArcSet lb
- Swish.RDF.Ruleset: ruleModify :: GraphClosure lb -> VarBindingModify lb lb
- Swish.RDF.Vocabulary: instance Eq LanguageTag
- Swish.RDF.Vocabulary: instance IsString LanguageTag
- Swish.RDF.Vocabulary: instance Ord LanguageTag
- Swish.RDF.Vocabulary: instance Show LanguageTag
- Swish.Rule: bwdApply :: Rule ex -> ex -> [[ex]]
- Swish.Rule: checkInference :: Rule ex -> [ex] -> ex -> Bool
- Swish.Rule: formExpr :: Formula ex -> ex
- Swish.Rule: formName :: Formula ex -> ScopedName
- Swish.Rule: fwdApply :: Rule ex -> [ex] -> [ex]
- Swish.Rule: instance Eq (Formula ex)
- Swish.Rule: instance Eq (Rule ex)
- Swish.Rule: instance Ord (Formula ex)
- Swish.Rule: instance Ord (Rule ex)
- Swish.Rule: instance Show (Rule ex)
- Swish.Rule: instance Show ex => Show (Formula ex)
- Swish.Rule: ruleName :: Rule ex -> ScopedName
- Swish.Ruleset: instance Eq (Ruleset ex)
- Swish.Ruleset: rsAxioms :: Ruleset ex -> [Formula ex]
- Swish.Ruleset: rsNamespace :: Ruleset ex -> Namespace
- Swish.Ruleset: rsRules :: Ruleset ex -> [Rule ex]
- Swish.VarBinding: instance (Ord a, Ord b) => Eq (VarBinding a b)
- Swish.VarBinding: instance (Ord a, Ord b) => Monoid (VarBinding a b)
- Swish.VarBinding: instance (Ord a, Ord b) => Ord (VarBinding a b)
- Swish.VarBinding: instance (Show a, Show b) => Show (VarBinding a b)
- Swish.VarBinding: instance Show (OpenVarBindingModify a b)
- Swish.VarBinding: vbEnum :: VarBinding a b -> Set (a, b)
- Swish.VarBinding: vbMap :: VarBinding a b -> a -> Maybe b
- Swish.VarBinding: vbNull :: VarBinding a b -> Bool
- Swish.VarBinding: vbfName :: VarBindingFilter a b -> ScopedName
- Swish.VarBinding: vbfTest :: VarBindingFilter a b -> VarBinding a b -> Bool
- Swish.VarBinding: vbfVocab :: VarBindingFilter a b -> [a]
- Swish.VarBinding: vbmApply :: VarBindingModify a b -> [VarBinding a b] -> [VarBinding a b]
- Swish.VarBinding: vbmName :: VarBindingModify a b -> ScopedName
- Swish.VarBinding: vbmUsage :: VarBindingModify a b -> [[a]]
- Swish.VarBinding: vbmVocab :: VarBindingModify a b -> [a]
+ Data.Interned.URI: instance Data.Hashable.Class.Hashable (Data.Interned.Internal.Description Data.Interned.URI.InternedURI)
+ Data.Interned.URI: instance Data.Interned.Internal.Interned Data.Interned.URI.InternedURI
+ Data.Interned.URI: instance Data.Interned.Internal.Uninternable Data.Interned.URI.InternedURI
+ Data.Interned.URI: instance Data.String.IsString Data.Interned.URI.InternedURI
+ Data.Interned.URI: instance GHC.Classes.Eq (Data.Interned.Internal.Description Data.Interned.URI.InternedURI)
+ Data.Interned.URI: instance GHC.Classes.Eq Data.Interned.URI.InternedURI
+ Data.Interned.URI: instance GHC.Classes.Ord Data.Interned.URI.InternedURI
+ Data.Interned.URI: instance GHC.Show.Show Data.Interned.URI.InternedURI
+ Swish: instance GHC.Show.Show Swish.SwishAction
+ Swish.Datatype: [dmAppf] :: DatatypeMod vt lb vn -> ApplyModifier lb vn
+ Swish.Datatype: [dmModf] :: DatatypeMod vt lb vn -> [ModifierFn vt]
+ Swish.Datatype: [dmName] :: DatatypeMod vt lb vn -> ScopedName
+ Swish.Datatype: [dtRelFunc] :: DatatypeRel vt -> DatatypeRelFn vt
+ Swish.Datatype: [dtRelName] :: DatatypeRel vt -> ScopedName
+ Swish.Datatype: [mapL2V] :: DatatypeMap vt -> Text -> Maybe vt
+ Swish.Datatype: [mapV2L] :: DatatypeMap vt -> vt -> Maybe Text
+ Swish.Datatype: [trelSub] :: DatatypeSub ex lb vn supvt subvt -> DatatypeVal ex subvt lb vn
+ Swish.Datatype: [trelSup] :: DatatypeSub ex lb vn supvt subvt -> DatatypeVal ex supvt lb vn
+ Swish.Datatype: [trelToSub] :: DatatypeSub ex lb vn supvt subvt -> supvt -> Maybe subvt
+ Swish.Datatype: [trelToSup] :: DatatypeSub ex lb vn supvt subvt -> subvt -> supvt
+ Swish.Datatype: [tvalMap] :: DatatypeVal ex vt lb vn -> DatatypeMap vt
+ Swish.Datatype: [tvalMkMods] :: DatatypeVal ex vt lb vn -> [OpenVarBindingModify lb vn]
+ Swish.Datatype: [tvalMkRules] :: DatatypeVal ex vt lb vn -> ex -> [Rule ex]
+ Swish.Datatype: [tvalMod] :: DatatypeVal ex vt lb vn -> [DatatypeMod vt lb vn]
+ Swish.Datatype: [tvalName] :: DatatypeVal ex vt lb vn -> ScopedName
+ Swish.Datatype: [tvalRel] :: DatatypeVal ex vt lb vn -> [DatatypeRel vt]
+ Swish.Datatype: [tvalRules] :: DatatypeVal ex vt lb vn -> Ruleset ex
+ Swish.GraphClass: [arcObj] :: Arc lb -> lb
+ Swish.GraphClass: [arcPred] :: Arc lb -> lb
+ Swish.GraphClass: [arcSubj] :: Arc lb -> lb
+ Swish.GraphClass: instance Data.Foldable.Foldable Swish.GraphClass.Arc
+ Swish.GraphClass: instance Data.Hashable.Class.Hashable lb => Data.Hashable.Class.Hashable (Swish.GraphClass.Arc lb)
+ Swish.GraphClass: instance Data.Traversable.Traversable Swish.GraphClass.Arc
+ Swish.GraphClass: instance GHC.Base.Functor Swish.GraphClass.Arc
+ Swish.GraphClass: instance GHC.Classes.Eq lb => GHC.Classes.Eq (Swish.GraphClass.Arc lb)
+ Swish.GraphClass: instance GHC.Classes.Ord lb => GHC.Classes.Ord (Swish.GraphClass.Arc lb)
+ Swish.GraphClass: instance GHC.Show.Show lb => GHC.Show.Show (Swish.GraphClass.Arc lb)
+ Swish.GraphMatch: instance (Swish.GraphClass.Label lb, GHC.Classes.Eq lv) => GHC.Classes.Eq (Swish.GraphMatch.GenLabelEntry lb lv)
+ Swish.GraphMatch: instance (Swish.GraphClass.Label lb, GHC.Show.Show lv) => GHC.Show.Show (Swish.GraphMatch.GenLabelEntry lb lv)
+ Swish.GraphMatch: instance (Swish.GraphClass.Label lb, GHC.Show.Show lv, GHC.Classes.Ord lv) => GHC.Classes.Ord (Swish.GraphMatch.GenLabelEntry lb lv)
+ Swish.GraphMatch: instance Swish.GraphClass.Label lb => GHC.Classes.Eq (Swish.GraphMatch.LabelMap lb)
+ Swish.GraphMatch: instance Swish.GraphClass.Label lb => GHC.Classes.Eq (Swish.GraphMatch.ScopedLabel lb)
+ Swish.GraphMatch: instance Swish.GraphClass.Label lb => GHC.Classes.Ord (Swish.GraphMatch.ScopedLabel lb)
+ Swish.GraphMatch: instance Swish.GraphClass.Label lb => GHC.Show.Show (Swish.GraphMatch.LabelMap lb)
+ Swish.GraphMatch: instance Swish.GraphClass.Label lb => GHC.Show.Show (Swish.GraphMatch.ScopedLabel lb)
+ Swish.GraphMatch: instance Swish.GraphClass.Label lb => Swish.GraphClass.Label (Swish.GraphMatch.ScopedLabel lb)
+ Swish.GraphMem: [arcs] :: GraphMem lb -> ArcSet lb
+ Swish.GraphMem: instance Data.Hashable.Class.Hashable Swish.GraphMem.LabelMem
+ Swish.GraphMem: instance GHC.Classes.Eq Swish.GraphMem.LabelMem
+ Swish.GraphMem: instance GHC.Classes.Ord Swish.GraphMem.LabelMem
+ Swish.GraphMem: instance GHC.Show.Show Swish.GraphMem.LabelMem
+ Swish.GraphMem: instance Swish.GraphClass.Label Swish.GraphMem.LabelMem
+ Swish.GraphMem: instance Swish.GraphClass.Label lb => GHC.Base.Monoid (Swish.GraphMem.GraphMem lb)
+ Swish.GraphMem: instance Swish.GraphClass.Label lb => GHC.Classes.Eq (Swish.GraphMem.GraphMem lb)
+ Swish.GraphMem: instance Swish.GraphClass.Label lb => GHC.Classes.Ord (Swish.GraphMem.GraphMem lb)
+ Swish.GraphMem: instance Swish.GraphClass.Label lb => GHC.Show.Show (Swish.GraphMem.GraphMem lb)
+ Swish.GraphMem: instance Swish.GraphClass.Label lb => Swish.GraphClass.LDGraph Swish.GraphMem.GraphMem lb
+ Swish.GraphPartition: instance Swish.GraphClass.Label lb => GHC.Classes.Eq (Swish.GraphPartition.GraphPartition lb)
+ Swish.GraphPartition: instance Swish.GraphClass.Label lb => GHC.Classes.Eq (Swish.GraphPartition.PartitionedGraph lb)
+ Swish.GraphPartition: instance Swish.GraphClass.Label lb => GHC.Classes.Ord (Swish.GraphPartition.GraphPartition lb)
+ Swish.GraphPartition: instance Swish.GraphClass.Label lb => GHC.Show.Show (Swish.GraphPartition.GraphPartition lb)
+ Swish.GraphPartition: instance Swish.GraphClass.Label lb => GHC.Show.Show (Swish.GraphPartition.PartitionedGraph lb)
+ Swish.Monad: [base] :: SwishState -> Maybe QName
+ Swish.Monad: [errormsg] :: SwishState -> Maybe String
+ Swish.Monad: [exitcode] :: SwishState -> SwishStatus
+ Swish.Monad: [format] :: SwishState -> SwishFormat
+ Swish.Monad: [graph] :: SwishState -> RDFGraph
+ Swish.Monad: [graphs] :: SwishState -> NamedGraphMap
+ Swish.Monad: [infomsg] :: SwishState -> Maybe String
+ Swish.Monad: [rules] :: SwishState -> RDFRuleMap
+ Swish.Monad: [rulesets] :: SwishState -> RDFRulesetMap
+ Swish.Monad: instance GHC.Classes.Eq Swish.Monad.SwishFormat
+ Swish.Monad: instance GHC.Classes.Eq Swish.Monad.SwishStatus
+ Swish.Monad: instance GHC.Enum.Enum Swish.Monad.SwishStatus
+ Swish.Monad: instance GHC.Show.Show Swish.Monad.SwishFormat
+ Swish.Monad: instance GHC.Show.Show Swish.Monad.SwishStatus
+ Swish.Namespace: instance Data.String.IsString Swish.Namespace.ScopedName
+ Swish.Namespace: instance GHC.Classes.Eq Swish.Namespace.Namespace
+ Swish.Namespace: instance GHC.Classes.Eq Swish.Namespace.ScopedName
+ Swish.Namespace: instance GHC.Classes.Ord Swish.Namespace.Namespace
+ Swish.Namespace: instance GHC.Classes.Ord Swish.Namespace.ScopedName
+ Swish.Namespace: instance GHC.Show.Show Swish.Namespace.Namespace
+ Swish.Namespace: instance GHC.Show.Show Swish.Namespace.ScopedName
+ Swish.Proof: [proofChain] :: Proof ex -> [Step ex]
+ Swish.Proof: [proofContext] :: Proof ex -> [Ruleset ex]
+ Swish.Proof: [proofInput] :: Proof ex -> Formula ex
+ Swish.Proof: [proofResult] :: Proof ex -> Formula ex
+ Swish.Proof: [stepAnt] :: Step ex -> [Formula ex]
+ Swish.Proof: [stepCon] :: Step ex -> Formula ex
+ Swish.Proof: [stepRule] :: Step ex -> Rule ex
+ Swish.Proof: instance GHC.Show.Show ex => GHC.Show.Show (Swish.Proof.Step ex)
+ Swish.QName: instance Data.String.IsString Swish.QName.LName
+ Swish.QName: instance Data.String.IsString Swish.QName.QName
+ Swish.QName: instance GHC.Classes.Eq Swish.QName.LName
+ Swish.QName: instance GHC.Classes.Eq Swish.QName.QName
+ Swish.QName: instance GHC.Classes.Ord Swish.QName.LName
+ Swish.QName: instance GHC.Classes.Ord Swish.QName.QName
+ Swish.QName: instance GHC.Show.Show Swish.QName.LName
+ Swish.QName: instance GHC.Show.Show Swish.QName.QName
+ Swish.RDF.ClassRestrictionRule: [crFunc] :: ClassRestriction -> ClassRestrictionFn
+ Swish.RDF.ClassRestrictionRule: [crName] :: ClassRestriction -> ScopedName
+ Swish.RDF.ClassRestrictionRule: instance GHC.Classes.Eq Swish.RDF.ClassRestrictionRule.ClassRestriction
+ Swish.RDF.ClassRestrictionRule: instance GHC.Show.Show Swish.RDF.ClassRestrictionRule.ClassRestriction
+ Swish.RDF.Graph: [arcObj] :: Arc lb -> lb
+ Swish.RDF.Graph: [arcPred] :: Arc lb -> lb
+ Swish.RDF.Graph: [arcSubj] :: Arc lb -> lb
+ Swish.RDF.Graph: [formGraph] :: LookupFormula lb gr -> gr
+ Swish.RDF.Graph: [formLabel] :: LookupFormula lb gr -> lb
+ Swish.RDF.Graph: [formulae] :: NSGraph lb -> FormulaMap lb
+ Swish.RDF.Graph: [namespaces] :: NSGraph lb -> NamespaceMap
+ Swish.RDF.Graph: [statements] :: NSGraph lb -> ArcSet lb
+ Swish.RDF.Graph: instance (GHC.Classes.Eq lb, GHC.Classes.Eq gr) => GHC.Classes.Eq (Swish.RDF.Graph.LookupFormula lb gr)
+ Swish.RDF.Graph: instance (GHC.Classes.Ord lb, GHC.Classes.Ord gr) => GHC.Classes.Ord (Swish.RDF.Graph.LookupFormula lb gr)
+ Swish.RDF.Graph: instance Data.String.IsString Swish.RDF.Graph.RDFLabel
+ Swish.RDF.Graph: instance GHC.Classes.Eq Swish.RDF.Graph.RDFLabel
+ Swish.RDF.Graph: instance GHC.Classes.Ord Swish.RDF.Graph.RDFLabel
+ Swish.RDF.Graph: instance GHC.Show.Show Swish.RDF.Graph.RDFLabel
+ Swish.RDF.Graph: instance Swish.GraphClass.Label Swish.RDF.Graph.RDFLabel
+ Swish.RDF.Graph: instance Swish.GraphClass.Label lb => GHC.Base.Monoid (Swish.RDF.Graph.NSGraph lb)
+ Swish.RDF.Graph: instance Swish.GraphClass.Label lb => GHC.Classes.Eq (Swish.RDF.Graph.NSGraph lb)
+ Swish.RDF.Graph: instance Swish.GraphClass.Label lb => GHC.Classes.Ord (Swish.RDF.Graph.NSGraph lb)
+ Swish.RDF.Graph: instance Swish.GraphClass.Label lb => GHC.Show.Show (Swish.RDF.Graph.Formula lb)
+ Swish.RDF.Graph: instance Swish.GraphClass.Label lb => GHC.Show.Show (Swish.RDF.Graph.NSGraph lb)
+ Swish.RDF.Graph: instance Swish.GraphClass.Label lb => Swish.GraphClass.LDGraph Swish.RDF.Graph.NSGraph lb
+ Swish.RDF.Graph: instance Swish.RDF.Graph.FromRDFLabel Data.Time.Calendar.Days.Day
+ Swish.RDF.Graph: instance Swish.RDF.Graph.FromRDFLabel Data.Time.Clock.UTC.UTCTime
+ Swish.RDF.Graph: instance Swish.RDF.Graph.FromRDFLabel GHC.Base.String
+ Swish.RDF.Graph: instance Swish.RDF.Graph.FromRDFLabel GHC.Integer.Type.Integer
+ Swish.RDF.Graph: instance Swish.RDF.Graph.FromRDFLabel GHC.Types.Bool
+ Swish.RDF.Graph: instance Swish.RDF.Graph.FromRDFLabel GHC.Types.Char
+ Swish.RDF.Graph: instance Swish.RDF.Graph.FromRDFLabel GHC.Types.Double
+ Swish.RDF.Graph: instance Swish.RDF.Graph.FromRDFLabel GHC.Types.Float
+ Swish.RDF.Graph: instance Swish.RDF.Graph.FromRDFLabel GHC.Types.Int
+ Swish.RDF.Graph: instance Swish.RDF.Graph.FromRDFLabel Network.URI.URI
+ Swish.RDF.Graph: instance Swish.RDF.Graph.FromRDFLabel Swish.Namespace.ScopedName
+ Swish.RDF.Graph: instance Swish.RDF.Graph.FromRDFLabel Swish.QName.QName
+ Swish.RDF.Graph: instance Swish.RDF.Graph.FromRDFLabel Swish.RDF.Graph.RDFLabel
+ Swish.RDF.Graph: instance Swish.RDF.Graph.ToRDFLabel Data.Time.Calendar.Days.Day
+ Swish.RDF.Graph: instance Swish.RDF.Graph.ToRDFLabel Data.Time.Clock.UTC.UTCTime
+ Swish.RDF.Graph: instance Swish.RDF.Graph.ToRDFLabel GHC.Base.String
+ Swish.RDF.Graph: instance Swish.RDF.Graph.ToRDFLabel GHC.Integer.Type.Integer
+ Swish.RDF.Graph: instance Swish.RDF.Graph.ToRDFLabel GHC.Types.Bool
+ Swish.RDF.Graph: instance Swish.RDF.Graph.ToRDFLabel GHC.Types.Char
+ Swish.RDF.Graph: instance Swish.RDF.Graph.ToRDFLabel GHC.Types.Double
+ Swish.RDF.Graph: instance Swish.RDF.Graph.ToRDFLabel GHC.Types.Float
+ Swish.RDF.Graph: instance Swish.RDF.Graph.ToRDFLabel GHC.Types.Int
+ Swish.RDF.Graph: instance Swish.RDF.Graph.ToRDFLabel Network.URI.URI
+ Swish.RDF.Graph: instance Swish.RDF.Graph.ToRDFLabel Swish.Namespace.ScopedName
+ Swish.RDF.Graph: instance Swish.RDF.Graph.ToRDFLabel Swish.QName.QName
+ Swish.RDF.Graph: instance Swish.RDF.Graph.ToRDFLabel Swish.RDF.Graph.RDFLabel
+ Swish.RDF.GraphShowLines: instance Data.String.ShowLines.ShowLines Swish.RDF.Graph.RDFGraph
+ Swish.RDF.Parser.N3: [allowLocalNames] :: N3State -> Bool
+ Swish.RDF.Parser.N3: [graphState] :: N3State -> RDFGraph
+ Swish.RDF.Parser.N3: [keywordsList] :: N3State -> [Text]
+ Swish.RDF.Parser.N3: [nodeGen] :: N3State -> Word32
+ Swish.RDF.Parser.N3: [prefixUris] :: N3State -> NamespaceMap
+ Swish.RDF.Parser.N3: [syntaxUris] :: N3State -> SpecialMap
+ Swish.RDF.Parser.N3: [thisNode] :: N3State -> RDFLabel
+ Swish.RDF.Parser.Turtle: instance GHC.Show.Show Swish.RDF.Parser.Turtle.TurtleState
+ Swish.RDF.Proof: instance (Swish.GraphClass.Label lb, Swish.GraphClass.LDGraph lg lb, GHC.Classes.Eq (lg lb)) => Swish.Rule.Expression (lg lb)
+ Swish.RDF.Ruleset: [nameGraphRule] :: GraphClosure lb -> ScopedName
+ Swish.RDF.Ruleset: [ruleAnt] :: GraphClosure lb -> ArcSet lb
+ Swish.RDF.Ruleset: [ruleCon] :: GraphClosure lb -> ArcSet lb
+ Swish.RDF.Ruleset: [ruleModify] :: GraphClosure lb -> VarBindingModify lb lb
+ Swish.RDF.Ruleset: instance Swish.GraphClass.Label lb => GHC.Classes.Eq (Swish.RDF.Ruleset.GraphClosure lb)
+ Swish.RDF.Ruleset: instance Swish.GraphClass.Label lb => GHC.Show.Show (Swish.RDF.Ruleset.GraphClosure lb)
+ Swish.RDF.Vocabulary: instance Data.String.IsString Swish.RDF.Vocabulary.LanguageTag
+ Swish.RDF.Vocabulary: instance GHC.Classes.Eq Swish.RDF.Vocabulary.LanguageTag
+ Swish.RDF.Vocabulary: instance GHC.Classes.Ord Swish.RDF.Vocabulary.LanguageTag
+ Swish.RDF.Vocabulary: instance GHC.Show.Show Swish.RDF.Vocabulary.LanguageTag
+ Swish.Rule: [bwdApply] :: Rule ex -> ex -> [[ex]]
+ Swish.Rule: [checkInference] :: Rule ex -> [ex] -> ex -> Bool
+ Swish.Rule: [formExpr] :: Formula ex -> ex
+ Swish.Rule: [formName] :: Formula ex -> ScopedName
+ Swish.Rule: [fwdApply] :: Rule ex -> [ex] -> [ex]
+ Swish.Rule: [ruleName] :: Rule ex -> ScopedName
+ Swish.Rule: instance GHC.Classes.Eq (Swish.Rule.Formula ex)
+ Swish.Rule: instance GHC.Classes.Eq (Swish.Rule.Rule ex)
+ Swish.Rule: instance GHC.Classes.Ord (Swish.Rule.Formula ex)
+ Swish.Rule: instance GHC.Classes.Ord (Swish.Rule.Rule ex)
+ Swish.Rule: instance GHC.Show.Show (Swish.Rule.Rule ex)
+ Swish.Rule: instance GHC.Show.Show ex => GHC.Show.Show (Swish.Rule.Formula ex)
+ Swish.Ruleset: [rsAxioms] :: Ruleset ex -> [Formula ex]
+ Swish.Ruleset: [rsNamespace] :: Ruleset ex -> Namespace
+ Swish.Ruleset: [rsRules] :: Ruleset ex -> [Rule ex]
+ Swish.Ruleset: instance GHC.Classes.Eq (Swish.Ruleset.Ruleset ex)
+ Swish.VarBinding: [vbEnum] :: VarBinding a b -> Set (a, b)
+ Swish.VarBinding: [vbMap] :: VarBinding a b -> a -> Maybe b
+ Swish.VarBinding: [vbNull] :: VarBinding a b -> Bool
+ Swish.VarBinding: [vbfName] :: VarBindingFilter a b -> ScopedName
+ Swish.VarBinding: [vbfTest] :: VarBindingFilter a b -> VarBinding a b -> Bool
+ Swish.VarBinding: [vbfVocab] :: VarBindingFilter a b -> [a]
+ Swish.VarBinding: [vbmApply] :: VarBindingModify a b -> [VarBinding a b] -> [VarBinding a b]
+ Swish.VarBinding: [vbmName] :: VarBindingModify a b -> ScopedName
+ Swish.VarBinding: [vbmUsage] :: VarBindingModify a b -> [[a]]
+ Swish.VarBinding: [vbmVocab] :: VarBindingModify a b -> [a]
+ Swish.VarBinding: instance (GHC.Classes.Ord a, GHC.Classes.Ord b) => GHC.Base.Monoid (Swish.VarBinding.VarBinding a b)
+ Swish.VarBinding: instance (GHC.Classes.Ord a, GHC.Classes.Ord b) => GHC.Classes.Eq (Swish.VarBinding.VarBinding a b)
+ Swish.VarBinding: instance (GHC.Classes.Ord a, GHC.Classes.Ord b) => GHC.Classes.Ord (Swish.VarBinding.VarBinding a b)
+ Swish.VarBinding: instance (GHC.Show.Show a, GHC.Show.Show b) => GHC.Show.Show (Swish.VarBinding.VarBinding a b)
+ Swish.VarBinding: instance GHC.Show.Show (Swish.VarBinding.OpenVarBindingModify a b)
- Data.Ord.Partial: partCompareEq :: Eq a => PartCompare a
+ Data.Ord.Partial: partCompareEq :: (Eq a) => PartCompare a
- Data.Ord.Partial: partCompareListMaybe :: Eq a => [Maybe a] -> [Maybe a] -> Maybe Ordering
+ Data.Ord.Partial: partCompareListMaybe :: (Eq a) => [Maybe a] -> [Maybe a] -> Maybe Ordering
- Data.Ord.Partial: partCompareListSubset :: Eq a => [a] -> [a] -> Maybe Ordering
+ Data.Ord.Partial: partCompareListSubset :: (Eq a) => [a] -> [a] -> Maybe Ordering
- Data.String.ShowLines: class Show sh => ShowLines sh where showls _ = shows
+ Data.String.ShowLines: class (Show sh) => ShowLines sh where showls _ = shows
- Swish.Datatype: altArgs :: Eq vt => DatatypeRelPr vt -> [(vt -> Bool, [b])] -> ((vt -> Bool) -> b -> [Maybe vt] -> Maybe [vt]) -> DatatypeRelFn vt
+ Swish.Datatype: altArgs :: (Eq vt) => DatatypeRelPr vt -> [(vt -> Bool, [b])] -> ((vt -> Bool) -> b -> [Maybe vt] -> Maybe [vt]) -> DatatypeRelFn vt
- Swish.GraphClass: hasLabel :: Eq lb => lb -> Arc lb -> Bool
+ Swish.GraphClass: hasLabel :: (Eq lb) => lb -> Arc lb -> Bool
- Swish.GraphMatch: assignLabelMap :: Label lb => Set lb -> LabelMap lb -> LabelMap lb
+ Swish.GraphMatch: assignLabelMap :: (Label lb) => Set lb -> LabelMap lb -> LabelMap lb
- Swish.GraphMatch: data Label lb => GenLabelEntry lb lv
+ Swish.GraphMatch: data (Label lb) => GenLabelEntry lb lv
- Swish.GraphMatch: data Label lb => ScopedLabel lb
+ Swish.GraphMatch: data (Label lb) => ScopedLabel lb
- Swish.GraphMatch: emptyMap :: Label lb => LabelMap lb
+ Swish.GraphMatch: emptyMap :: (Label lb) => LabelMap lb
- Swish.GraphMatch: equivalenceClasses :: Label lb => LabelMap lb -> Set lb -> [EquivalenceClass lb]
+ Swish.GraphMatch: equivalenceClasses :: (Label lb) => LabelMap lb -> Set lb -> [EquivalenceClass lb]
- Swish.GraphMatch: graphLabels :: Label lb => ArcSet lb -> Set lb
+ Swish.GraphMatch: graphLabels :: (Label lb) => ArcSet lb -> Set lb
- Swish.GraphMatch: graphMatch :: Label lb => (lb -> lb -> Bool) -> ArcSet lb -> ArcSet lb -> (Bool, LabelMap (ScopedLabel lb))
+ Swish.GraphMatch: graphMatch :: (Label lb) => (lb -> lb -> Bool) -> ArcSet lb -> ArcSet lb -> (Bool, LabelMap (ScopedLabel lb))
- Swish.GraphMatch: graphMatch1 :: Label lb => Bool -> (lb -> lb -> Bool) -> ArcSet lb -> ArcSet lb -> LabelMap lb -> [(EquivalenceClass lb, EquivalenceClass lb)] -> (Bool, LabelMap lb)
+ Swish.GraphMatch: graphMatch1 :: (Label lb) => Bool -> (lb -> lb -> Bool) -> ArcSet lb -> ArcSet lb -> LabelMap lb -> [(EquivalenceClass lb, EquivalenceClass lb)] -> (Bool, LabelMap lb)
- Swish.GraphMatch: graphMatch2 :: Label lb => (lb -> lb -> Bool) -> ArcSet lb -> ArcSet lb -> LabelMap lb -> [(EquivalenceClass lb, EquivalenceClass lb)] -> (Bool, LabelMap lb)
+ Swish.GraphMatch: graphMatch2 :: (Label lb) => (lb -> lb -> Bool) -> ArcSet lb -> ArcSet lb -> LabelMap lb -> [(EquivalenceClass lb, EquivalenceClass lb)] -> (Bool, LabelMap lb)
- Swish.GraphMatch: makeScopedArc :: Label lb => Int -> Arc lb -> Arc (ScopedLabel lb)
+ Swish.GraphMatch: makeScopedArc :: (Label lb) => Int -> Arc lb -> Arc (ScopedLabel lb)
- Swish.GraphMatch: makeScopedLabel :: Label lb => Int -> lb -> ScopedLabel lb
+ Swish.GraphMatch: makeScopedLabel :: (Label lb) => Int -> lb -> ScopedLabel lb
- Swish.GraphMatch: mapLabelIndex :: Label lb => LabelMap lb -> lb -> LabelIndex
+ Swish.GraphMatch: mapLabelIndex :: (Label lb) => LabelMap lb -> lb -> LabelIndex
- Swish.GraphMatch: newGenerationMap :: Label lb => LabelMap lb -> LabelMap lb
+ Swish.GraphMatch: newGenerationMap :: (Label lb) => LabelMap lb -> LabelMap lb
- Swish.GraphMatch: newLabelMap :: Label lb => LabelMap lb -> [(lb, Word32)] -> LabelMap lb
+ Swish.GraphMatch: newLabelMap :: (Label lb) => LabelMap lb -> [(lb, Word32)] -> LabelMap lb
- Swish.GraphMatch: reclassify :: Label lb => ArcSet lb -> ArcSet lb -> LabelMap lb -> [(EquivalenceClass lb, EquivalenceClass lb)] -> (LabelMap lb, [(EquivalenceClass lb, EquivalenceClass lb)], Bool, Bool)
+ Swish.GraphMatch: reclassify :: (Label lb) => ArcSet lb -> ArcSet lb -> LabelMap lb -> [(EquivalenceClass lb, EquivalenceClass lb)] -> (LabelMap lb, [(EquivalenceClass lb, EquivalenceClass lb)], Bool, Bool)
- Swish.GraphMatch: setLabelHash :: Label lb => LabelMap lb -> (lb, Word32) -> LabelMap lb
+ Swish.GraphMatch: setLabelHash :: (Label lb) => LabelMap lb -> (lb, Word32) -> LabelMap lb
- Swish.GraphMem: matchGraphMem :: Label lb => GraphMem lb -> GraphMem lb -> (Bool, LabelMap (ScopedLabel lb))
+ Swish.GraphMem: matchGraphMem :: (Label lb) => GraphMem lb -> GraphMem lb -> (Bool, LabelMap (ScopedLabel lb))
- Swish.GraphPartition: comparePartitions :: Label lb => PartitionedGraph lb -> PartitionedGraph lb -> [(Maybe (GraphPartition lb), Maybe (GraphPartition lb))]
+ Swish.GraphPartition: comparePartitions :: (Label lb) => PartitionedGraph lb -> PartitionedGraph lb -> [(Maybe (GraphPartition lb), Maybe (GraphPartition lb))]
- Swish.GraphPartition: partitionGraph :: Label lb => [Arc lb] -> PartitionedGraph lb
+ Swish.GraphPartition: partitionGraph :: (Label lb) => [Arc lb] -> PartitionedGraph lb
- Swish.GraphPartition: partitionShowP :: Label lb => String -> GraphPartition lb -> String
+ Swish.GraphPartition: partitionShowP :: (Label lb) => String -> GraphPartition lb -> String
- Swish.Proof: showProof :: ShowLines ex => String -> Proof ex -> String
+ Swish.Proof: showProof :: (ShowLines ex) => String -> Proof ex -> String
- Swish.Proof: showsFormula :: ShowLines ex => String -> Formula ex -> ShowS
+ Swish.Proof: showsFormula :: (ShowLines ex) => String -> Formula ex -> ShowS
- Swish.Proof: showsProof :: ShowLines ex => String -> Proof ex -> ShowS
+ Swish.Proof: showsProof :: (ShowLines ex) => String -> Proof ex -> ShowS
- Swish.RDF.Graph: addArc :: Label lb => Arc lb -> NSGraph lb -> NSGraph lb
+ Swish.RDF.Graph: addArc :: (Label lb) => Arc lb -> NSGraph lb -> NSGraph lb
- Swish.RDF.Graph: allLabels :: Label lb => (lb -> Bool) -> NSGraph lb -> Set lb
+ Swish.RDF.Graph: allLabels :: (Label lb) => (lb -> Bool) -> NSGraph lb -> Set lb
- Swish.RDF.Graph: allNodes :: Label lb => (lb -> Bool) -> NSGraph lb -> Set lb
+ Swish.RDF.Graph: allNodes :: (Label lb) => (lb -> Bool) -> NSGraph lb -> Set lb
- Swish.RDF.Graph: fmapNSGraph :: Ord lb => (lb -> lb) -> NSGraph lb -> NSGraph lb
+ Swish.RDF.Graph: fmapNSGraph :: (Ord lb) => (lb -> lb) -> NSGraph lb -> NSGraph lb
- Swish.RDF.Graph: getFormula :: Label lb => NSGraph lb -> lb -> Maybe (NSGraph lb)
+ Swish.RDF.Graph: getFormula :: (Label lb) => NSGraph lb -> lb -> Maybe (NSGraph lb)
- Swish.RDF.Graph: grEq :: Label lb => NSGraph lb -> NSGraph lb -> Bool
+ Swish.RDF.Graph: grEq :: (Label lb) => NSGraph lb -> NSGraph lb -> Bool
- Swish.RDF.Graph: grMatchMap :: Label lb => NSGraph lb -> NSGraph lb -> (Bool, LabelMap (ScopedLabel lb))
+ Swish.RDF.Graph: grMatchMap :: (Label lb) => NSGraph lb -> NSGraph lb -> (Bool, LabelMap (ScopedLabel lb))
- Swish.RDF.Graph: maplist :: Label lb => [lb] -> [lb] -> (lb -> lb) -> [(lb, lb)] -> [(lb, lb)]
+ Swish.RDF.Graph: maplist :: (Label lb) => [lb] -> [lb] -> (lb -> lb) -> [(lb, lb)] -> [(lb, lb)]
- Swish.RDF.Graph: mapnode :: Label lb => [lb] -> [lb] -> (lb -> lb) -> lb -> lb
+ Swish.RDF.Graph: mapnode :: (Label lb) => [lb] -> [lb] -> (lb -> lb) -> lb -> lb
- Swish.RDF.Graph: merge :: Label lb => NSGraph lb -> NSGraph lb -> NSGraph lb
+ Swish.RDF.Graph: merge :: (Label lb) => NSGraph lb -> NSGraph lb -> NSGraph lb
- Swish.RDF.Graph: newNode :: Label lb => lb -> [lb] -> lb
+ Swish.RDF.Graph: newNode :: (Label lb) => lb -> [lb] -> lb
- Swish.RDF.Graph: newNodes :: Label lb => lb -> [lb] -> [lb]
+ Swish.RDF.Graph: newNodes :: (Label lb) => lb -> [lb] -> [lb]
- Swish.RDF.Graph: remapLabelList :: Label lb => [lb] -> [lb] -> [(lb, lb)]
+ Swish.RDF.Graph: remapLabelList :: (Label lb) => [lb] -> [lb] -> [(lb, lb)]
- Swish.RDF.Graph: remapLabels :: Label lb => [lb] -> [lb] -> (lb -> lb) -> NSGraph lb -> NSGraph lb
+ Swish.RDF.Graph: remapLabels :: (Label lb) => [lb] -> [lb] -> (lb -> lb) -> NSGraph lb -> NSGraph lb
- Swish.RDF.Graph: setFormula :: Label lb => Formula lb -> NSGraph lb -> NSGraph lb
+ Swish.RDF.Graph: setFormula :: (Label lb) => Formula lb -> NSGraph lb -> NSGraph lb
- Swish.RDF.Parser.Utils: ignore :: Applicative f => f a -> f ()
+ Swish.RDF.Parser.Utils: ignore :: (Applicative f) => f a -> f ()
- Swish.Rule: bwdCheckInference :: Eq ex => Rule ex -> [ex] -> ex -> Bool
+ Swish.Rule: bwdCheckInference :: (Eq ex) => Rule ex -> [ex] -> ex -> Bool
- Swish.Rule: class Eq ex => Expression ex
+ Swish.Rule: class (Eq ex) => Expression ex
- Swish.Rule: fwdCheckInference :: Eq ex => Rule ex -> [ex] -> ex -> Bool
+ Swish.Rule: fwdCheckInference :: (Eq ex) => Rule ex -> [ex] -> ex -> Bool
- Swish.Rule: showsFormula :: ShowLines ex => String -> Formula ex -> ShowS
+ Swish.Rule: showsFormula :: (ShowLines ex) => String -> Formula ex -> ShowS
- Swish.Rule: showsFormulae :: ShowLines ex => String -> [Formula ex] -> String -> ShowS
+ Swish.Rule: showsFormulae :: (ShowLines ex) => String -> [Formula ex] -> String -> ShowS
- Swish.VarBinding: composeSequence :: Eq a => [VarBindingModify a b] -> Maybe (VarBindingModify a b)
+ Swish.VarBinding: composeSequence :: (Eq a) => [VarBindingModify a b] -> Maybe (VarBindingModify a b)
- Swish.VarBinding: findComposition :: Eq a => [VarBindingModify a b] -> [a] -> Maybe (VarBindingModify a b)
+ Swish.VarBinding: findComposition :: (Eq a) => [VarBindingModify a b] -> [a] -> Maybe (VarBindingModify a b)
- Swish.VarBinding: findCompositions :: Eq a => [VarBindingModify a b] -> [a] -> [VarBindingModify a b]
+ Swish.VarBinding: findCompositions :: (Eq a) => [VarBindingModify a b] -> [a] -> [VarBindingModify a b]
- Swish.VarBinding: varFilterConjunction :: Eq a => [VarBindingFilter a b] -> VarBindingFilter a b
+ Swish.VarBinding: varFilterConjunction :: (Eq a) => [VarBindingFilter a b] -> VarBindingFilter a b
- Swish.VarBinding: varFilterDisjunction :: Eq a => [VarBindingFilter a b] -> VarBindingFilter a b
+ Swish.VarBinding: varFilterDisjunction :: (Eq a) => [VarBindingFilter a b] -> VarBindingFilter a b
- Swish.VarBinding: varFilterEQ :: Eq b => a -> a -> VarBindingFilter a b
+ Swish.VarBinding: varFilterEQ :: (Eq b) => a -> a -> VarBindingFilter a b
- Swish.VarBinding: varFilterNE :: Eq b => a -> a -> VarBindingFilter a b
+ Swish.VarBinding: varFilterNE :: (Eq b) => a -> a -> VarBindingFilter a b
- Swish.VarBinding: vbmCompatibility :: Eq a => VarBindingModify a b -> [a] -> Maybe [a]
+ Swish.VarBinding: vbmCompatibility :: (Eq a) => VarBindingModify a b -> [a] -> Maybe [a]
- Swish.VarBinding: vbmCompose :: Eq a => VarBindingModify a b -> VarBindingModify a b -> Maybe (VarBindingModify a b)
+ Swish.VarBinding: vbmCompose :: (Eq a) => VarBindingModify a b -> VarBindingModify a b -> Maybe (VarBindingModify a b)
Files
- CHANGELOG +12/−0
- swish.cabal +21/−17
CHANGELOG view
@@ -1,3 +1,15 @@+0.9.1.5:++ Removed the developer flag as it causes problems with 'cabal upload'+ and added 2015 to the copyright statement in the cabal file. There+ are no code changes compared to 0.9.1.3.++0.9.1.4:++ Updated the upper bound on the semigroups and HUnit dependencies.+ This never got released on hackage due to a disagreement between+ myself and Cabal.+ 0.9.1.3: Updated ghc 7.10 support.
swish.cabal view
@@ -1,15 +1,15 @@ Name: swish-Version: 0.9.1.3+Version: 0.9.1.5 Stability: experimental License: LGPL License-file: LICENSE Author: Graham Klyne - GK@ninebynine.org-Copyright: (c) 2003, 2004 G. Klyne; 2009 Vasili I Galchin; 2011, 2012, 2013, 2014 Doug Burke; All rights reserved.+Copyright: (c) 2003, 2004 G. Klyne; 2009 Vasili I Galchin; 2011, 2012, 2013, 2014, 2015 Doug Burke; All rights reserved. Maintainer: dburke@cfa.harvard.edu Category: Semantic Web Synopsis: A semantic web toolkit. -Tested-With: GHC==7.8.3+Tested-With: GHC==7.10.2 Cabal-Version: >= 1.9.2 Homepage: https://bitbucket.org/doug_burke/swish/wiki/Home Bug-reports: https://bitbucket.org/doug_burke/swish/issues@@ -64,9 +64,13 @@ type: mercurial location: https://bitbucket.org/doug_burke/swish -Flag developer- Description: Turn on developer flags- Default: False+-- Removed in 0.9.15 since I haven't been using it and it causes+-- problems with 'cabal upload', since Cabal doesn't seem to recognize+-- that -Werror is not on by default.+--+-- Flag developer+-- Description: Turn on developer flags+-- Default: False Flag w3ctests Description: Build the RunW3CTests application@@ -93,7 +97,7 @@ mtl >= 2 && < 3, old-locale == 1.0.*, polyparse >= 1.6 && <= 1.11,- semigroups >= 0.5 && < 0.17,+ semigroups >= 0.5 && < 0.19, text >= 0.11 && < 1.3, time >= 1.1 && < 1.6 @@ -176,9 +180,9 @@ ghc-options: -Wall -fno-warn-orphans - if flag(developer)- ghc-options: -Werror- ghc-prof-options: -auto-all+ -- if flag(developer)+ -- ghc-options: -Werror+ -- ghc-prof-options: -auto-all Test-Suite test-builtinmap type: exitcode-stdio-1.0@@ -192,7 +196,7 @@ Build-Depends: base, containers,- HUnit == 1.2.*,+ HUnit >= 1.2 && < 1.4, swish, test-framework, test-framework-hunit == 0.3.*@@ -547,9 +551,9 @@ ghc-options: -Wall -fno-warn-orphans - if flag(developer)- ghc-options: -Werror- ghc-prof-options: -auto-all+ -- if flag(developer)+ -- ghc-options: -Werror+ -- ghc-prof-options: -auto-all Build-Depends: base,@@ -563,9 +567,9 @@ ghc-options: -Wall -fno-warn-orphans - if flag(developer)- ghc-options: -Werror- ghc-prof-options: -auto-all+ -- if flag(developer)+ -- ghc-options: -Werror+ -- ghc-prof-options: -auto-all if flag(w3ctests) Build-Depends: