Map package:row-types
Map a type level function over a Row.
A function to map over a record given a constraint.
A function to map over a variant given a constraint.
Map distributes over Difference
Proof that the
Map type family preserves labels and their
ordering.
This allows us to derive a Forall (Map f r) .. from a
Forall r ...
This allows us to derive Map f r .! l ≈ f t from r .! l ≈
t
Map distributes over MinJoin
A function to map over a record given no constraint.
A function to map over a Ap record given constraints.
A function to map over a variant given no constraint.
Performs a functorial-like map over an
ApSingle variant. In
other words, it acts as a variant transformer to convert a variant of
f x values to a variant of
f y values. If no
constraint is needed, instantiate the first type argument with
Unconstrained1.
Map preserves uniqueness of labels.
Turns a record into a
HashMap from values representing the
labels to the values of the record.
Initialize a record over a
Map.
Traverse a function over a Mapped record. Note that the fields of the
record will be accessed in lexicographic order by the labels.
Initialize a variant over a
Map.
Traverse a function over a Mapped variant.