Naporitan

class ReflectRecordProxy a  where

Members

• reflectRecordProxy :: a

Instances

• (RowToList r rl, ReflectRecordProxyBuilder rl () r) => ReflectRecordProxy (Record r)

class ReflectRecordProxyBuilder (rl :: RowList) (i :: Row Type) (o :: Row Type) | rl -> i o where

Members

• reflectRecordProxyBuilder :: RLProxy rl -> Builder (Record i) (Record o)

Instances

• ReflectRecordProxyBuilder Nil () ()
• (ReflectRecordProxyBuilder tail from from', Lacks name from', Cons name a from' to, ReflectProxy a, IsSymbol name) => ReflectRecordProxyBuilder (Cons name a tail) from to

class ReflectProxy a  where

Various proxies that can be created

Members

• reflectProxy :: a

Instances

• ReflectProxy (Proxy a)
• ReflectProxy (SProxy s)