Record.ExtraSrghma.Entries.List

class RLToLKV :: RowList Type -> Row Type -> Type -> Constraintclass RLToLKV (rowList :: RowList Type) (row :: Row Type) (fieldType :: Type) | rowList -> row fieldType where

Members

• rlToLKV :: Record row -> List (Tuple String fieldType)

Instances

• RLToLKV Nil row fieldType
• (IsSymbol name, Cons name fieldType tailRow row, RowToList row trash, RLToLKV tailRowList row fieldType) => RLToLKV (Cons name fieldType tailRowList) row fieldType

recordToLKV :: forall @row rowList fieldType. RowToList row rowList => RLToLKV rowList row fieldType => Homogeneous row fieldType => Record row -> List (Tuple String fieldType)

class RLToANELKV :: RowList Type -> Row Type -> Type -> Constraintclass RLToANELKV (rowList :: RowList Type) (row :: Row Type) (fieldType :: Type) | rowList -> row fieldType where

Members

• rlToANELKV :: Record row -> List (Tuple NonEmptyString fieldType)

Instances

• RLToANELKV Nil row fieldType
• (IsSymbol name, MakeNonEmpty name, Cons name fieldType tailRow row, RowToList row trash, RLToANELKV tailRowList row fieldType) => RLToANELKV (Cons name fieldType tailRowList) row fieldType

recordToANELKV :: forall @row rowList fieldType. RowToList row rowList => RLToANELKV rowList row fieldType => Homogeneous row fieldType => Record row -> List (Tuple NonEmptyString fieldType)