| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.REST.Internal.MultisetOrder
Description
This module defines a constraint generator for a multiset
quasi-ordering. For more details, please see the definition
of mul in section 4.2.1 of the paper.
Synopsis
- 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
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 Source #
Given a constraint generator cgen that generates constraints a WQO on
base implied by a relation between elements of lifted, multisetOrder cgenlifted.