Module
Type.Proxying.Type2
- Package
- purescript-proxying
- Repository
- matthew-hilty/purescript-proxying
#GenericT2Proxying Source
class (Generic (f t) rep) <= GenericT2Proxying (rep :: Type) (f :: (Type -> Type) -> Type) (t :: Type -> Type) where
Members
genericT2Proxy :: Proxy rep -> f t
Instances
(Generic (f t) (Constructor proxyName NoArguments)) => GenericT2Proxying (Constructor proxyName NoArguments) f t
#T2Proxying Source
class T2Proxying (f :: (Type -> Type) -> Type) (a :: Type -> Type) where
Members
t2Proxy :: f a
Instances
T2Proxying Proxy2 a
(Generic (f t) (Constructor proxyName NoArguments)) => T2Proxying f t