Moduleconstraints-0.14.4

Data.Constraint.Forall

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

valueinst :: Forall p :- p a

valueinst1 :: Forall p :- p f

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

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

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

Instances1Forall

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

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

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

Instances1ForallF

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

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

Instances1ForallT

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

familytype family ForallV :: k -> Constraint

Instances1ForallV

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

Instances3InstV

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