Data.Ord.Bounded

Creating bounded value from any Ord instance

Documentation

data GBounded min max a

A structure that provides minimum/maximum to any value.

Instances

Monad (GBounded min max)

Functor (GBounded min max)

Applicative (GBounded min max)

(Eq min, Eq max, Eq a) => Eq (GBounded min max a)

(Ord min, Ord max, Ord a) => Ord (GBounded min max a)

(Show min, Show max, Show a) => Show (GBounded min max a)

type BoundedMin = GBounded () Void

type BoundedMax = GBounded Void ()

type BoundedBoth = GBounded () ()

minimumBound :: GBounded () max a

Provided minimum value.

maximumBound :: GBounded min () a

Provided maximum value.