Xiaomian

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

getKeysRecord :: forall proxy r keys. GetKeysRow r keys => ReflectRecordProxy {  | keys } => proxy r -> {  | keys }

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

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

Instances

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

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

Instances

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