Module Data.wrapper.Ord

Monoid instances for bounded and ordered values, using Ord.min and Ord.max

Imports

import Data.Monoid as Monoid
import frege.Prelude as Prelude
import Prelude.PreludeArrays as PreludeArrays
import Prelude.PreludeBase as PreludeBase
import Prelude.PreludeDecimal as PreludeDecimal
import Prelude.PreludeIO as PreludeIO
import Prelude.PreludeList as PreludeList
import Prelude.PreludeMonad as PreludeMonad
import Prelude.PreludeText as PreludeText
import Java.util.Regex as Regexp

Table of Content

Definitions

data Max a

data Min a

getMin ∷ Min α → α

getMax ∷ Max α → α
Instances

instance Eq a ⇒ Eq (Max a)

instance Eq a ⇒ Eq (Min a)

instance (Ord a, Bounded a) ⇒ Monoid (Max a)

instance (Ord a, Bounded a) ⇒ Monoid (Min a)

instance Ord a ⇒ Ord (Max a)

instance Ord a ⇒ Ord (Min a)

instance Ord a ⇒ Semigroup (Max a)

instance Ord a ⇒ Semigroup (Min a)

instance Show a ⇒ Show (Max a)

instance Show a ⇒ Show (Min a)
Functions and Values by Type

Definitions

data Min a

Constructors

Min {unwrap ∷ a}

Member Functions

unwrap ∷ Min α → α: access field unwrap

getMin ∷ Min α → α

Alias for Min.unwrap

data Max a

Constructors

Max {unwrap ∷ a}

Member Functions

unwrap ∷ Max α → α: access field unwrap

getMax ∷ Max α → α

Alias for Max.unwrap

Instances

instance Eq a ⇒ Eq (Max a)

Member Functions

!= ∷ Eq α ⇒ Max α → Max α → Bool
infix 7: inherited from Eq.!=
== ∷ Eq α ⇒ Max α → Max α → Bool
infix 7: Function generated for derived instance.
hashCode ∷ Eq α ⇒ Max α → Int: Function generated for derived instance.

instance Eq a ⇒ Eq (Min a)

Member Functions

!= ∷ Eq α ⇒ Min α → Min α → Bool
infix 7: inherited from Eq.!=
== ∷ Eq α ⇒ Min α → Min α → Bool
infix 7: Function generated for derived instance.
hashCode ∷ Eq α ⇒ Min α → Int: Function generated for derived instance.

instance (Ord a, Bounded a) ⇒ Monoid (Max a)

Member Functions

mconcat ∷ (Ord α, Bounded α) ⇒ [Max α] → Max α: inherited from Monoid.mconcat
mempty ∷ (Ord α, Bounded α) ⇒ Max α
mtimes ∷ (Ord α, Bounded α) ⇒ Int → Max α → Max α: inherited from Monoid.mtimes

instance (Ord a, Bounded a) ⇒ Monoid (Min a)

Member Functions

mconcat ∷ (Ord α, Bounded α) ⇒ [Min α] → Min α: inherited from Monoid.mconcat
mempty ∷ (Ord α, Bounded α) ⇒ Min α
mtimes ∷ (Ord α, Bounded α) ⇒ Int → Min α → Min α: inherited from Monoid.mtimes

instance Ord a ⇒ Ord (Max a)

Member Functions

< ∷ Ord α ⇒ Max α → Max α → Bool
infix 9: inherited from Ord.<
<= ∷ Ord α ⇒ Max α → Max α → Bool
infix 9: inherited from Ord.<=
<=> ∷ Ord α ⇒ Max α → Max α → Ordering
infix 8: Function generated for derived instance.
> ∷ Ord α ⇒ Max α → Max α → Bool
infix 9: inherited from Ord.>
>= ∷ Ord α ⇒ Max α → Max α → Bool
infix 9: inherited from Ord.>=
compare ∷ Ord α ⇒ Max α → Max α → Ordering
infix 8: inherited from Ord.compare
max ∷ Ord α ⇒ Max α → Max α → Max α: inherited from Ord.max
min ∷ Ord α ⇒ Max α → Max α → Max α: inherited from Ord.min

instance Ord a ⇒ Ord (Min a)

Member Functions

< ∷ Ord α ⇒ Min α → Min α → Bool
infix 9: inherited from Ord.<
<= ∷ Ord α ⇒ Min α → Min α → Bool
infix 9: inherited from Ord.<=
<=> ∷ Ord α ⇒ Min α → Min α → Ordering
infix 8: Function generated for derived instance.
> ∷ Ord α ⇒ Min α → Min α → Bool
infix 9: inherited from Ord.>
>= ∷ Ord α ⇒ Min α → Min α → Bool
infix 9: inherited from Ord.>=
compare ∷ Ord α ⇒ Min α → Min α → Ordering
infix 8: inherited from Ord.compare
max ∷ Ord α ⇒ Min α → Min α → Min α: inherited from Ord.max
min ∷ Ord α ⇒ Min α → Min α → Min α: inherited from Ord.min

instance Ord a ⇒ Semigroup (Max a)

Member Functions

mappend ∷ Ord α ⇒ Max α → Max α → Max α
infixr 13
sconcat ∷ Ord α ⇒ [Max α] → Max α: inherited from Semigroup.sconcat
stimes ∷ Ord α ⇒ Int → Max α → Max α: inherited from Semigroup.stimes

instance Ord a ⇒ Semigroup (Min a)

Member Functions

mappend ∷ Ord α ⇒ Min α → Min α → Min α
infixr 13
sconcat ∷ Ord α ⇒ [Min α] → Min α: inherited from Semigroup.sconcat
stimes ∷ Ord α ⇒ Int → Min α → Min α: inherited from Semigroup.stimes

instance Show a ⇒ Show (Max a)

Member Functions

display ∷ Show α ⇒ Max α → String: inherited from Show.display
show ∷ Show α ⇒ Max α → String: Function generated for derived instance.
showChars ∷ Show α ⇒ Max α → [Char]: inherited from Show.showChars
showList ∷ Show α ⇒ [Max α] → String → String: inherited from Show.showList
showsPrec ∷ Show α ⇒ Int → Max α → String → String: inherited from Show.showsPrec
showsub ∷ Show α ⇒ Max α → String: Function generated for derived instance.

instance Show a ⇒ Show (Min a)

Member Functions

display ∷ Show α ⇒ Min α → String: inherited from Show.display
show ∷ Show α ⇒ Min α → String: Function generated for derived instance.
showChars ∷ Show α ⇒ Min α → [Char]: inherited from Show.showChars
showList ∷ Show α ⇒ [Min α] → String → String: inherited from Show.showList
showsPrec ∷ Show α ⇒ Int → Min α → String → String: inherited from Show.showsPrec
showsub ∷ Show α ⇒ Min α → String: Function generated for derived instance.

Functions and Values by Type

Max α → α: Max.unwrap
Min α → α: Min.unwrap
a → Max a: Max.Max
a → Min a: Min.Min
α → Bool: Max.has$unwrap, Min.has$unwrap
Eq α ⇒ Max α → Max α → Bool: Eq_Max.!=, Eq_Max.==
Eq α ⇒ Max α → Int: Eq_Max.hashCode
Eq α ⇒ Min α → Min α → Bool: Eq_Min.!=, Eq_Min.==
Eq α ⇒ Min α → Int: Eq_Min.hashCode
Ord α ⇒ Max α → Max α → Max α: Ord_Max.min, Ord_Max.max, Semigroup_Max.mappend
Ord α ⇒ Max α → Max α → Bool: Ord_Max.>=, Ord_Max.<, Ord_Max.<=, Ord_Max.>
Ord α ⇒ Max α → Max α → Ordering: Ord_Max.compare, Ord_Max.<=>
Ord α ⇒ Min α → Min α → Min α: Ord_Min.min, Ord_Min.max, Semigroup_Min.mappend
Ord α ⇒ Min α → Min α → Bool: Ord_Min.>=, Ord_Min.<, Ord_Min.<=, Ord_Min.>
Ord α ⇒ Min α → Min α → Ordering: Ord_Min.compare, Ord_Min.<=>
Ord α ⇒ [Max α] → Max α: Semigroup_Max.sconcat
Ord α ⇒ [Min α] → Min α: Semigroup_Min.sconcat
Ord α ⇒ Int → Max α → Max α: Semigroup_Max.stimes
Ord α ⇒ Int → Min α → Min α: Semigroup_Min.stimes
(Ord α, Bounded α) ⇒ [Max α] → Max α: Monoid_Max.mconcat
(Ord α, Bounded α) ⇒ [Min α] → Min α: Monoid_Min.mconcat
(Ord α, Bounded α) ⇒ Int → Max α → Max α: Monoid_Max.mtimes
(Ord α, Bounded α) ⇒ Int → Min α → Min α: Monoid_Min.mtimes
Show α ⇒ Max α → String: Show_Max.showsub, Show_Max.display, Show_Max.show
Show α ⇒ Max α → [Char]: Show_Max.showChars
Show α ⇒ Min α → String: Show_Min.showsub, Show_Min.display, Show_Min.show
Show α ⇒ Min α → [Char]: Show_Min.showChars
Show α ⇒ [Max α] → String → String: Show_Max.showList
Show α ⇒ [Min α] → String → String: Show_Min.showList
Show α ⇒ Int → Max α → String → String: Show_Max.showsPrec
Show α ⇒ Int → Min α → String → String: Show_Min.showsPrec
(Ord α, Bounded α) ⇒ Max α: Monoid_Max.mempty
(Ord α, Bounded α) ⇒ Min α: Monoid_Min.mempty
Max α → β → Max β: Max.upd$unwrap
Max β → (β→α) → Max α: Max.chg$unwrap
Min α → β → Min β: Min.upd$unwrap
Min β → (β→α) → Min α: Min.chg$unwrap