Language.REST.ExploredTerms

This module implements the optimizations to prune the exploration of rewrites of terms that have been already considered (section 6.4 of the REST paper).

Documentation

data ExploredTerms term c m

empty :: ExploreFuncs term c m -> ExploreStrategy -> ExploredTerms term c m

insert :: (Eq term, Hashable term) => term -> c -> HashSet term -> ExploredTerms term c m -> ExploredTerms term c m

shouldExplore :: forall term c m. (Monad m, Eq term, Hashable term, Eq c, Show c, Hashable c) => term -> c -> ExploredTerms term c m -> m Bool

size :: ExploredTerms term c m -> Int

visited :: (Eq term, Hashable term) => term -> ExploredTerms term c m -> Bool

data ExploreFuncs term c m

Constructors

EF

Fields

• union :: c -> c -> c
• subsumes :: c -> c -> m Bool

  c0 subsumes c1 if c0 permits all orderings permited by c1

• exRefine :: c -> term -> term -> c

data ExploreStrategy

Constructors

ExploreAlways

ExploreLessConstrained

ExploreWhenNeeded

ExploreOnce