Record.ExtraSrghma.Entries.NonEmptyArray

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

Members

• rlToNEAKV :: Record row -> NonEmptyArray (Tuple String fieldType)

Instances

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

recordToNEAKV :: forall @row rowList fieldType. RowToList row rowList => RLToNEAKV rowList row fieldType => Homogeneous row fieldType => Record row -> NonEmptyArray (Tuple String fieldType)

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

Members

• rlToNEANEKV :: Record row -> NonEmptyArray (Tuple NonEmptyString fieldType)

Instances

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

recordToNEANEKV :: forall @row rowList fieldType. RowToList row rowList => RLToNEANEKV rowList row fieldType => Homogeneous row fieldType => Record row -> NonEmptyArray (Tuple NonEmptyString fieldType)