Data.Bounded.Deriving.Internal

Exports functions to mechanically derive Bounded instances.

Note: this is an internal module, and as such, the API presented here is not guaranteed to be stable, even between minor releases of this library.

Bounded

deriveBounded :: Name -> Q [Dec]

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

makeMinBound :: Name -> Q Exp

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

makeMaxBound :: Name -> Q Exp

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