Module
Data.Generic.Rep.Bounded
- Package
- purescript-generics-repDEPRECATED
- Repository
- purescript/purescript-generics-rep
#GenericBottom Source
class GenericBottom a where
Members
genericBottom' :: a
Instances
GenericBottom NoArguments
(GenericBottom a) => GenericBottom (Sum a b)
(GenericBottom a) => GenericBottom (Constructor name a)
#GenericTop Source
class GenericTop a where
Members
genericTop' :: a
Instances
GenericTop NoArguments
(GenericTop b) => GenericTop (Sum a b)
(GenericTop a) => GenericTop (Constructor name a)
#genericBottom Source
genericBottom :: forall rep a. Generic a rep => GenericBottom rep => a
A Generic
implementation of the bottom
member from the Bounded
type class.
#genericTop Source
genericTop :: forall rep a. Generic a rep => GenericTop rep => a
A Generic
implementation of the top
member from the Bounded
type class.