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

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