Twee.Rule.Index

Documentation

data RuleIndex f a

Constructors

RuleIndex

Fields

• index_oriented :: !(Index f a)
• index_weak :: !(Index f a)
• index_all :: !(Index f a)

Instances

Show a => Show (RuleIndex f a)

Methods

showsPrec :: Int -> RuleIndex f a -> ShowS

show :: RuleIndex f a -> String

showList :: [RuleIndex f a] -> ShowS

empty :: RuleIndex f a

insert :: forall f a. Has a (Rule f) => Term f -> a -> RuleIndex f a -> RuleIndex f a

delete :: forall f a. (Eq a, Has a (Rule f)) => Term f -> a -> RuleIndex f a -> RuleIndex f a

approxMatches :: Term f -> Index f a -> [a]

Look up a term in the index, possibly returning spurious extra results.

matches :: Has a (Term f) => Term f -> Index f a -> [(Subst f, a)]

Look up a term in the index. Like lookup, but returns the exact value that was inserted into the index, not an instance. Also returns a substitution which when applied to the value gives you the matching instance.

lookup :: (Has a b, Symbolic b, Has b (TermOf b)) => TermOf b -> Index (ConstantOf b) a -> [b]

Look up a term in the index. Finds all key-value such that the search term is an instance of the key, and returns an instance of the the value which makes the search term exactly equal to the key.