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

#RProxying Source

class RProxying (f :: Row Type -> Type) (r :: Row Type)  where

Members

rProxy :: f r

Instances

RProxying RProxy r
RProxying RProxy r
(Generic (f r) (Constructor proxyName NoArguments)) => RProxying f r

Modules: Type.Proxying; Type.Proxying.Boolean; Type.Proxying.Ordering; Type.Proxying.Row; Type.Proxying.RowList; Type.Proxying.Symbol; Type.Proxying.Type; Type.Proxying.Type2; Type.Proxying.Type3