Module

Xiaomian

Package: purescript-xiaomian
Repository: justinwoo/purescript-xiaomian

#getKeysRow Source

getKeysRow :: forall keys r proxy. GetKeysRow r keys => proxy r -> RProxy keys

#getKeysRecord Source

getKeysRecord :: forall keys r proxy. GetKeysRow r keys => ReflectRecordProxy (Record keys) => proxy r -> Record keys

#getKeysRecord' Source

getKeysRecord' :: forall keys r rproxy proxy. GetKeysRow r keys => ReflectRecordProxy (Record keys) => proxy (rproxy r) -> Record keys

#GetKeysRow Source

class GetKeysRow (r :: Row Type) (keys :: Row Type) | r -> keys

Instances

(RowToList r rl, GetKeysRowInst rl keys) => GetKeysRow r keys

#GetKeysRowInst Source

class GetKeysRowInst (rl :: RowList) (keys :: Row Type) | rl -> keys

Instances

GetKeysRowInst Nil ()
(GetKeysRowInst tail keys', Cons name (SProxy name) keys' keys) => GetKeysRowInst (Cons name ty tail) keys

Modules: Xiaomian