Module Data.wrapper.Num

Monoid wrappers for numeric data

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 Product a

data Sum a

getProduct ∷ Product 𝖆 → 𝖆

getSum ∷ Sum 𝖆 → 𝖆
Instances

instance Eq a ⇒ Eq (Product a)

instance Eq a ⇒ Eq (Sum a)

instance Num a ⇒ Monoid (Product a)

instance Num a ⇒ Monoid (Sum a)

instance Ord a ⇒ Ord (Product a)

instance Ord a ⇒ Ord (Sum a)

instance Num a ⇒ Semigroup (Product a)

instance Num a ⇒ Semigroup (Sum a)

instance Show a ⇒ Show (Product a)

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

Definitions

data Product a

Monoid wrapper for numbers with operation Num.* and identity 1

Constructors

Product {unwrap ∷ a}: wrap a number

Member Functions

unwrap ∷ Product 𝖆 → 𝖆: access field unwrap

getProduct ∷ Product 𝖆 → 𝖆

Alias for Product.unwrap

data Sum a

Monoid wrapper for numbers with operation Num.+ and identity 0

Constructors

Sum {unwrap ∷ a}: wrap a number

Member Functions

unwrap ∷ Sum 𝖆 → 𝖆: access field unwrap

getSum ∷ Sum 𝖆 → 𝖆

Alias for Sum.unwrap

Instances

instance Eq a ⇒ Eq (Product a)

Member Functions

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

instance Eq a ⇒ Eq (Sum a)

Member Functions

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

instance Num a ⇒ Monoid (Product a)

The Monoid instance for Product has identity 1

Member Functions

mconcat ∷ Num 𝖆 ⇒ [Product 𝖆] → Product 𝖆

inherited from Monoid.mconcat

mempty ∷ Num 𝖆 ⇒ Product 𝖆

 Product 1@

mtimes ∷ Num 𝖆 ⇒ Int → Product 𝖆 → Product 𝖆

inherited from Monoid.mtimes

instance Num a ⇒ Monoid (Sum a)

The Monoid instance for Sum has identity 0

Member Functions

mconcat ∷ Num 𝖆 ⇒ [Sum 𝖆] → Sum 𝖆

inherited from Monoid.mconcat

mempty ∷ Num 𝖆 ⇒ Sum 𝖆

 Sum 0

mtimes ∷ Num 𝖆 ⇒ Int → Sum 𝖆 → Sum 𝖆

inherited from Monoid.mtimes

instance Ord a ⇒ Ord (Product a)

Member Functions

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

instance Ord a ⇒ Ord (Sum a)

Member Functions

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

instance Num a ⇒ Semigroup (Product a)

The Semigroup instance for Product uses operation Num.*

Member Functions

mappend ∷ Num 𝖆 ⇒ Product 𝖆 → Product 𝖆 → Product 𝖆
infixr 13

 Product 3 <> Product 7 == Product 21@

sconcat ∷ Num 𝖆 ⇒ [Product 𝖆] → Product 𝖆

inherited from Semigroup.sconcat

stimes ∷ Num 𝖆 ⇒ Int → Product 𝖆 → Product 𝖆

inherited from Semigroup.stimes

instance Num a ⇒ Semigroup (Sum a)

The Semigroup instance for Sum uses operation Num.+

Member Functions

mappend ∷ Num 𝖆 ⇒ Sum 𝖆 → Sum 𝖆 → Sum 𝖆
infixr 13

 Sum 19 <> Sum 23 == Sum 42

sconcat ∷ Num 𝖆 ⇒ [Sum 𝖆] → Sum 𝖆

inherited from Semigroup.sconcat

stimes ∷ Num 𝖆 ⇒ Int → Sum 𝖆 → Sum 𝖆

inherited from Semigroup.stimes

instance Show a ⇒ Show (Product a)

Member Functions

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

instance Show a ⇒ Show (Sum a)

Member Functions

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

Functions and Values by Type

Product 𝖆 → 𝖆: Product.unwrap
Sum 𝖆 → 𝖆: Sum.unwrap
a → Product a: Product.Product
a → Sum a: Sum.Sum
𝖆 → Bool: Product.has$unwrap, Sum.has$unwrap
Eq 𝖆 ⇒ Product 𝖆 → Product 𝖆 → Bool: Eq_Product.!=, Eq_Product.==
Eq 𝖆 ⇒ Product 𝖆 → Int: Eq_Product.hashCode
Eq 𝖆 ⇒ Sum 𝖆 → Sum 𝖆 → Bool: Eq_Sum.!=, Eq_Sum.==
Eq 𝖆 ⇒ Sum 𝖆 → Int: Eq_Sum.hashCode
Num 𝖆 ⇒ Product 𝖆 → Product 𝖆 → Product 𝖆: Semigroup_Product.mappend
Num 𝖆 ⇒ Sum 𝖆 → Sum 𝖆 → Sum 𝖆: Semigroup_Sum.mappend
Num 𝖆 ⇒ [Product 𝖆] → Product 𝖆: Monoid_Product.mconcat, Semigroup_Product.sconcat
Num 𝖆 ⇒ [Sum 𝖆] → Sum 𝖆: Monoid_Sum.mconcat, Semigroup_Sum.sconcat
Num 𝖆 ⇒ Int → Product 𝖆 → Product 𝖆: Monoid_Product.mtimes, Semigroup_Product.stimes
Num 𝖆 ⇒ Int → Sum 𝖆 → Sum 𝖆: Monoid_Sum.mtimes, Semigroup_Sum.stimes
Ord 𝖆 ⇒ Product 𝖆 → Product 𝖆 → Product 𝖆: Ord_Product.min, Ord_Product.max
Ord 𝖆 ⇒ Product 𝖆 → Product 𝖆 → Bool: Ord_Product.>=, Ord_Product.<, Ord_Product.<=, Ord_Product.>
Ord 𝖆 ⇒ Product 𝖆 → Product 𝖆 → Ordering: Ord_Product.compare, Ord_Product.<=>
Ord 𝖆 ⇒ Sum 𝖆 → Sum 𝖆 → Sum 𝖆: Ord_Sum.min, Ord_Sum.max
Ord 𝖆 ⇒ Sum 𝖆 → Sum 𝖆 → Bool: Ord_Sum.>=, Ord_Sum.<, Ord_Sum.<=, Ord_Sum.>
Ord 𝖆 ⇒ Sum 𝖆 → Sum 𝖆 → Ordering: Ord_Sum.compare, Ord_Sum.<=>
Show 𝖆 ⇒ Product 𝖆 → String: Show_Product.showsub, Show_Product.display, Show_Product.show
Show 𝖆 ⇒ Product 𝖆 → [Char]: Show_Product.showChars
Show 𝖆 ⇒ Sum 𝖆 → String: Show_Sum.showsub, Show_Sum.display, Show_Sum.show
Show 𝖆 ⇒ Sum 𝖆 → [Char]: Show_Sum.showChars
Show 𝖆 ⇒ [Product 𝖆] → String → String: Show_Product.showList
Show 𝖆 ⇒ [Sum 𝖆] → String → String: Show_Sum.showList
Show 𝖆 ⇒ Int → Product 𝖆 → String → String: Show_Product.showsPrec
Show 𝖆 ⇒ Int → Sum 𝖆 → String → String: Show_Sum.showsPrec
Num 𝖆 ⇒ Product 𝖆: Monoid_Product.mempty
Num 𝖆 ⇒ Sum 𝖆: Monoid_Sum.mempty
Product 𝖆 → 𝖇 → Product 𝖇: Product.upd$unwrap
Product 𝖇 → (𝖇→𝖆) → Product 𝖆: Product.chg$unwrap
Sum 𝖆 → 𝖇 → Sum 𝖇: Sum.upd$unwrap
Sum 𝖇 → (𝖇→𝖆) → Sum 𝖆: Sum.chg$unwrap