1. Doug Burke
  2. swish

Commits

Author Commit Message Date Builds
Doug Burke
Removed LookupMap from parser modules
Doug Burke
Removed LookupEntryClass/MPTC constraint from Datatype
Doug Burke
Removed LookupMap from Builtin.Datatypes
Doug Burke
Removed LookupEntryClass/MPTC constraint from RDF.ClassRestrictionRule
Doug Burke
Removed LookupEntryClass/RevNamespace*/use of Flexible Instances from RDF.Graph
Doug Burke
Minor internal change to traverse/fmap formula
Doug Burke
Removed LookupMap from Formula/FormulaMap
Doug Burke
ClassRestrictionRule: removed use of LookupMap
Doug Burke
NamespaceMap now uses Map rather than LookupMap; added Network.URI.Ord
Doug Burke
Minor doc changes only
Doug Burke
RDF/Proof: LookupMap to Data.Map
Doug Burke
RDF/VarBinding: LookupMap conversion (unused by current code)
Doug Burke
Monad: replaced LookupMap with Data.Map
Doug Burke
Rule/Ruleset: LookupMap to Data.Map
Doug Burke
GraphMatch: removed internal use of LookupMap (requires containers 0.5)
Doug Burke
bugfix: labelMatch (not tested by existing tests)
Doug Burke
Datatype: removed internal use of LookupMap
Doug Burke
VarBinding: minor internal change
Doug Burke
VarBinding now uses Data.Map rather than LookupMap
Doug Burke
Drop Eq constraint on Label since have an Ord
Doug Burke
Minor internal code clean up
Doug Burke
Formatting: moved common code into Internal module
Doug Burke
Minor doc updates
Doug Burke
Removed import of ExitSuccess
Doug Burke
Minor: use the ArcSet type
Doug Burke
Minor hlint changes
Doug Burke
Remove equiv/subset; Fix NSGraph ordering; added ArcSet/RDFArcSet types; move more code to use Set; rationalization/clean up of some test code
Doug Burke
More API conversions to use Set rather than List
Doug Burke
Switched from [a] to Set a for NSGraph/LDGraph
Doug Burke
Moved Eq constraint on NSGraph from GraphClass to RDF.Proof
  1. Prev
  2. Next