forAll package:row-types

class Forall (r :: Row k) (c :: k -> Constraint)

row-types Data.Row Data.Row.Internal Data.Row.Records Data.Row.Variants

Any structure over a row in which every element is similarly constrained can be metamorphized into another structure over the same row.

class BiForall (r1 :: Row k1) (r2 :: Row k2) (c :: k1 -> k2 -> Constraint)

row-types Data.Row Data.Row.Internal Data.Row.Records

Any structure over two rows in which the elements of each row satisfy some constraints can be metamorphized into another structure over both of the rows.

type FreeBiForall r1 r2 = BiForall r1 r2 Unconstrained2

row-types Data.Row Data.Row.Dictionaries

FreeForall can be used when a BiForall constraint is necessary but there is no particular constraint we care about.

type FreeForall r = Forall r Unconstrained1

row-types Data.Row Data.Row.Dictionaries

FreeForall can be used when a Forall constraint is necessary but there is no particular constraint we care about.

apSingleForall :: forall a fs c . Forall fs c :- Forall (ApSingle fs a) (ActsOn c a)

row-types Data.Row.Dictionaries

This allows us to derive a Forall (ApSingle f r) .. from a Forall f ...

freeForall :: forall r c . Forall r c :- Forall r Unconstrained1

row-types Data.Row.Dictionaries

Allow any Forall over a row-type, be usable for Unconstrained1.

mapForall :: forall f ρ c . Forall ρ c :- Forall (Map f ρ) (IsA c f)

row-types Data.Row.Dictionaries

This allows us to derive a Forall (Map f r) .. from a Forall r ...