Record.ExtraSrghma.Keys

class Keys (xs :: RowList Type)  where

Members

• keysImpl :: Proxy xs -> List String

Instances

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

keys :: forall g row rl. RowToList row rl => Keys rl => g row -> List String

pickFn :: forall r1 r2. Fn2 (Array String) (Record r1) (Record r2)

pick :: forall a r b l. Union b r a => RowToList b l => Keys l => Record a -> Record b

slistKeys :: forall g tuples rl. SListToRowList tuples rl => Keys rl => g tuples -> List String