Module

Data.Generic.Rep.Bounded

Package: purescript-generics-repDEPRECATED
Repository: purescript-deprecated/purescript-generics-rep

#GenericBottom Source

class GenericBottom a  where

Members

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 => a

A Generic implementation of the bottom member from the Bounded type class.

#GenericTop Source

class GenericTop a  where

Members

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 => a

A Generic implementation of the top member from the Bounded type class.

Modules: Data.Generic.Rep; Data.Generic.Rep.Bounded; Data.Generic.Rep.Enum; Data.Generic.Rep.Eq; Data.Generic.Rep.HeytingAlgebra; Data.Generic.Rep.Monoid; Data.Generic.Rep.Ord; Data.Generic.Rep.Ring; Data.Generic.Rep.Semigroup; Data.Generic.Rep.Semiring; Data.Generic.Rep.Show