Record.ExtraSrghma.Keys.List

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

Members

• rlToLK :: List String

Instances

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

rowToLK :: forall @row rowList. RowToList row rowList => RLToLK rowList => List String

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

Members

• recordToLK :: List String

Instances

• (RowToList row rowList, RLToLK rowList) => RecordToLK (Record row)

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

Members

• rlToLNEK :: List NonEmptyString

Instances

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

rowToLNEK :: forall @row rowList. RowToList row rowList => RLToLNEK rowList => List NonEmptyString

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

Members

• recordToLNEK :: List NonEmptyString

Instances

• (RowToList row rowList, RLToLNEK rowList) => RecordToLNEK (Record row)