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

from1 :: forall a. f a -> rep
to1 :: rep -> f Unit

Instances

(Functor f, Generic (f Unit) rep) => Generic1 f rep

Modules: Data.Bottom; Data.Operator.Bottom; Data.Operator.Eq; Data.Operator.Generic.Rep; Data.Operator.Ord; Data.Operator.PartialOrd; Data.Operator.Top; Data.PartialOrd; Data.Top