| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
AST.Unify.QuantifiedVar
Description
A class for types that have quantified variables.
Synopsis
- class HasQuantifiedVar (t :: Knot -> Type) where
- type QVar t :: Type
- 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 :: Knot -> Type) where Source #
Class for types which have quantified variables
class MonadQuantify typeConstraints q m where Source #
A monad where new quantified variables can be generated
Methods
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 AST.Unify.QuantifiedVar | |