Module Data.wrapper.Dual

Provides a wrapper for a Monoid that works in reverse

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

  getDual ∷ Dual 𝖆 → 𝖆

• Instances

  instance Eq a ⇒ Eq (Dual a)

  instance Monoid a ⇒ Monoid (Dual a)

  instance Ord a ⇒ Ord (Dual a)

  instance Semigroup a ⇒ Semigroup (Dual a)

  instance Show a ⇒ Show (Dual a)

• Functions and Values by Type

Definitions

data Dual a

Provides a Monoid where Semigroup.mappend appears flipped.

Constructors

Dual {unwrap ∷ a}

wrap a value to give a Dual

Member Functions

unwrap ∷ Dual 𝖆 → 𝖆

access field unwrap

getDual ∷ Dual 𝖆 → 𝖆

Alias for Dual.unwrap

Instances

instance Eq a ⇒ Eq (Dual a)

Member Functions

!= ∷ Eq 𝖆 ⇒ Dual 𝖆 → Dual 𝖆 → Bool
infix  7

inherited from Eq.!=

== ∷ Eq 𝖆 ⇒ Dual 𝖆 → Dual 𝖆 → Bool
infix  7

Function generated for derived instance.

hashCode ∷ Eq 𝖆 ⇒ Dual 𝖆 → Int

Function generated for derived instance.

instance Monoid a ⇒ Monoid (Dual a)

Member Functions

mconcat ∷ Monoid 𝖆 ⇒ [Dual 𝖆] → Dual 𝖆

inherited from Monoid.mconcat

mempty ∷ Monoid 𝖆 ⇒ Dual 𝖆

Dual e where e is the identity of the wrapped value.

mtimes ∷ Monoid 𝖆 ⇒ Int → Dual 𝖆 → Dual 𝖆

inherited from Monoid.mtimes

instance Ord a ⇒ Ord (Dual a)

Member Functions

< ∷ Ord 𝖆 ⇒ Dual 𝖆 → Dual 𝖆 → Bool
infix  9

inherited from Ord.<

<= ∷ Ord 𝖆 ⇒ Dual 𝖆 → Dual 𝖆 → Bool
infix  9

inherited from Ord.<=

<=> ∷ Ord 𝖆 ⇒ Dual 𝖆 → Dual 𝖆 → Ordering
infix  8

Function generated for derived instance.

> ∷ Ord 𝖆 ⇒ Dual 𝖆 → Dual 𝖆 → Bool
infix  9

inherited from Ord.>

>= ∷ Ord 𝖆 ⇒ Dual 𝖆 → Dual 𝖆 → Bool
infix  9

inherited from Ord.>=

compare ∷ Ord 𝖆 ⇒ Dual 𝖆 → Dual 𝖆 → Ordering
infix  8

inherited from Ord.compare

max ∷ Ord 𝖆 ⇒ Dual 𝖆 → Dual 𝖆 → Dual 𝖆

inherited from Ord.max

min ∷ Ord 𝖆 ⇒ Dual 𝖆 → Dual 𝖆 → Dual 𝖆

inherited from Ord.min

instance Semigroup a ⇒ Semigroup (Dual a)

Member Functions

mappend ∷ Semigroup 𝖆 ⇒ Dual 𝖆 → Dual 𝖆 → Dual 𝖆
infixr  13

 Dual "foo" <> Dual "bar" == Dual "barfoo"   

sconcat ∷ Semigroup 𝖆 ⇒ [Dual 𝖆] → Dual 𝖆

inherited from Semigroup.sconcat

stimes ∷ Semigroup 𝖆 ⇒ Int → Dual 𝖆 → Dual 𝖆

inherited from Semigroup.stimes

instance Show a ⇒ Show (Dual a)

Member Functions

display ∷ Show 𝖆 ⇒ Dual 𝖆 → String

inherited from Show.display

show ∷ Show 𝖆 ⇒ Dual 𝖆 → String

Function generated for derived instance.

showChars ∷ Show 𝖆 ⇒ Dual 𝖆 → [Char]

inherited from Show.showChars

showList ∷ Show 𝖆 ⇒ [Dual 𝖆] → String → String

inherited from Show.showList

showsPrec ∷ Show 𝖆 ⇒ Int → Dual 𝖆 → String → String

inherited from Show.showsPrec

showsub ∷ Show 𝖆 ⇒ Dual 𝖆 → String

Function generated for derived instance.

Functions and Values by Type

Dual 𝖆 → 𝖆

Dual.unwrap

a → Dual a

Dual.Dual

𝖆 → Bool

Dual.has$unwrap

Monoid 𝖆 ⇒ [Dual 𝖆] → Dual 𝖆

Monoid_Dual.mconcat

Monoid 𝖆 ⇒ Int → Dual 𝖆 → Dual 𝖆

Monoid_Dual.mtimes

Semigroup 𝖆 ⇒ Dual 𝖆 → Dual 𝖆 → Dual 𝖆

Semigroup_Dual.mappend

Semigroup 𝖆 ⇒ [Dual 𝖆] → Dual 𝖆

Semigroup_Dual.sconcat

Semigroup 𝖆 ⇒ Int → Dual 𝖆 → Dual 𝖆

Semigroup_Dual.stimes

Eq 𝖆 ⇒ Dual 𝖆 → Dual 𝖆 → Bool

Eq_Dual.!=, Eq_Dual.==

Eq 𝖆 ⇒ Dual 𝖆 → Int

Eq_Dual.hashCode

Ord 𝖆 ⇒ Dual 𝖆 → Dual 𝖆 → Dual 𝖆

Ord_Dual.min, Ord_Dual.max

Ord 𝖆 ⇒ Dual 𝖆 → Dual 𝖆 → Bool

Ord_Dual.>=, Ord_Dual.<, Ord_Dual.<=, Ord_Dual.>

Ord 𝖆 ⇒ Dual 𝖆 → Dual 𝖆 → Ordering

Ord_Dual.compare, Ord_Dual.<=>

Show 𝖆 ⇒ Dual 𝖆 → String

Show_Dual.showsub, Show_Dual.display, Show_Dual.show

Show 𝖆 ⇒ Dual 𝖆 → [Char]

Show_Dual.showChars

Show 𝖆 ⇒ [Dual 𝖆] → String → String

Show_Dual.showList

Show 𝖆 ⇒ Int → Dual 𝖆 → String → String

Show_Dual.showsPrec

Monoid 𝖆 ⇒ Dual 𝖆

Monoid_Dual.mempty

Dual 𝖆 → 𝖇 → Dual 𝖇

Dual.upd$unwrap

Dual 𝖇 → (𝖇→𝖆) → Dual 𝖆

Dual.chg$unwrap