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