A label

This class gives the string associated with a type-level symbol. There are instances of the class for every concrete literal: "hello", etc.

Since: 4.7.0.0

Are all of the labels in this Row unique?

A convenient way to provide common, easy constraints

A record with row r.

The kind of rows. This type is only used as a datakind. A row is a typelevel entity telling us which symbols are associated with which types.

Type level version of empty

A lower fixity operator for type equality

The empty record

A type level way to create a singleton Row.

The singleton record

A pattern for the singleton record; can be used to both destruct a record when in a pattern position or construct one in an expression position.

Turns a singleton record into a pair of the label and value.

Initialize a record with a default value at each label.

Initialize a record with a default value at each label; works over an Applicative.

Initialize a record, where each value is determined by the given function over the label at that value.

Initialize a record, where each value is determined by the given function over the label at that value. This function works over an Applicative.

Record extension. The row may already contain the label, in which case the origin value can be obtained after restriction (.-) with the label.

Type level Row extension

Alias for .\. It is a class rather than an alias, so that it can be partially applied.

Does the row lack (i.e. it does not have) the specified label?

Type level Row element removal

Record restriction. Remove the label l from the record.

Arbitrary record restriction. Turn a record into a subset of itself.

Split a record into two sub-records.

Update the value associated with the label.

Focus on the value associated with the label.

Focus on a sub-record

Type level Row modification

Rename a label.

Type level row renaming

Alias for (r .! l) ≈ a. It is a class rather than an alias, so that it can be partially applied.

Type level label fetching

Record selection

Type level Row append

Record disjoint union (commutative)

A type synonym for disjointness.

A pattern version of record union, for use in pattern matching.

Map a type level function over a Row.

A function to map over a record given a constraint.

A function to map over a record given no constraint.

Lifts a natrual transformation over a record. In other words, it acts as a record transformer to convert a record of f a values to a record of g a values. If no constraint is needed, instantiate the first type argument with Unconstrained1 or use transform'.

A version of transform for when there is no constraint.

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

A standard fold

A fold with labels

A fold over two row type structures at once

Turns a record into a HashMap from values representing the labels to the values of the record.

Zips two rows together to create a Row of the pairs. The two rows must have the same set of labels.

Zips together two records that have the same set of labels.

Applicative sequencing over a record

Convert from a record where two functors have been mapped over the types to one where the composition of the two functors is mapped over the types.

Convert from a record where the composition of two functors have been mapped over the types to one where the two functors are mapped individually one at a time over the types.

Return a list of the labels in a row type.

Removes a label from the record but does not remove the underlying value.

This is faster than regular record removal (.-) but should only be used when either: the record will never be merged with another record again, or a new value will soon be placed into the record at this label (as in, an update that is split over two commands).

If the resulting record is then merged (with .+) with another record that contains a value at that label, an "impossible" error will occur.

A helper function for unsafely adding an element to the front of a record. This can cause the resulting record to be malformed, for instance, if the record already contains labels that are lexicographically before the given label. Realistically, this function should only be used when writing calls to metamorph.