QuickServe.Internal

data LProxy (l :: RowList)

Constructors

• LProxy

get :: forall r2 r1 a l. IsSymbol l => RowCons l a r1 r2 => SProxy l -> Record r2 -> a

Get a property from a record by providing a label as a type-level string.

Note: the RowCons constraint makes this operation safe.

rowToList :: forall l r proxy. RowToList r l => proxy r -> LProxy l