Module
Data.Generic.Rep
- Package
- purescript-generics-repDEPRECATED
- Repository
- purescript/purescript-generics-rep
#NoConstructors Source
data NoConstructors
A representation for types with no constructors.
#NoArguments Source
data NoArguments
A representation for constructors with no arguments.
Constructors
Instances
Generic (Maybe a) (Sum (Constructor "Nothing" NoArguments) (Constructor "Just" (Argument a)))
#Sum Source
data Sum a b
A representation for types with multiple constructors.
Constructors
Instances
Generic (Maybe a) (Sum (Constructor "Nothing" NoArguments) (Constructor "Just" (Argument a)))
#Constructor Source
newtype Constructor (name :: Symbol) a
A representation for constructors which includes the data constructor name as a type-level string.
Constructors
Instances
Generic (Maybe a) (Sum (Constructor "Nothing" NoArguments) (Constructor "Just" (Argument a)))
#Argument Source
newtype Argument a
A representation for an argument in a data constructor.
Constructors
Argument a
Instances
Generic (Maybe a) (Sum (Constructor "Nothing" NoArguments) (Constructor "Just" (Argument a)))
#Generic Source
class Generic a rep | a -> rep where
The Generic
class asserts the existence of a type function from types
to their representations using the type constructors defined in this module.
Members
Instances
Generic (Maybe a) (Sum (Constructor "Nothing" NoArguments) (Constructor "Just" (Argument a)))