Module

Type.Proxying.Type

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

#GenericTProxying Source

class (Generic (f t) rep) <= GenericTProxying (rep :: Type) (f :: Type -> Type) (t :: Type)  where

Members

genericTProxy :: Proxy rep -> f t

Instances

(Generic (f t) (Constructor proxyName NoArguments)) => GenericTProxying (Constructor proxyName NoArguments) f t

#TProxying Source

class TProxying (f :: Type -> Type) (a :: Type)  where

Members

tProxy :: f a

Instances

TProxying Proxy a
(Generic (f t) (Constructor proxyName NoArguments)) => TProxying f t

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