Record.ExtraSrghma.Entries.NonEmptyList

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

Members

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

Instances

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

recordToNELKV :: forall @row rowList fieldType. RowToList row rowList => RLToNELKV rowList row fieldType => Homogeneous row fieldType => Record row -> NonEmpty List (Tuple String fieldType)

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

Members

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

Instances

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

recordToNEANELKV :: forall @row rowList fieldType. RowToList row rowList => RLToNEANELKV rowList row fieldType => Homogeneous row fieldType => Record row -> NonEmpty List (Tuple NonEmptyString fieldType)