Data.Monoid.Inf

Make semigroup under min or max into monoids by adjoining an element corresponding to infinity (positive or negative, respectively). These types are similar to Option (Min a) and Option (Max a) respectively, except that the Ord instance matches the Monoid instance.

Documentation

data Inf p a

Constructors

Infinity

Finite a

Instances

Functor (Inf p)

Foldable (Inf p)

Traversable (Inf p)

Eq a => Eq (Inf p a)

Read a => Read (Inf p a)

Show a => Show (Inf p a)

type PosInf a = Inf Pos a

type NegInf a = Inf Neg a

minimum :: Ord a => [a] -> PosInf a

maximum :: Ord a => [a] -> NegInf a

Type-restricted constructors

posInfty :: PosInf a

negInfty :: NegInf a

posFinite :: a -> PosInf a

negFinite :: a -> NegInf a