Data.Bounded.Deriving

Exports functions to mechanically derive Bounded instances.

Bounded

3 declarations

valuederiveBounded :: Name -> Q [Dec]

Generates a Bounded instance declaration for the given data type or data family instance.

valuemakeMinBound :: Name -> Q Exp

Generates a lambda expression which behaves like minBound (without requiring a Bounded instance).

valuemakeMaxBound :: Name -> Q Exp

Generates a lambda expression which behaves like maxBound (without requiring a Bounded instance).

0 declarations

Be aware of the following potential gotchas:

Type variables of kind * are assumed to have Bounded constraints. If this is not desirable, use makeMinBound or one of its cousins.