Module

Record.ExtraSrghma.Keys.Array

Package: purescript-record-extra-srghma
Repository: srghma/purescript-record-extra-srghma

#RLToAK Source

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

Members

rlToAK :: Array String

Instances

RLToAK Nil
(IsSymbol name, RLToAK tail) => RLToAK (Cons name ty tail)

#rowToAK Source

rowToAK :: forall @row rowList. RowToList row rowList => RLToAK rowList => Array String

#RecordToAK Source

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

Members

recordToAK :: Array String

Instances

(RowToList row rowList, RLToAK rowList) => RecordToAK (Record row)

#RLToANEK Source

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

Members

rlToANEK :: Array NonEmptyString

Instances

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

#rowToANEK Source

rowToANEK :: forall @row rowList. RowToList row rowList => RLToANEK rowList => Array NonEmptyString

#RecordToANEK Source

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

Members

recordToANEK :: Array NonEmptyString

Instances

(RowToList row rowList, RLToANEK rowList) => RecordToANEK (Record row)