forAll package:constraints

module Data.Constraint.Forall

This module uses a trick to provide quantification over constraints.

type Forall1 p = Forall p

class Forall (ComposeC p f) => ForallF (p :: k2 -> Constraint) (f :: k1 -> k2)

A representation of the quantified constraint forall a. p (f a).

class Forall (Q p t) => ForallT (p :: k4 -> Constraint) (t :: (k1 -> k2) -> k3 -> k4)

A representation of the quantified constraint forall f a. p (t f a).

type family ForallV :: k -> Constraint

A representation of the quantified constraint forall a1 a2 ... an . p a1 a2 ... an, supporting a variable number of parameters.