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