Record.ExtraSrghma.Entries.Array

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

Members

• rlToAKV :: Record row -> Array (Tuple String fieldType)

Instances

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

recordToAKV :: forall @row rowList fieldType. RowToList row rowList => RLToAKV rowList row fieldType => Homogeneous row fieldType => Record row -> Array (Tuple String fieldType)

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

Members

• rlToANEKV :: Record row -> Array (Tuple NonEmptyString fieldType)

Instances

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

recordToANEKV :: forall @row rowList fieldType. RowToList row rowList => RLToANEKV rowList row fieldType => Homogeneous row fieldType => Record row -> Array (Tuple NonEmptyString fieldType)