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

Instances

#T2Proxying Source

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

Members

Instances