constraints-0.3.0.1: 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 Forall1 p = (p F, p M)Source

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

instantiate a quantified constraint on kind * -> *