Data.Monoid.Inf

data Inf :: forall k. k -> Type -> Typedata Inf p a

@Inf p a@ represents the type 'a' extended with a new "infinite"

Constructors

• Infinity
• Finite a

Instances

• (Eq a) => Eq (Inf p a)
• Functor (Inf p)
• Foldable (Inf p)
• Traversable (Inf p)
• (Ord a) => Ord (Inf Pos a)

  Positive infinity is greater than any finite value.

• (Ord a) => Ord (Inf Neg a)

  Negative infinity is less than any finite value.

• (Ord a) => Semigroup (Inf Pos a)

  An ordered type extended with positive infinity is a semigroup

• (Ord a) => Semigroup (Inf Neg a)

  An ordered type extended with negative infinity is a semigroup

• (Ord a) => Monoid (Inf Pos a)

  An ordered type extended with positive infinity is a monoid under

• (Ord a) => Monoid (Inf Neg a)

  An ordered type extended with negative infinity is a monoid under

• Applicative (Inf p)
• Apply (Inf p)
• Bind (Inf p)
• Monad (Inf p)

data Pos

Type index indicating positive infinity.

Instances

• (Ord a) => Ord (Inf Pos a)

  Positive infinity is greater than any finite value.

• (Ord a) => Semigroup (Inf Pos a)

  An ordered type extended with positive infinity is a semigroup

• (Ord a) => Monoid (Inf Pos a)

  An ordered type extended with positive infinity is a monoid under

data Neg

Type index indicating negative infinity.

Instances

• (Ord a) => Ord (Inf Neg a)

  Negative infinity is less than any finite value.

• (Ord a) => Semigroup (Inf Neg a)

  An ordered type extended with negative infinity is a semigroup

• (Ord a) => Monoid (Inf Neg a)

  An ordered type extended with negative infinity is a monoid under

type PosInf a = Inf Pos a

The type 'a' extended with positive infinity.

Instances

• (Bounded a) => Bounded (PosInf a)

type NegInf a = Inf Neg a

The type 'a' extended with negative infinity.

Instances

• (Bounded a) => Bounded (NegInf a)

minimum :: forall a. Ord a => Array a -> PosInf a

Find the minimum of a list of values. Returns positive infinity

maximum :: forall a. Ord a => Array a -> NegInf a

Find the maximum of a list of values. Returns negative infinity

posInfty :: forall a. PosInf a

Positive infinity.

negInfty :: forall a. NegInf a

Negative infinity.

posFinite :: forall a. a -> PosInf a

Embed a finite value into the space of such values extended with

negFinite :: forall a. a -> NegInf a

Embed a finite value into the space of such values extended with