Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.REST.Internal.WorkStrategy

Documentation

type GetWork m rule term oc = [Path rule term oc] -> ExploredTerms term oc m -> (Path rule term oc, [Path rule term oc]) Source #

newtype WorkStrategy rule term oc Source #

Constructors

WorkStrategy (forall m. GetWork m rule term oc)

notVisitedFirst :: (Eq term, Eq rule, Eq oc, Hashable term) => WorkStrategy rule term oc Source #

bfs' :: [Path rule term oc] -> ExploredTerms et oc m -> (Path rule term oc, [Path rule term oc]) Source #

notVisitedFirst' :: (Eq term, Eq rule, Eq oc, Hashable term) => GetWork m rule term oc Source #

commutesLast :: forall term oc. (Eq term, Eq oc, Hashable term) => WorkStrategy Rewrite term oc Source #