class RowListRemove (label :: Symbol) (input :: RowList) (output :: RowList) | label input -> output
Remove all occurences of a given label from a RowList
class RowListSet (label :: Symbol) (typ :: Type) (input :: RowList) (output :: RowList) | label typ input -> output
Add a label to a RowList after removing other occurences.
class RowListNub (input :: RowList) (output :: RowList) | input -> output
Remove label duplicates, keeps earlier occurrences.
class RowListAppend (lhs :: RowList) (rhs :: RowList) (out :: RowList) | lhs rhs -> out
Operator alias for Type.Row.RowApply (right-associative / precedence 0)
Applies a type alias of open rows to a set of rows. The primary use case this operator is as convenient sugar for combining open rows without parentheses.
type Rows1 r = (a :: Int, b :: String | r) type Rows2 r = (c :: Boolean | r) type Rows3 r = (Rows1 + Rows2 + r) type Rows4 r = (d :: String | Rows1 + Rows2 + r)
Re-exports from Prim.
class Union (left :: Row Type) (right :: Row Type) (union :: Row Type) | left right -> union, right union -> left, union left -> right
The Union type class is used to compute the union of two rows of types (left-biased, including duplicates).
The third type argument represents the union of the first two.