Record.ExtraSrghma.Keys.NonEmptyList

class RLToNELK :: RowList Type -> Constraintclass RLToNELK (rowList :: RowList Type)  where

Members

• rlToNELK :: NonEmpty List String

Instances

• (IsSymbol name, RLToLK tail) => RLToNELK (Cons name ty tail)

rowToNELK :: forall @row rowList. RowToList row rowList => RLToNELK rowList => NonEmpty List String

class RecordToNELK :: forall k. k -> Constraintclass RecordToNELK a  where

Members

• recordToNELK :: NonEmpty List String

Instances

• (RowToList row rowList, RLToNELK rowList) => RecordToNELK (Record row)

class RLToNELNEK :: RowList Type -> Constraintclass RLToNELNEK (rowList :: RowList Type)  where

Members

• rlToNELNEK :: NonEmpty List NonEmptyString

Instances

• (IsSymbol name, MakeNonEmpty name, RLToLNEK tail) => RLToNELNEK (Cons name ty tail)

rowToNELNEK :: forall @row rowList. RowToList row rowList => RLToNELNEK rowList => NonEmpty List NonEmptyString

class RecordToNELNEK :: forall k. k -> Constraintclass RecordToNELNEK a  where

Members

• recordToNELNEK :: NonEmpty List NonEmptyString

Instances

• (RowToList row rowList, RLToNELNEK rowList) => RecordToNELNEK (Record row)