Record.ExtraSrghma.Keys.NonEmptyArray

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

Members

• rlToNEAK :: NonEmptyArray String

Instances

• (IsSymbol name, RLToAK tail) => RLToNEAK (Cons name ty tail)

rowToNEAK :: forall @row rowList. RowToList row rowList => RLToNEAK rowList => NonEmptyArray String

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

Members

• recordToNEAK :: NonEmptyArray String

Instances

• (RowToList row rowList, RLToNEAK rowList) => RecordToNEAK (Record row)

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

Members

• rlToNEANEK :: NonEmptyArray NonEmptyString

Instances

• (IsSymbol name, MakeNonEmpty name, RLToANEK tail) => RLToNEANEK (Cons name ty tail)

rowToNEANEK :: forall @row rowList. RowToList row rowList => RLToNEANEK rowList => NonEmptyArray NonEmptyString

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

Members

• recordToNEANEK :: NonEmptyArray NonEmptyString

Instances

• (RowToList row rowList, RLToNEANEK rowList) => RecordToNEANEK (Record row)