Module Data.Tuples

Eq, Ord and Show instances for tuples 4 .. 7 Functor instances for tuples 4 .. 7 Semigroup and Monoid instances for tuples 2 .. 7 Monad instances for Tuples 2 .. 7

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

• Instances

  instance (Eq a, Eq b, Eq c, Eq d) ⇒ Eq (a, b, c, d)

  instance (Eq a, Eq b, Eq c, Eq d, Eq e) ⇒ Eq (a, b, c, d, e)

  instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) ⇒ Eq (a, b, c, d, e, f)

  instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) ⇒ Eq (a, b, c, d, e, f, g)

  instance Functor (a, b, c)

  instance Functor (a, b, c, d)

  instance Functor (a, b, c, d, e)

  instance Functor (a, b, c, d, e, f)

  instance Monoid a ⇒ Monad (a)

  instance (Monoid a, Monoid b) ⇒ Monad (a, b)

  instance (Monoid a, Monoid b, Monoid c) ⇒ Monad (a, b, c)

  instance (Monoid a, Monoid b, Monoid c, Monoid d) ⇒ Monad (a, b, c, d)

  instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e) ⇒ Monad (a, b, c, d, e)

  instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f) ⇒ Monad (a, b, c, d, e, f)

  instance (Monoid a, Monoid b) ⇒ Monoid (a, b)

  instance (Monoid a, Monoid b, Monoid c) ⇒ Monoid (a, b, c)

  instance (Monoid a, Monoid b, Monoid c, Monoid d) ⇒ Monoid (a, b, c, d)

  instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e) ⇒ Monoid (a, b, c, d, e)

  instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f) ⇒ Monoid (a, b, c, d, e, f)

  instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g) ⇒ Monoid (a, b, c, d, e, f, g)

  instance (Ord a, Ord b, Ord c, Ord d) ⇒ Ord (a, b, c, d)

  instance (Ord a, Ord b, Ord c, Ord d, Ord e) ⇒ Ord (a, b, c, d, e)

  instance (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f) ⇒ Ord (a, b, c, d, e, f)

  instance (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g) ⇒ Ord (a, b, c, d, e, f, g)

  instance (Semigroup a, Semigroup b) ⇒ Semigroup (a, b)

  instance (Semigroup a, Semigroup b, Semigroup c) ⇒ Semigroup (a, b, c)

  instance (Semigroup a, Semigroup b, Semigroup c, Semigroup d) ⇒ Semigroup (a, b, c, d)

  instance (Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e) ⇒ Semigroup (a, b, c, d, e)

  instance (Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f) ⇒ Semigroup (a, b, c, d, e, f)

  instance (Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f, Semigroup g) ⇒ Semigroup (a, b, c, d, e, f, g)

  instance (Show a, Show b, Show c, Show d) ⇒ Show (a, b, c, d)

  instance (Show a, Show b, Show c, Show d, Show e) ⇒ Show (a, b, c, d, e)

  instance (Show a, Show b, Show c, Show d, Show e, Show f) ⇒ Show (a, b, c, d, e, f)

  instance (Show a, Show b, Show c, Show d, Show e, Show f, Show g) ⇒ Show (a, b, c, d, e, f, g)

• Functions and Values by Type

Definitions

Instances

instance (Eq a, Eq b, Eq c, Eq d) ⇒ Eq (a, b, c, d)

Member Functions

!= ∷ (Eq 𝖈, Eq 𝖉, Eq 𝖇, Eq 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆) → Bool
infix  7

inherited from Eq.!=

== ∷ (Eq 𝖈, Eq 𝖉, Eq 𝖇, Eq 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆) → Bool
infix  7

Function generated for derived instance.

hashCode ∷ (Eq 𝖈, Eq 𝖉, Eq 𝖇, Eq 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → Int

Function generated for derived instance.

instance (Eq a, Eq b, Eq c, Eq d, Eq e) ⇒ Eq (a, b, c, d, e)

Member Functions

!= ∷ (Eq 𝖉, Eq 𝖊, Eq 𝖇, Eq 𝖈, Eq 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → Bool
infix  7

inherited from Eq.!=

== ∷ (Eq 𝖉, Eq 𝖊, Eq 𝖇, Eq 𝖈, Eq 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → Bool
infix  7

Function generated for derived instance.

hashCode ∷ (Eq 𝖉, Eq 𝖊, Eq 𝖇, Eq 𝖈, Eq 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → Int

Function generated for derived instance.

instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) ⇒ Eq (a, b, c, d, e, f)

Member Functions

!= ∷ (Eq 𝖉, Eq 𝖊, Eq 𝖈, Eq 𝖋, Eq 𝖇, Eq 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → Bool
infix  7

inherited from Eq.!=

== ∷ (Eq 𝖉, Eq 𝖊, Eq 𝖈, Eq 𝖋, Eq 𝖇, Eq 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → Bool
infix  7

Function generated for derived instance.

hashCode ∷ (Eq 𝖉, Eq 𝖊, Eq 𝖈, Eq 𝖋, Eq 𝖇, Eq 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → Int

Function generated for derived instance.

instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) ⇒ Eq (a, b, c, d, e, f, g)

Member Functions

!= ∷ (Eq 𝖊, Eq 𝖋, Eq 𝖉, Eq 𝖌, Eq 𝖇, Eq 𝖈, Eq 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → Bool
infix  7

inherited from Eq.!=

== ∷ (Eq 𝖊, Eq 𝖋, Eq 𝖉, Eq 𝖌, Eq 𝖇, Eq 𝖈, Eq 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → Bool
infix  7

Function generated for derived instance.

hashCode ∷ (Eq 𝖊, Eq 𝖋, Eq 𝖉, Eq 𝖌, Eq 𝖇, Eq 𝖈, Eq 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → Int

Function generated for derived instance.

instance Functor (a, b, c)

Member Functions

fmap ∷ (𝖉 → 𝖊) → (𝖇, 𝖈, 𝖆, 𝖉) → (𝖇, 𝖈, 𝖆, 𝖊)
infixl  4

instance Functor (a, b, c, d)

Member Functions

fmap ∷ (𝖊 → 𝖋) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖊) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖋)
infixl  4

instance Functor (a, b, c, d, e)

Member Functions

fmap ∷ (𝖋 → 𝖌) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖌)
infixl  4

instance Functor (a, b, c, d, e, f)

Member Functions

fmap ∷ (𝖌 → 𝖍) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖍)
infixl  4

instance Monoid a ⇒ Monad (a)

Member Functions

*> ∷ Monoid 𝖆 ⇒ (𝖆, 𝖇) → (𝖆, 𝖈) → (𝖆, 𝖈)
infixl  4

inherited from Applicative.*>

<* ∷ Monoid 𝖆 ⇒ (𝖆, 𝖇) → (𝖆, 𝖈) → (𝖆, 𝖇)
infixl  4

inherited from Applicative.<*

<*> ∷ Monoid 𝖆 ⇒ (𝖆, 𝖇→𝖈) → (𝖆, 𝖇) → (𝖆, 𝖈)
infixl  4

>> ∷ Monoid 𝖆 ⇒ (𝖆, 𝖇) → (𝖆, 𝖈) → (𝖆, 𝖈)
infixl  3

inherited from Monad.>>

>>= ∷ Monoid 𝖆 ⇒ (𝖆, 𝖇) → (𝖇 → (𝖆, 𝖈)) → (𝖆, 𝖈)
infixl  3

join ∷ Monoid 𝖆 ⇒ (𝖆, (𝖆, 𝖇)) → (𝖆, 𝖇)

inherited from Monad.join

pure ∷ Monoid 𝖆 ⇒ 𝖇 → (𝖆, 𝖇)

instance (Monoid a, Monoid b) ⇒ Monad (a, b)

Member Functions

*> ∷ (Monoid 𝖇, Monoid 𝖆) ⇒ (𝖇, 𝖆, 𝖈) → (𝖇, 𝖆, 𝖉) → (𝖇, 𝖆, 𝖉)
infixl  4

inherited from Applicative.*>

<* ∷ (Monoid 𝖇, Monoid 𝖆) ⇒ (𝖇, 𝖆, 𝖈) → (𝖇, 𝖆, 𝖉) → (𝖇, 𝖆, 𝖈)
infixl  4

inherited from Applicative.<*

<*> ∷ (Monoid 𝖇, Monoid 𝖆) ⇒ (𝖇, 𝖆, 𝖈→𝖉) → (𝖇, 𝖆, 𝖈) → (𝖇, 𝖆, 𝖉)
infixl  4

>> ∷ (Monoid 𝖇, Monoid 𝖆) ⇒ (𝖇, 𝖆, 𝖈) → (𝖇, 𝖆, 𝖉) → (𝖇, 𝖆, 𝖉)
infixl  3

inherited from Monad.>>

>>= ∷ (Monoid 𝖇, Monoid 𝖆) ⇒ (𝖇, 𝖆, 𝖈) → (𝖈 → (𝖇, 𝖆, 𝖉)) → (𝖇, 𝖆, 𝖉)
infixl  3

join ∷ (Monoid 𝖇, Monoid 𝖆) ⇒ (𝖇, 𝖆, (𝖇, 𝖆, 𝖈)) → (𝖇, 𝖆, 𝖈)

inherited from Monad.join

pure ∷ (Monoid 𝖇, Monoid 𝖆) ⇒ 𝖈 → (𝖇, 𝖆, 𝖈)

instance (Monoid a, Monoid b, Monoid c) ⇒ Monad (a, b, c)

Member Functions

*> ∷ (Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖇, 𝖈, 𝖆, 𝖉) → (𝖇, 𝖈, 𝖆, 𝖊) → (𝖇, 𝖈, 𝖆, 𝖊)
infixl  4

inherited from Applicative.*>

<* ∷ (Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖇, 𝖈, 𝖆, 𝖉) → (𝖇, 𝖈, 𝖆, 𝖊) → (𝖇, 𝖈, 𝖆, 𝖉)
infixl  4

inherited from Applicative.<*

<*> ∷ (Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖇, 𝖈, 𝖆, 𝖉→𝖊) → (𝖇, 𝖈, 𝖆, 𝖉) → (𝖇, 𝖈, 𝖆, 𝖊)
infixl  4

>> ∷ (Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖇, 𝖈, 𝖆, 𝖉) → (𝖇, 𝖈, 𝖆, 𝖊) → (𝖇, 𝖈, 𝖆, 𝖊)
infixl  3

inherited from Monad.>>

>>= ∷ (Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖇, 𝖈, 𝖆, 𝖉) → (𝖉 → (𝖇, 𝖈, 𝖆, 𝖊)) → (𝖇, 𝖈, 𝖆, 𝖊)
infixl  3

join ∷ (Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖇, 𝖈, 𝖆, (𝖇, 𝖈, 𝖆, 𝖉)) → (𝖇, 𝖈, 𝖆, 𝖉)

inherited from Monad.join

pure ∷ (Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ 𝖉 → (𝖇, 𝖈, 𝖆, 𝖉)

instance (Monoid a, Monoid b, Monoid c, Monoid d) ⇒ Monad (a, b, c, d)

Member Functions

*> ∷ (Monoid 𝖈, Monoid 𝖉, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆, 𝖊) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖋) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖋)
infixl  4

inherited from Applicative.*>

<* ∷ (Monoid 𝖈, Monoid 𝖉, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆, 𝖊) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖋) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖊)
infixl  4

inherited from Applicative.<*

<*> ∷ (Monoid 𝖈, Monoid 𝖉, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆, 𝖊→𝖋) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖊) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖋)
infixl  4

>> ∷ (Monoid 𝖈, Monoid 𝖉, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆, 𝖊) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖋) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖋)
infixl  3

inherited from Monad.>>

>>= ∷ (Monoid 𝖈, Monoid 𝖉, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆, 𝖊) → (𝖊 → (𝖈, 𝖉, 𝖇, 𝖆, 𝖋)) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖋)
infixl  3

join ∷ (Monoid 𝖈, Monoid 𝖉, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆, (𝖈, 𝖉, 𝖇, 𝖆, 𝖊)) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖊)

inherited from Monad.join

pure ∷ (Monoid 𝖈, Monoid 𝖉, Monoid 𝖇, Monoid 𝖆) ⇒ 𝖊 → (𝖈, 𝖉, 𝖇, 𝖆, 𝖊)

instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e) ⇒ Monad (a, b, c, d, e)

Member Functions

*> ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖌) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖌)
infixl  4

inherited from Applicative.*>

<* ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖌) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋)
infixl  4

inherited from Applicative.<*

<*> ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋→𝖌) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖌)
infixl  4

>> ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖌) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖌)
infixl  3

inherited from Monad.>>

>>= ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋) → (𝖋 → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖌)) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖌)
infixl  3

join ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋)) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋)

inherited from Monad.join

pure ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ 𝖋 → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋)

instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f) ⇒ Monad (a, b, c, d, e, f)

Member Functions

*> ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖈, Monoid 𝖋, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖍) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖍)
infixl  4

inherited from Applicative.*>

<* ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖈, Monoid 𝖋, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖍) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌)
infixl  4

inherited from Applicative.<*

<*> ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖈, Monoid 𝖋, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌→𝖍) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖍)
infixl  4

>> ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖈, Monoid 𝖋, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖍) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖍)
infixl  3

inherited from Monad.>>

>>= ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖈, Monoid 𝖋, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌) → (𝖌 → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖍)) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖍)
infixl  3

join ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖈, Monoid 𝖋, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌)) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌)

inherited from Monad.join

pure ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖈, Monoid 𝖋, Monoid 𝖇, Monoid 𝖆) ⇒ 𝖌 → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌)

instance (Monoid a, Monoid b) ⇒ Monoid (a, b)

Member Functions

mconcat ∷ (Monoid 𝖇, Monoid 𝖆) ⇒ [(𝖇, 𝖆)] → (𝖇, 𝖆)

inherited from Monoid.mconcat

mempty ∷ (Monoid 𝖇, Monoid 𝖆) ⇒ (𝖇, 𝖆)

mtimes ∷ (Monoid 𝖇, Monoid 𝖆) ⇒ Int → (𝖇, 𝖆) → (𝖇, 𝖆)

inherited from Monoid.mtimes

instance (Monoid a, Monoid b, Monoid c) ⇒ Monoid (a, b, c)

Member Functions

mconcat ∷ (Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ [(𝖇, 𝖈, 𝖆)] → (𝖇, 𝖈, 𝖆)

inherited from Monoid.mconcat

mempty ∷ (Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖇, 𝖈, 𝖆)

mtimes ∷ (Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ Int → (𝖇, 𝖈, 𝖆) → (𝖇, 𝖈, 𝖆)

inherited from Monoid.mtimes

instance (Monoid a, Monoid b, Monoid c, Monoid d) ⇒ Monoid (a, b, c, d)

Member Functions

mconcat ∷ (Monoid 𝖈, Monoid 𝖉, Monoid 𝖇, Monoid 𝖆) ⇒ [(𝖈, 𝖉, 𝖇, 𝖆)] → (𝖈, 𝖉, 𝖇, 𝖆)

inherited from Monoid.mconcat

mempty ∷ (Monoid 𝖈, Monoid 𝖉, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆)

mtimes ∷ (Monoid 𝖈, Monoid 𝖉, Monoid 𝖇, Monoid 𝖆) ⇒ Int → (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆)

inherited from Monoid.mtimes

instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e) ⇒ Monoid (a, b, c, d, e)

Member Functions

mconcat ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ [(𝖉, 𝖊, 𝖇, 𝖈, 𝖆)] → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆)

inherited from Monoid.mconcat

mempty ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆)

mtimes ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ Int → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆)

inherited from Monoid.mtimes

instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f) ⇒ Monoid (a, b, c, d, e, f)

Member Functions

mconcat ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖈, Monoid 𝖋, Monoid 𝖇, Monoid 𝖆) ⇒ [(𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)] → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)

inherited from Monoid.mconcat

mempty ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖈, Monoid 𝖋, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)

mtimes ∷ (Monoid 𝖉, Monoid 𝖊, Monoid 𝖈, Monoid 𝖋, Monoid 𝖇, Monoid 𝖆) ⇒ Int → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)

inherited from Monoid.mtimes

instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g) ⇒ Monoid (a, b, c, d, e, f, g)

Member Functions

mconcat ∷ (Monoid 𝖊, Monoid 𝖋, Monoid 𝖉, Monoid 𝖌, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ [(𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)] → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)

inherited from Monoid.mconcat

mempty ∷ (Monoid 𝖊, Monoid 𝖋, Monoid 𝖉, Monoid 𝖌, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)

mtimes ∷ (Monoid 𝖊, Monoid 𝖋, Monoid 𝖉, Monoid 𝖌, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ Int → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)

inherited from Monoid.mtimes

instance (Ord a, Ord b, Ord c, Ord d) ⇒ Ord (a, b, c, d)

Member Functions

< ∷ (Ord 𝖈, Ord 𝖉, Ord 𝖇, Ord 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆) → Bool
infix  9

inherited from Ord.<

<= ∷ (Ord 𝖈, Ord 𝖉, Ord 𝖇, Ord 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆) → Bool
infix  9

inherited from Ord.<=

<=> ∷ (Ord 𝖈, Ord 𝖉, Ord 𝖇, Ord 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆) → Ordering
infix  8

Function generated for derived instance.

> ∷ (Ord 𝖈, Ord 𝖉, Ord 𝖇, Ord 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆) → Bool
infix  9

inherited from Ord.>

>= ∷ (Ord 𝖈, Ord 𝖉, Ord 𝖇, Ord 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆) → Bool
infix  9

inherited from Ord.>=

compare ∷ (Ord 𝖈, Ord 𝖉, Ord 𝖇, Ord 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆) → Ordering
infix  8

inherited from Ord.compare

max ∷ (Ord 𝖈, Ord 𝖉, Ord 𝖇, Ord 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆)

inherited from Ord.max

min ∷ (Ord 𝖈, Ord 𝖉, Ord 𝖇, Ord 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆)

inherited from Ord.min

instance (Ord a, Ord b, Ord c, Ord d, Ord e) ⇒ Ord (a, b, c, d, e)

Member Functions

< ∷ (Ord 𝖉, Ord 𝖊, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → Bool
infix  9

inherited from Ord.<

<= ∷ (Ord 𝖉, Ord 𝖊, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → Bool
infix  9

inherited from Ord.<=

<=> ∷ (Ord 𝖉, Ord 𝖊, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → Ordering
infix  8

Function generated for derived instance.

> ∷ (Ord 𝖉, Ord 𝖊, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → Bool
infix  9

inherited from Ord.>

>= ∷ (Ord 𝖉, Ord 𝖊, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → Bool
infix  9

inherited from Ord.>=

compare ∷ (Ord 𝖉, Ord 𝖊, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → Ordering
infix  8

inherited from Ord.compare

max ∷ (Ord 𝖉, Ord 𝖊, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆)

inherited from Ord.max

min ∷ (Ord 𝖉, Ord 𝖊, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆)

inherited from Ord.min

instance (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f) ⇒ Ord (a, b, c, d, e, f)

Member Functions

< ∷ (Ord 𝖉, Ord 𝖊, Ord 𝖈, Ord 𝖋, Ord 𝖇, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → Bool
infix  9

inherited from Ord.<

<= ∷ (Ord 𝖉, Ord 𝖊, Ord 𝖈, Ord 𝖋, Ord 𝖇, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → Bool
infix  9

inherited from Ord.<=

<=> ∷ (Ord 𝖉, Ord 𝖊, Ord 𝖈, Ord 𝖋, Ord 𝖇, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → Ordering
infix  8

Function generated for derived instance.

> ∷ (Ord 𝖉, Ord 𝖊, Ord 𝖈, Ord 𝖋, Ord 𝖇, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → Bool
infix  9

inherited from Ord.>

>= ∷ (Ord 𝖉, Ord 𝖊, Ord 𝖈, Ord 𝖋, Ord 𝖇, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → Bool
infix  9

inherited from Ord.>=

compare ∷ (Ord 𝖉, Ord 𝖊, Ord 𝖈, Ord 𝖋, Ord 𝖇, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → Ordering
infix  8

inherited from Ord.compare

max ∷ (Ord 𝖉, Ord 𝖊, Ord 𝖈, Ord 𝖋, Ord 𝖇, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)

inherited from Ord.max

min ∷ (Ord 𝖉, Ord 𝖊, Ord 𝖈, Ord 𝖋, Ord 𝖇, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)

inherited from Ord.min

instance (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g) ⇒ Ord (a, b, c, d, e, f, g)

Member Functions

< ∷ (Ord 𝖊, Ord 𝖋, Ord 𝖉, Ord 𝖌, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → Bool
infix  9

inherited from Ord.<

<= ∷ (Ord 𝖊, Ord 𝖋, Ord 𝖉, Ord 𝖌, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → Bool
infix  9

inherited from Ord.<=

<=> ∷ (Ord 𝖊, Ord 𝖋, Ord 𝖉, Ord 𝖌, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → Ordering
infix  8

Function generated for derived instance.

> ∷ (Ord 𝖊, Ord 𝖋, Ord 𝖉, Ord 𝖌, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → Bool
infix  9

inherited from Ord.>

>= ∷ (Ord 𝖊, Ord 𝖋, Ord 𝖉, Ord 𝖌, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → Bool
infix  9

inherited from Ord.>=

compare ∷ (Ord 𝖊, Ord 𝖋, Ord 𝖉, Ord 𝖌, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → Ordering
infix  8

inherited from Ord.compare

max ∷ (Ord 𝖊, Ord 𝖋, Ord 𝖉, Ord 𝖌, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)

inherited from Ord.max

min ∷ (Ord 𝖊, Ord 𝖋, Ord 𝖉, Ord 𝖌, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)

inherited from Ord.min

instance (Semigroup a, Semigroup b) ⇒ Semigroup (a, b)

Member Functions

mappend ∷ (Semigroup 𝖇, Semigroup 𝖆) ⇒ (𝖇, 𝖆) → (𝖇, 𝖆) → (𝖇, 𝖆)
infixr  13

sconcat ∷ (Semigroup 𝖇, Semigroup 𝖆) ⇒ [(𝖇, 𝖆)] → (𝖇, 𝖆)

inherited from Semigroup.sconcat

stimes ∷ (Semigroup 𝖇, Semigroup 𝖆) ⇒ Int → (𝖇, 𝖆) → (𝖇, 𝖆)

inherited from Semigroup.stimes

instance (Semigroup a, Semigroup b, Semigroup c) ⇒ Semigroup (a, b, c)

Member Functions

mappend ∷ (Semigroup 𝖇, Semigroup 𝖈, Semigroup 𝖆) ⇒ (𝖇, 𝖈, 𝖆) → (𝖇, 𝖈, 𝖆) → (𝖇, 𝖈, 𝖆)
infixr  13

sconcat ∷ (Semigroup 𝖇, Semigroup 𝖈, Semigroup 𝖆) ⇒ [(𝖇, 𝖈, 𝖆)] → (𝖇, 𝖈, 𝖆)

inherited from Semigroup.sconcat

stimes ∷ (Semigroup 𝖇, Semigroup 𝖈, Semigroup 𝖆) ⇒ Int → (𝖇, 𝖈, 𝖆) → (𝖇, 𝖈, 𝖆)

inherited from Semigroup.stimes

instance (Semigroup a, Semigroup b, Semigroup c, Semigroup d) ⇒ Semigroup (a, b, c, d)

Member Functions

mappend ∷ (Semigroup 𝖈, Semigroup 𝖉, Semigroup 𝖇, Semigroup 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆)
infixr  13

sconcat ∷ (Semigroup 𝖈, Semigroup 𝖉, Semigroup 𝖇, Semigroup 𝖆) ⇒ [(𝖈, 𝖉, 𝖇, 𝖆)] → (𝖈, 𝖉, 𝖇, 𝖆)

inherited from Semigroup.sconcat

stimes ∷ (Semigroup 𝖈, Semigroup 𝖉, Semigroup 𝖇, Semigroup 𝖆) ⇒ Int → (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆)

inherited from Semigroup.stimes

instance (Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e) ⇒ Semigroup (a, b, c, d, e)

Member Functions

mappend ∷ (Semigroup 𝖉, Semigroup 𝖊, Semigroup 𝖇, Semigroup 𝖈, Semigroup 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆)
infixr  13

sconcat ∷ (Semigroup 𝖉, Semigroup 𝖊, Semigroup 𝖇, Semigroup 𝖈, Semigroup 𝖆) ⇒ [(𝖉, 𝖊, 𝖇, 𝖈, 𝖆)] → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆)

inherited from Semigroup.sconcat

stimes ∷ (Semigroup 𝖉, Semigroup 𝖊, Semigroup 𝖇, Semigroup 𝖈, Semigroup 𝖆) ⇒ Int → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆)

inherited from Semigroup.stimes

instance (Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f) ⇒ Semigroup (a, b, c, d, e, f)

Member Functions

mappend ∷ (Semigroup 𝖉, Semigroup 𝖊, Semigroup 𝖈, Semigroup 𝖋, Semigroup 𝖇, Semigroup 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)
infixr  13

sconcat ∷ (Semigroup 𝖉, Semigroup 𝖊, Semigroup 𝖈, Semigroup 𝖋, Semigroup 𝖇, Semigroup 𝖆) ⇒ [(𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)] → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)

inherited from Semigroup.sconcat

stimes ∷ (Semigroup 𝖉, Semigroup 𝖊, Semigroup 𝖈, Semigroup 𝖋, Semigroup 𝖇, Semigroup 𝖆) ⇒ Int → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)

inherited from Semigroup.stimes

instance (Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f, Semigroup g) ⇒ Semigroup (a, b, c, d, e, f, g)

Member Functions

mappend ∷ (Semigroup 𝖊, Semigroup 𝖋, Semigroup 𝖉, Semigroup 𝖌, Semigroup 𝖇, Semigroup 𝖈, Semigroup 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)
infixr  13

sconcat ∷ (Semigroup 𝖊, Semigroup 𝖋, Semigroup 𝖉, Semigroup 𝖌, Semigroup 𝖇, Semigroup 𝖈, Semigroup 𝖆) ⇒ [(𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)] → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)

inherited from Semigroup.sconcat

stimes ∷ (Semigroup 𝖊, Semigroup 𝖋, Semigroup 𝖉, Semigroup 𝖌, Semigroup 𝖇, Semigroup 𝖈, Semigroup 𝖆) ⇒ Int → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)

inherited from Semigroup.stimes

instance (Show a, Show b, Show c, Show d) ⇒ Show (a, b, c, d)

Member Functions

display ∷ (Show 𝖈, Show 𝖉, Show 𝖇, Show 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → String

inherited from Show.display

show ∷ (Show 𝖈, Show 𝖉, Show 𝖇, Show 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → String

Function generated for derived instance.

showChars ∷ (Show 𝖈, Show 𝖉, Show 𝖇, Show 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → [Char]

inherited from Show.showChars

showList ∷ (Show 𝖈, Show 𝖉, Show 𝖇, Show 𝖆) ⇒ [(𝖈, 𝖉, 𝖇, 𝖆)] → String → String

inherited from Show.showList

showsPrec ∷ (Show 𝖈, Show 𝖉, Show 𝖇, Show 𝖆) ⇒ Int → (𝖈, 𝖉, 𝖇, 𝖆) → String → String

inherited from Show.showsPrec

showsub ∷ (Show 𝖈, Show 𝖉, Show 𝖇, Show 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → String

inherited from Show.showsub

instance (Show a, Show b, Show c, Show d, Show e) ⇒ Show (a, b, c, d, e)

Member Functions

display ∷ (Show 𝖉, Show 𝖊, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → String

inherited from Show.display

show ∷ (Show 𝖉, Show 𝖊, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → String

Function generated for derived instance.

showChars ∷ (Show 𝖉, Show 𝖊, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → [Char]

inherited from Show.showChars

showList ∷ (Show 𝖉, Show 𝖊, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ [(𝖉, 𝖊, 𝖇, 𝖈, 𝖆)] → String → String

inherited from Show.showList

showsPrec ∷ (Show 𝖉, Show 𝖊, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ Int → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → String → String

inherited from Show.showsPrec

showsub ∷ (Show 𝖉, Show 𝖊, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → String

inherited from Show.showsub

instance (Show a, Show b, Show c, Show d, Show e, Show f) ⇒ Show (a, b, c, d, e, f)

Member Functions

display ∷ (Show 𝖉, Show 𝖊, Show 𝖈, Show 𝖋, Show 𝖇, Show 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → String

inherited from Show.display

show ∷ (Show 𝖉, Show 𝖊, Show 𝖈, Show 𝖋, Show 𝖇, Show 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → String

Function generated for derived instance.

showChars ∷ (Show 𝖉, Show 𝖊, Show 𝖈, Show 𝖋, Show 𝖇, Show 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → [Char]

inherited from Show.showChars

showList ∷ (Show 𝖉, Show 𝖊, Show 𝖈, Show 𝖋, Show 𝖇, Show 𝖆) ⇒ [(𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)] → String → String

inherited from Show.showList

showsPrec ∷ (Show 𝖉, Show 𝖊, Show 𝖈, Show 𝖋, Show 𝖇, Show 𝖆) ⇒ Int → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → String → String

inherited from Show.showsPrec

showsub ∷ (Show 𝖉, Show 𝖊, Show 𝖈, Show 𝖋, Show 𝖇, Show 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → String

inherited from Show.showsub

instance (Show a, Show b, Show c, Show d, Show e, Show f, Show g) ⇒ Show (a, b, c, d, e, f, g)

Member Functions

display ∷ (Show 𝖊, Show 𝖋, Show 𝖉, Show 𝖌, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → String

inherited from Show.display

show ∷ (Show 𝖊, Show 𝖋, Show 𝖉, Show 𝖌, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → String

Function generated for derived instance.

showChars ∷ (Show 𝖊, Show 𝖋, Show 𝖉, Show 𝖌, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → [Char]

inherited from Show.showChars

showList ∷ (Show 𝖊, Show 𝖋, Show 𝖉, Show 𝖌, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ [(𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)] → String → String

inherited from Show.showList

showsPrec ∷ (Show 𝖊, Show 𝖋, Show 𝖉, Show 𝖌, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ Int → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → String → String

inherited from Show.showsPrec

showsub ∷ (Show 𝖊, Show 𝖋, Show 𝖉, Show 𝖌, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → String

inherited from Show.showsub

Functions and Values by Type

Monoid 𝖆 ⇒ (𝖆, (𝖆, 𝖇)) → (𝖆, 𝖇)

Monad_(,).join

Monoid 𝖆 ⇒ 𝖇 → (𝖆, 𝖇)

Monad_(,).pure

(Monoid 𝖇, Monoid 𝖆) ⇒ [(𝖇, 𝖆)] → (𝖇, 𝖆)

Monoid_(,).mconcat

(Monoid 𝖇, Monoid 𝖆) ⇒ Int → (𝖇, 𝖆) → (𝖇, 𝖆)

Monoid_(,).mtimes

(Semigroup 𝖇, Semigroup 𝖆) ⇒ (𝖇, 𝖆) → (𝖇, 𝖆) → (𝖇, 𝖆)

Semigroup_(,).mappend

(Semigroup 𝖇, Semigroup 𝖆) ⇒ [(𝖇, 𝖆)] → (𝖇, 𝖆)

Semigroup_(,).sconcat

(Semigroup 𝖇, Semigroup 𝖆) ⇒ Int → (𝖇, 𝖆) → (𝖇, 𝖆)

Semigroup_(,).stimes

(Monoid 𝖇, Monoid 𝖆) ⇒ (𝖇, 𝖆)

Monoid_(,).mempty

Monoid 𝖆 ⇒ (𝖆, 𝖇→𝖈) → (𝖆, 𝖇) → (𝖆, 𝖈)

Monad_(,).<*>

Monoid 𝖆 ⇒ (𝖆, 𝖇) → (𝖇 → (𝖆, 𝖈)) → (𝖆, 𝖈)

Monad_(,).>>=

Monoid 𝖆 ⇒ (𝖆, 𝖇) → (𝖆, 𝖈) → (𝖆, 𝖇)

Monad_(,).<*

Monoid 𝖆 ⇒ (𝖆, 𝖇) → (𝖆, 𝖈) → (𝖆, 𝖈)

Monad_(,).*>, Monad_(,).>>

(Monoid 𝖇, Monoid 𝖆) ⇒ (𝖇, 𝖆, (𝖇, 𝖆, 𝖈)) → (𝖇, 𝖆, 𝖈)

Monad_(,,).join

(Monoid 𝖇, Monoid 𝖆) ⇒ 𝖈 → (𝖇, 𝖆, 𝖈)

Monad_(,,).pure

(Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ [(𝖇, 𝖈, 𝖆)] → (𝖇, 𝖈, 𝖆)

Monoid_(,,).mconcat

(Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ Int → (𝖇, 𝖈, 𝖆) → (𝖇, 𝖈, 𝖆)

Monoid_(,,).mtimes

(Semigroup 𝖇, Semigroup 𝖈, Semigroup 𝖆) ⇒ (𝖇, 𝖈, 𝖆) → (𝖇, 𝖈, 𝖆) → (𝖇, 𝖈, 𝖆)

Semigroup_(,,).mappend

(Semigroup 𝖇, Semigroup 𝖈, Semigroup 𝖆) ⇒ [(𝖇, 𝖈, 𝖆)] → (𝖇, 𝖈, 𝖆)

Semigroup_(,,).sconcat

(Semigroup 𝖇, Semigroup 𝖈, Semigroup 𝖆) ⇒ Int → (𝖇, 𝖈, 𝖆) → (𝖇, 𝖈, 𝖆)

Semigroup_(,,).stimes

(Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖇, 𝖈, 𝖆)

Monoid_(,,).mempty

(Monoid 𝖇, Monoid 𝖆) ⇒ (𝖇, 𝖆, 𝖈→𝖉) → (𝖇, 𝖆, 𝖈) → (𝖇, 𝖆, 𝖉)

Monad_(,,).<*>

(Monoid 𝖇, Monoid 𝖆) ⇒ (𝖇, 𝖆, 𝖈) → (𝖈 → (𝖇, 𝖆, 𝖉)) → (𝖇, 𝖆, 𝖉)

Monad_(,,).>>=

(Monoid 𝖇, Monoid 𝖆) ⇒ (𝖇, 𝖆, 𝖈) → (𝖇, 𝖆, 𝖉) → (𝖇, 𝖆, 𝖈)

Monad_(,,).<*

(Monoid 𝖇, Monoid 𝖆) ⇒ (𝖇, 𝖆, 𝖈) → (𝖇, 𝖆, 𝖉) → (𝖇, 𝖆, 𝖉)

Monad_(,,).*>, Monad_(,,).>>

(Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖇, 𝖈, 𝖆, (𝖇, 𝖈, 𝖆, 𝖉)) → (𝖇, 𝖈, 𝖆, 𝖉)

Monad_(,,,).join

(Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ 𝖉 → (𝖇, 𝖈, 𝖆, 𝖉)

Monad_(,,,).pure

(Monoid 𝖈, Monoid 𝖉, Monoid 𝖇, Monoid 𝖆) ⇒ [(𝖈, 𝖉, 𝖇, 𝖆)] → (𝖈, 𝖉, 𝖇, 𝖆)

Monoid_(,,,).mconcat

(Monoid 𝖈, Monoid 𝖉, Monoid 𝖇, Monoid 𝖆) ⇒ Int → (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆)

Monoid_(,,,).mtimes

(Semigroup 𝖈, Semigroup 𝖉, Semigroup 𝖇, Semigroup 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆)

Semigroup_(,,,).mappend

(Semigroup 𝖈, Semigroup 𝖉, Semigroup 𝖇, Semigroup 𝖆) ⇒ [(𝖈, 𝖉, 𝖇, 𝖆)] → (𝖈, 𝖉, 𝖇, 𝖆)

Semigroup_(,,,).sconcat

(Semigroup 𝖈, Semigroup 𝖉, Semigroup 𝖇, Semigroup 𝖆) ⇒ Int → (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆)

Semigroup_(,,,).stimes

(Eq 𝖈, Eq 𝖉, Eq 𝖇, Eq 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆) → Bool

Eq_(,,,).!=, Eq_(,,,).==

(Eq 𝖈, Eq 𝖉, Eq 𝖇, Eq 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → Int

Eq_(,,,).hashCode

(Ord 𝖈, Ord 𝖉, Ord 𝖇, Ord 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆)

Ord_(,,,).min, Ord_(,,,).max

(Ord 𝖈, Ord 𝖉, Ord 𝖇, Ord 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆) → Bool

Ord_(,,,).>=, Ord_(,,,).<, Ord_(,,,).<=, Ord_(,,,).>

(Ord 𝖈, Ord 𝖉, Ord 𝖇, Ord 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → (𝖈, 𝖉, 𝖇, 𝖆) → Ordering

Ord_(,,,).compare, Ord_(,,,).<=>

(Show 𝖈, Show 𝖉, Show 𝖇, Show 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → String

Show_(,,,).showsub, Show_(,,,).display, Show_(,,,).show

(Show 𝖈, Show 𝖉, Show 𝖇, Show 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆) → [Char]

Show_(,,,).showChars

(Show 𝖈, Show 𝖉, Show 𝖇, Show 𝖆) ⇒ [(𝖈, 𝖉, 𝖇, 𝖆)] → String → String

Show_(,,,).showList

(Show 𝖈, Show 𝖉, Show 𝖇, Show 𝖆) ⇒ Int → (𝖈, 𝖉, 𝖇, 𝖆) → String → String

Show_(,,,).showsPrec

(Monoid 𝖈, Monoid 𝖉, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆)

Monoid_(,,,).mempty

(𝖉 → 𝖊) → (𝖇, 𝖈, 𝖆, 𝖉) → (𝖇, 𝖈, 𝖆, 𝖊)

Functor_(,,,).fmap

(Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖇, 𝖈, 𝖆, 𝖉→𝖊) → (𝖇, 𝖈, 𝖆, 𝖉) → (𝖇, 𝖈, 𝖆, 𝖊)

Monad_(,,,).<*>

(Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖇, 𝖈, 𝖆, 𝖉) → (𝖉 → (𝖇, 𝖈, 𝖆, 𝖊)) → (𝖇, 𝖈, 𝖆, 𝖊)

Monad_(,,,).>>=

(Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖇, 𝖈, 𝖆, 𝖉) → (𝖇, 𝖈, 𝖆, 𝖊) → (𝖇, 𝖈, 𝖆, 𝖉)

Monad_(,,,).<*

(Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖇, 𝖈, 𝖆, 𝖉) → (𝖇, 𝖈, 𝖆, 𝖊) → (𝖇, 𝖈, 𝖆, 𝖊)

Monad_(,,,).*>, Monad_(,,,).>>

(Monoid 𝖈, Monoid 𝖉, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆, (𝖈, 𝖉, 𝖇, 𝖆, 𝖊)) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖊)

Monad_(,,,,).join

(Monoid 𝖈, Monoid 𝖉, Monoid 𝖇, Monoid 𝖆) ⇒ 𝖊 → (𝖈, 𝖉, 𝖇, 𝖆, 𝖊)

Monad_(,,,,).pure

(Monoid 𝖉, Monoid 𝖊, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ [(𝖉, 𝖊, 𝖇, 𝖈, 𝖆)] → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆)

Monoid_(,,,,).mconcat

(Monoid 𝖉, Monoid 𝖊, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ Int → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆)

Monoid_(,,,,).mtimes

(Semigroup 𝖉, Semigroup 𝖊, Semigroup 𝖇, Semigroup 𝖈, Semigroup 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆)

Semigroup_(,,,,).mappend

(Semigroup 𝖉, Semigroup 𝖊, Semigroup 𝖇, Semigroup 𝖈, Semigroup 𝖆) ⇒ [(𝖉, 𝖊, 𝖇, 𝖈, 𝖆)] → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆)

Semigroup_(,,,,).sconcat

(Semigroup 𝖉, Semigroup 𝖊, Semigroup 𝖇, Semigroup 𝖈, Semigroup 𝖆) ⇒ Int → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆)

Semigroup_(,,,,).stimes

(Eq 𝖉, Eq 𝖊, Eq 𝖇, Eq 𝖈, Eq 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → Bool

Eq_(,,,,).!=, Eq_(,,,,).==

(Eq 𝖉, Eq 𝖊, Eq 𝖇, Eq 𝖈, Eq 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → Int

Eq_(,,,,).hashCode

(Ord 𝖉, Ord 𝖊, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆)

Ord_(,,,,).min, Ord_(,,,,).max

(Ord 𝖉, Ord 𝖊, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → Bool

Ord_(,,,,).>=, Ord_(,,,,).<, Ord_(,,,,).<=, Ord_(,,,,).>

(Ord 𝖉, Ord 𝖊, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → Ordering

Ord_(,,,,).compare, Ord_(,,,,).<=>

(Show 𝖉, Show 𝖊, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → String

Show_(,,,,).showsub, Show_(,,,,).display, Show_(,,,,).show

(Show 𝖉, Show 𝖊, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → [Char]

Show_(,,,,).showChars

(Show 𝖉, Show 𝖊, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ [(𝖉, 𝖊, 𝖇, 𝖈, 𝖆)] → String → String

Show_(,,,,).showList

(Show 𝖉, Show 𝖊, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ Int → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆) → String → String

Show_(,,,,).showsPrec

(Monoid 𝖉, Monoid 𝖊, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆)

Monoid_(,,,,).mempty

(𝖊 → 𝖋) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖊) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖋)

Functor_(,,,,).fmap

(Monoid 𝖈, Monoid 𝖉, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆, 𝖊→𝖋) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖊) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖋)

Monad_(,,,,).<*>

(Monoid 𝖈, Monoid 𝖉, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆, 𝖊) → (𝖊 → (𝖈, 𝖉, 𝖇, 𝖆, 𝖋)) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖋)

Monad_(,,,,).>>=

(Monoid 𝖈, Monoid 𝖉, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆, 𝖊) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖋) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖊)

Monad_(,,,,).<*

(Monoid 𝖈, Monoid 𝖉, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖈, 𝖉, 𝖇, 𝖆, 𝖊) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖋) → (𝖈, 𝖉, 𝖇, 𝖆, 𝖋)

Monad_(,,,,).*>, Monad_(,,,,).>>

(Monoid 𝖉, Monoid 𝖊, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋)) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋)

Monad_(,,,,,).join

(Monoid 𝖉, Monoid 𝖊, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ 𝖋 → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋)

Monad_(,,,,,).pure

(Monoid 𝖉, Monoid 𝖊, Monoid 𝖈, Monoid 𝖋, Monoid 𝖇, Monoid 𝖆) ⇒ [(𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)] → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)

Monoid_(,,,,,).mconcat

(Monoid 𝖉, Monoid 𝖊, Monoid 𝖈, Monoid 𝖋, Monoid 𝖇, Monoid 𝖆) ⇒ Int → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)

Monoid_(,,,,,).mtimes

(Semigroup 𝖉, Semigroup 𝖊, Semigroup 𝖈, Semigroup 𝖋, Semigroup 𝖇, Semigroup 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)

Semigroup_(,,,,,).mappend

(Semigroup 𝖉, Semigroup 𝖊, Semigroup 𝖈, Semigroup 𝖋, Semigroup 𝖇, Semigroup 𝖆) ⇒ [(𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)] → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)

Semigroup_(,,,,,).sconcat

(Semigroup 𝖉, Semigroup 𝖊, Semigroup 𝖈, Semigroup 𝖋, Semigroup 𝖇, Semigroup 𝖆) ⇒ Int → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)

Semigroup_(,,,,,).stimes

(Eq 𝖉, Eq 𝖊, Eq 𝖈, Eq 𝖋, Eq 𝖇, Eq 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → Bool

Eq_(,,,,,).!=, Eq_(,,,,,).==

(Eq 𝖉, Eq 𝖊, Eq 𝖈, Eq 𝖋, Eq 𝖇, Eq 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → Int

Eq_(,,,,,).hashCode

(Ord 𝖉, Ord 𝖊, Ord 𝖈, Ord 𝖋, Ord 𝖇, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)

Ord_(,,,,,).min, Ord_(,,,,,).max

(Ord 𝖉, Ord 𝖊, Ord 𝖈, Ord 𝖋, Ord 𝖇, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → Bool

Ord_(,,,,,).>=, Ord_(,,,,,).<, Ord_(,,,,,).<=, Ord_(,,,,,).>

(Ord 𝖉, Ord 𝖊, Ord 𝖈, Ord 𝖋, Ord 𝖇, Ord 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → Ordering

Ord_(,,,,,).compare, Ord_(,,,,,).<=>

(Show 𝖉, Show 𝖊, Show 𝖈, Show 𝖋, Show 𝖇, Show 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → String

Show_(,,,,,).showsub, Show_(,,,,,).display, Show_(,,,,,).show

(Show 𝖉, Show 𝖊, Show 𝖈, Show 𝖋, Show 𝖇, Show 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → [Char]

Show_(,,,,,).showChars

(Show 𝖉, Show 𝖊, Show 𝖈, Show 𝖋, Show 𝖇, Show 𝖆) ⇒ [(𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)] → String → String

Show_(,,,,,).showList

(Show 𝖉, Show 𝖊, Show 𝖈, Show 𝖋, Show 𝖇, Show 𝖆) ⇒ Int → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆) → String → String

Show_(,,,,,).showsPrec

(Monoid 𝖉, Monoid 𝖊, Monoid 𝖈, Monoid 𝖋, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆)

Monoid_(,,,,,).mempty

(𝖋 → 𝖌) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖌)

Functor_(,,,,,).fmap

(Monoid 𝖉, Monoid 𝖊, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋→𝖌) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖌)

Monad_(,,,,,).<*>

(Monoid 𝖉, Monoid 𝖊, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋) → (𝖋 → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖌)) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖌)

Monad_(,,,,,).>>=

(Monoid 𝖉, Monoid 𝖊, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖌) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋)

Monad_(,,,,,).<*

(Monoid 𝖉, Monoid 𝖊, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖋) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖌) → (𝖉, 𝖊, 𝖇, 𝖈, 𝖆, 𝖌)

Monad_(,,,,,).*>, Monad_(,,,,,).>>

(Monoid 𝖉, Monoid 𝖊, Monoid 𝖈, Monoid 𝖋, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌)) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌)

Monad_(,,,,,,).join

(Monoid 𝖉, Monoid 𝖊, Monoid 𝖈, Monoid 𝖋, Monoid 𝖇, Monoid 𝖆) ⇒ 𝖌 → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌)

Monad_(,,,,,,).pure

(Monoid 𝖊, Monoid 𝖋, Monoid 𝖉, Monoid 𝖌, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ [(𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)] → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)

Monoid_(,,,,,,).mconcat

(Monoid 𝖊, Monoid 𝖋, Monoid 𝖉, Monoid 𝖌, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ Int → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)

Monoid_(,,,,,,).mtimes

(Semigroup 𝖊, Semigroup 𝖋, Semigroup 𝖉, Semigroup 𝖌, Semigroup 𝖇, Semigroup 𝖈, Semigroup 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)

Semigroup_(,,,,,,).mappend

(Semigroup 𝖊, Semigroup 𝖋, Semigroup 𝖉, Semigroup 𝖌, Semigroup 𝖇, Semigroup 𝖈, Semigroup 𝖆) ⇒ [(𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)] → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)

Semigroup_(,,,,,,).sconcat

(Semigroup 𝖊, Semigroup 𝖋, Semigroup 𝖉, Semigroup 𝖌, Semigroup 𝖇, Semigroup 𝖈, Semigroup 𝖆) ⇒ Int → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)

Semigroup_(,,,,,,).stimes

(Eq 𝖊, Eq 𝖋, Eq 𝖉, Eq 𝖌, Eq 𝖇, Eq 𝖈, Eq 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → Bool

Eq_(,,,,,,).!=, Eq_(,,,,,,).==

(Eq 𝖊, Eq 𝖋, Eq 𝖉, Eq 𝖌, Eq 𝖇, Eq 𝖈, Eq 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → Int

Eq_(,,,,,,).hashCode

(Ord 𝖊, Ord 𝖋, Ord 𝖉, Ord 𝖌, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)

Ord_(,,,,,,).min, Ord_(,,,,,,).max

(Ord 𝖊, Ord 𝖋, Ord 𝖉, Ord 𝖌, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → Bool

Ord_(,,,,,,).>=, Ord_(,,,,,,).<, Ord_(,,,,,,).<=, Ord_(,,,,,,).>

(Ord 𝖊, Ord 𝖋, Ord 𝖉, Ord 𝖌, Ord 𝖇, Ord 𝖈, Ord 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → Ordering

Ord_(,,,,,,).compare, Ord_(,,,,,,).<=>

(Show 𝖊, Show 𝖋, Show 𝖉, Show 𝖌, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → String

Show_(,,,,,,).showsub, Show_(,,,,,,).display, Show_(,,,,,,).show

(Show 𝖊, Show 𝖋, Show 𝖉, Show 𝖌, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → [Char]

Show_(,,,,,,).showChars

(Show 𝖊, Show 𝖋, Show 𝖉, Show 𝖌, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ [(𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)] → String → String

Show_(,,,,,,).showList

(Show 𝖊, Show 𝖋, Show 𝖉, Show 𝖌, Show 𝖇, Show 𝖈, Show 𝖆) ⇒ Int → (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆) → String → String

Show_(,,,,,,).showsPrec

(Monoid 𝖊, Monoid 𝖋, Monoid 𝖉, Monoid 𝖌, Monoid 𝖇, Monoid 𝖈, Monoid 𝖆) ⇒ (𝖊, 𝖋, 𝖉, 𝖌, 𝖇, 𝖈, 𝖆)

Monoid_(,,,,,,).mempty

(𝖌 → 𝖍) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖍)

Functor_(,,,,,,).fmap

(Monoid 𝖉, Monoid 𝖊, Monoid 𝖈, Monoid 𝖋, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌→𝖍) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖍)

Monad_(,,,,,,).<*>

(Monoid 𝖉, Monoid 𝖊, Monoid 𝖈, Monoid 𝖋, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌) → (𝖌 → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖍)) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖍)

Monad_(,,,,,,).>>=

(Monoid 𝖉, Monoid 𝖊, Monoid 𝖈, Monoid 𝖋, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖍) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌)

Monad_(,,,,,,).<*

(Monoid 𝖉, Monoid 𝖊, Monoid 𝖈, Monoid 𝖋, Monoid 𝖇, Monoid 𝖆) ⇒ (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖌) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖍) → (𝖉, 𝖊, 𝖈, 𝖋, 𝖇, 𝖆, 𝖍)

Monad_(,,,,,,).*>, Monad_(,,,,,,).>>