Language.REST.Internal.MultisetOrder

Documentation

multisetOrder :: forall oc base lifted m. (Ord lifted, Ord base, Show base, Eq base, Hashable base, Hashable lifted, Eq lifted, Show (oc base), Eq (oc base), Monad m) => ConstraintGen oc base lifted m -> ConstraintGen oc base (MultiSet lifted) m

possibilities :: (Hashable a, Eq a) => Relation -> [a] -> [a] -> HashSet (HashSet (Replace a))