Safe Haskell	Safe-Inferred
Language	Haskell2010

Hyper.Unify.QuantifiedVar

Description

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 for types which have quantified variables

Associated Types

The type of quantified variable identifiers

Methods

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

Methods

A constraint synonym that represents that the quantified variable of a type has an Ord instance

Instances details

(HasQuantifiedVar t, Ord (QVar t)) => OrdQVar t Source #
Instance details Defined in Hyper.Unify.QuantifiedVar