Record.Studio.Keys

class Keys :: Row Type -> Constraintclass Keys (r :: Row Type)  where

Members

• keys :: (Proxy r) -> Array String

Instances

• (RowToList r rl, KeysRL rl) => Keys r

class KeysRL :: RowList Type -> Constraintclass KeysRL (xs :: RowList Type)  where

Members

• keysImpl :: Proxy xs -> List String

Instances

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

recordKeys :: forall r. Keys r => Record r -> Array String