Module
Type.Proxying.Type3
- Package
- purescript-proxying
- Repository
- matthew-hilty/purescript-proxying
#GenericT3Proxying Source
class (Generic (f t) rep) <= GenericT3Proxying (rep :: Type) (f :: (Type -> Type -> Type) -> Type) (t :: Type -> Type -> Type) where
Members
genericT3Proxy :: Proxy rep -> f t
Instances
(Generic (f t) (Constructor proxyName NoArguments)) => GenericT3Proxying (Constructor proxyName NoArguments) f t
#T3Proxying Source
class T3Proxying (f :: (Type -> Type -> Type) -> Type) (a :: Type -> Type -> Type) where
Members
t3Proxy :: f a
Instances
T3Proxying Proxy3 a
(Generic (f t) (Constructor proxyName NoArguments)) => T3Proxying f t