Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
A class for types that have quantified variables.
Synopsis
- class HasQuantifiedVar (t :: HyperType) where
- type QVar t
- quantifiedVar :: Prism' (t f) (QVar t)
- class MonadQuantify typeConstraints q m where
- newQuantifiedVariable :: typeConstraints -> m q
- class (HasQuantifiedVar t, Ord (QVar t)) => OrdQVar t
Documentation
class HasQuantifiedVar (t :: HyperType) where Source #
Class for types which have quantified variables
quantifiedVar :: Prism' (t f) (QVar t) Source #
A Prism
` from a type to its quantified variable term
class MonadQuantify typeConstraints q m where Source #
A monad where new quantified variables can be generated
newQuantifiedVariable :: typeConstraints -> m q Source #
class (HasQuantifiedVar t, Ord (QVar t)) => OrdQVar t Source #
A constraint synonym that represents that
the quantified variable of a type has an Ord
instance
Instances
(HasQuantifiedVar t, Ord (QVar t)) => OrdQVar t Source # | |
Defined in Hyper.Unify.QuantifiedVar |