Module

Type.Proxying.Row

Package
purescript-proxying
Repository
matthew-hilty/purescript-proxying

#GenericRProxying Source

class (Generic (f r) rep) <= GenericRProxying (rep :: Type) (f :: # Type -> Type) (r :: # Type)  where

Members

Instances

#RProxying Source

class RProxying (f :: # Type -> Type) (r :: # Type)  where

Members

Instances