Naporitan

class ReflectRecordProxy a  where

Members

• reflectRecordProxy :: a

Instances

• (RowToList r rl, ReflectRecordProxyBuilder rl () r) => ReflectRecordProxy { | r }

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

Members

• reflectRecordProxyBuilder :: RLProxy rl -> Builder { | i } { | 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)
• ReflectProxy (RProxy s)
• ReflectProxy (RLProxy s)