Module

Data.Operator.Generic.Rep

Package
purescript-higher-order
Repository
matthew-hilty/purescript-higher-order

#Generic1 Source

class Generic1 (f :: Type -> Type) rep | f -> rep where

The Generic1 class asserts the existence of a function from types of kind Type -> Type to their representations using the type constructors defined in the Data.Generic.Rep module of the 'generics-rep' package.

Members

Instances