constraints-0.3.0.1: Constraint manipulation
Data.Constraint.Forall
Description
Synopsis
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 Forall1 p = (p F, p M)Source
inst1 :: forall p f. Forall1 p :- p fSource
instantiate a quantified constraint on kind * -> *
* -> *