Module
Type.Proxying.Row
- Package
- purescript-proxying
- Repository
- matthew-hilty/purescript-proxying
#GenericRProxying Source
class (Generic (f r) rep) <= GenericRProxying (rep :: Type) (f :: Row Type -> Type) (r :: Row Type) where
Members
genericRProxy :: Proxy rep -> f r
Instances
(Generic (f r) (Constructor proxyName NoArguments)) => GenericRProxying (Constructor proxyName NoArguments) f r