constraints-0.3.5: Constraint manipulation

Portabilitynon-portable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellTrustworthy

Data.Constraint.Forall

Description

 

Synopsis

Documentation

type Forall p = (p A, p B)Source

A quantified constraint

inst :: forall p a. Forall p :- p aSource

instantiate a quantified constraint on kind *

type ForallF p f = (p (f A), p (f B))Source

instF :: forall p f a. ForallF p f :- p (f a)Source

type Forall1 p = (p F, p M)Source

inst1 :: forall p f. Forall1 p :- p fSource

instantiate a quantified constraint on kind * -> *

type ForallT p t = (p (t F A), p (t M B))Source

instT :: forall p t f a. ForallT p t :- p (t f a)Source