Data.Bounded.Generic

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 :: forall a rep. Generic a rep => GenericBottom rep => a

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

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 :: forall a rep. Generic a rep => GenericTop rep => a

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