Moduleconstraints-0.14.2Haskell2010

Data.Constraint.Forall

This module uses a trick to provide quantification over constraints.

classclass (forall (a :: k). p a) => Forall (p :: k -> Constraint)

Instances1Forall

(forall (a :: k). p a) => Forall pDefined in constraints-0.14.2 · Data.Constraint.Forall

valueinst :: Forall p :- p a

Instantiate a quantified Forall p constraint at type a.

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

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

Instances1ForallF

Forall (ComposeC p f) => ForallF p fDefined in constraints-0.14.2 · Data.Constraint.Forall

valueinstF :: ForallF p f :- p (f a)

Instantiate a quantified ForallF p f constraint at type a.

typetype Forall1 (p :: k -> Constraint) = Forall p

valueinst1 :: Forall p :- p f

Instantiate a quantified constraint on kind * -> *. This is now redundant since inst became polykinded.

classclass 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).

Instances1ForallT

Forall (Q p t) => ForallT p tDefined in constraints-0.14.2 · Data.Constraint.Forall

valueinstT :: ForallT p t :- p (t f a)

Instantiate a quantified ForallT p t constraint at types f and a.

familytype family ForallV :: k -> Constraint

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

Instances1ForallV

classclass InstV (p :: k) (c :: Constraint) | k c -> p where

Instantiate a quantified ForallV p constraint as c, where c ~ p a1 a2 ... an.

Instances3InstV

p ~ c => InstV p cDefined in constraints-0.14.2 · Data.Constraint.Forall
InstV (p a) c => InstV p cDefined in constraints-0.14.2 · Data.Constraint.Forall
p a ~ c => InstV p cDefined in constraints-0.14.2 · Data.Constraint.Forall

valueforall_ :: (forall (a :: k). Dict (p a)) -> Dict (Forall p)