Module

Type.Proxying.RowList

Package: purescript-proxying
Repository: matthew-hilty/purescript-proxying

#GenericRLProxying Source

class (Generic (f l) rep) <= GenericRLProxying (rep :: Type) (f :: RowList -> Type) (l :: RowList)  where

Members

genericRLProxy :: Proxy rep -> f l

Instances

(Generic (f l) (Constructor proxyName NoArguments)) => GenericRLProxying (Constructor proxyName NoArguments) f l

#RLProxying Source

class RLProxying (f :: RowList -> Type) (l :: RowList)  where

Members

rlProxy :: f l

Instances

RLProxying RLProxy l
RLProxying RLProxy l
(Generic (f l) (Constructor proxyName NoArguments)) => RLProxying f l

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