Package frege.data.Tuples

Compiled: Wed Dec 05 00:05:36 PST 2012 from source file: ./frege/data/Tuples.fr

Package Documentation

Table of Content

Imports

Instances

instance Eq (Eq b, Eq a, Eq c, Eq d) => (a, b, c, d)

Member Functions

!= :: (Eq β, Eq α, Eq γ, Eq δ) => (α, β, γ, δ) -> (α, β, γ, δ) -> Bool

inherited from Eq.!=

/= :: (Eq β, Eq α, Eq γ, Eq δ) => (α, β, γ, δ) -> (α, β, γ, δ) -> Bool

inherited from Eq./=

== :: (Eq β, Eq α, Eq γ, Eq δ) => (α, β, γ, δ) -> (α, β, γ, δ) -> Bool

Function generated for derived istance.

hashCode :: (Eq β, Eq α, Eq γ, Eq δ) => (α, β, γ, δ) -> Int

Function generated for derived istance.

instance Eq (Eq b, Eq a, Eq d, Eq c, Eq e) => (a, b, c, d, e)

Member Functions

!= :: (Eq β, Eq α, Eq δ, Eq γ, Eq ε) => (α, β, γ, δ, ε) -> (α, β, γ, δ, ε) -> Bool

inherited from Eq.!=

/= :: (Eq β, Eq α, Eq δ, Eq γ, Eq ε) => (α, β, γ, δ, ε) -> (α, β, γ, δ, ε) -> Bool

inherited from Eq./=

== :: (Eq β, Eq α, Eq δ, Eq γ, Eq ε) => (α, β, γ, δ, ε) -> (α, β, γ, δ, ε) -> Bool

Function generated for derived istance.

hashCode :: (Eq β, Eq α, Eq δ, Eq γ, Eq ε) => (α, β, γ, δ, ε) -> Int

Function generated for derived istance.

instance Eq (Eq d, Eq b, Eq a, Eq c, Eq e, Eq f) => (a, b, c, d, e, f)

Member Functions

!= :: (Eq γ, Eq β, Eq α, Eq ε, Eq δ, Eq ζ) => (α, β, ε, γ, δ, ζ) -> (α, β, ε, γ, δ, ζ) -> Bool

inherited from Eq.!=

/= :: (Eq γ, Eq β, Eq α, Eq ε, Eq δ, Eq ζ) => (α, β, ε, γ, δ, ζ) -> (α, β, ε, γ, δ, ζ) -> Bool

inherited from Eq./=

== :: (Eq γ, Eq β, Eq α, Eq ε, Eq δ, Eq ζ) => (α, β, ε, γ, δ, ζ) -> (α, β, ε, γ, δ, ζ) -> Bool

Function generated for derived istance.

hashCode :: (Eq γ, Eq β, Eq α, Eq ε, Eq δ, Eq ζ) => (α, β, ε, γ, δ, ζ) -> Int

Function generated for derived istance.

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

Member Functions

!= :: (Eq γ, Eq β, Eq α, Eq ε, Eq δ, Eq ζ, Eq η) => (α, β, ε, γ, ζ, δ, η) -> (α, β, ε, γ, ζ, δ, η) -> Bool

inherited from Eq.!=

/= :: (Eq γ, Eq β, Eq α, Eq ε, Eq δ, Eq ζ, Eq η) => (α, β, ε, γ, ζ, δ, η) -> (α, β, ε, γ, ζ, δ, η) -> Bool

inherited from Eq./=

== :: (Eq γ, Eq β, Eq α, Eq ε, Eq δ, Eq ζ, Eq η) => (α, β, ε, γ, ζ, δ, η) -> (α, β, ε, γ, ζ, δ, η) -> Bool

Function generated for derived istance.

hashCode :: (Eq γ, Eq β, Eq α, Eq ε, Eq δ, Eq ζ, Eq η) => (α, β, ε, γ, ζ, δ, η) -> Int

Function generated for derived istance.

instance Functor (a, b, c)

Member Functions

fmap :: (ε->α) -> (β, γ, δ, ε) -> (β, γ, δ, α)
instance Functor (a, b, c, d)

Member Functions

fmap :: (ζ->ε) -> (β, γ, δ, α, ζ) -> (β, γ, δ, α, ε)
instance Functor (a, b, c, d, e)

Member Functions

fmap :: (η->ε) -> (β, γ, α, δ, ζ, η) -> (β, γ, α, δ, ζ, ε)
instance Functor (a, b, c, d, e, f)

Member Functions

fmap :: (θ->δ) -> (α, β, ζ, γ, ε, η, θ) -> (α, β, ζ, γ, ε, η, δ)
instance Monad Monoid a => (a)

Member Functions

*> :: Monoid β => (β, γ) -> (β, α) -> (β, α)

inherited from Applicative.*>

<* :: Monoid β => (β, γ) -> (β, α) -> (β, γ)

inherited from Applicative.<*

<*> :: Monoid β => (β, γ->α) -> (β, γ) -> (β, α)
>> :: Monoid β => (β, γ) -> (β, α) -> (β, α)

inherited from Monad.>>

>>= :: Monoid β => (β, γ) -> (γ->(β, α)) -> (β, α)
join :: Monoid α => (α, (α, β)) -> (α, β)

inherited from Monad.join

return :: Monoid β => α -> (β, α)
instance Monad (Monoid a, Monoid b) => (a, b)

Member Functions

*> :: (Monoid β, Monoid α) => (β, α, γ) -> (β, α, δ) -> (β, α, δ)

inherited from Applicative.*>

<* :: (Monoid β, Monoid α) => (β, α, γ) -> (β, α, δ) -> (β, α, γ)

inherited from Applicative.<*

<*> :: (Monoid β, Monoid α) => (β, α, γ->δ) -> (β, α, γ) -> (β, α, δ)
>> :: (Monoid β, Monoid α) => (β, α, γ) -> (β, α, δ) -> (β, α, δ)

inherited from Monad.>>

>>= :: (Monoid β, Monoid α) => (β, α, γ) -> (γ->(β, α, δ)) -> (β, α, δ)
join :: (Monoid β, Monoid α) => (β, α, (β, α, γ)) -> (β, α, γ)

inherited from Monad.join

return :: (Monoid β, Monoid α) => γ -> (β, α, γ)
instance Monad (Monoid a, Monoid b, Monoid c) => (a, b, c)

Member Functions

*> :: (Monoid α, Monoid β, Monoid δ) => (α, β, δ, ε) -> (α, β, δ, γ) -> (α, β, δ, γ)

inherited from Applicative.*>

<* :: (Monoid α, Monoid β, Monoid δ) => (α, β, δ, ε) -> (α, β, δ, γ) -> (α, β, δ, ε)

inherited from Applicative.<*

<*> :: (Monoid α, Monoid β, Monoid δ) => (α, β, δ, ε->γ) -> (α, β, δ, ε) -> (α, β, δ, γ)
>> :: (Monoid α, Monoid β, Monoid δ) => (α, β, δ, ε) -> (α, β, δ, γ) -> (α, β, δ, γ)

inherited from Monad.>>

>>= :: (Monoid α, Monoid β, Monoid δ) => (α, β, δ, ε) -> (ε->(α, β, δ, γ)) -> (α, β, δ, γ)
join :: (Monoid α, Monoid β, Monoid γ) => (α, β, γ, (α, β, γ, δ)) -> (α, β, γ, δ)

inherited from Monad.join

return :: (Monoid α, Monoid β, Monoid δ) => γ -> (α, β, δ, γ)
instance Monad (Monoid a, Monoid b, Monoid c, Monoid d) => (a, b, c, d)

Member Functions

*> :: (Monoid β, Monoid γ, Monoid δ, Monoid α) => (β, γ, δ, α, ε) -> (β, γ, δ, α, ζ) -> (β, γ, δ, α, ζ)

inherited from Applicative.*>

<* :: (Monoid β, Monoid γ, Monoid δ, Monoid α) => (β, γ, δ, α, ε) -> (β, γ, δ, α, ζ) -> (β, γ, δ, α, ε)

inherited from Applicative.<*

<*> :: (Monoid β, Monoid γ, Monoid δ, Monoid α) => (β, γ, δ, α, ε->ζ) -> (β, γ, δ, α, ε) -> (β, γ, δ, α, ζ)
>> :: (Monoid β, Monoid γ, Monoid δ, Monoid α) => (β, γ, δ, α, ε) -> (β, γ, δ, α, ζ) -> (β, γ, δ, α, ζ)

inherited from Monad.>>

>>= :: (Monoid β, Monoid γ, Monoid δ, Monoid α) => (β, γ, δ, α, ε) -> (ε->(β, γ, δ, α, ζ)) -> (β, γ, δ, α, ζ)
join :: (Monoid α, Monoid β, Monoid δ, Monoid γ) => (α, β, δ, γ, (α, β, δ, γ, ε)) -> (α, β, δ, γ, ε)

inherited from Monad.join

return :: (Monoid α, Monoid β, Monoid δ, Monoid γ) => ε -> (α, β, δ, γ, ε)
instance Monad (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e) => (a, b, c, d, e)

Member Functions

*> :: (Monoid β, Monoid γ, Monoid α, Monoid δ, Monoid ζ) => (β, γ, α, δ, ζ, η) -> (β, γ, α, δ, ζ, ε) -> (β, γ, α, δ, ζ, ε)

inherited from Applicative.*>

<* :: (Monoid β, Monoid γ, Monoid α, Monoid δ, Monoid ζ) => (β, γ, α, δ, ζ, η) -> (β, γ, α, δ, ζ, ε) -> (β, γ, α, δ, ζ, η)

inherited from Applicative.<*

<*> :: (Monoid β, Monoid γ, Monoid α, Monoid δ, Monoid ζ) => (β, γ, α, δ, ζ, η->ε) -> (β, γ, α, δ, ζ, η) -> (β, γ, α, δ, ζ, ε)
>> :: (Monoid β, Monoid γ, Monoid α, Monoid δ, Monoid ζ) => (β, γ, α, δ, ζ, η) -> (β, γ, α, δ, ζ, ε) -> (β, γ, α, δ, ζ, ε)

inherited from Monad.>>

>>= :: (Monoid β, Monoid γ, Monoid α, Monoid δ, Monoid ζ) => (β, γ, α, δ, ζ, η) -> (η->(β, γ, α, δ, ζ, ε)) -> (β, γ, α, δ, ζ, ε)
join :: (Monoid β, Monoid γ, Monoid α, Monoid δ, Monoid ε) => (β, γ, α, δ, ε, (β, γ, α, δ, ε, ζ)) -> (β, γ, α, δ, ε, ζ)

inherited from Monad.join

return :: (Monoid β, Monoid γ, Monoid α, Monoid δ, Monoid ζ) => ε -> (β, γ, α, δ, ζ, ε)
instance Monad (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f) => (a, b, c, d, e, f)

Member Functions

*> :: (Monoid α, Monoid β, Monoid ε, Monoid γ, Monoid δ, Monoid η) => (α, β, ε, γ, δ, η, θ) -> (α, β, ε, γ, δ, η, ζ) -> (α, β, ε, γ, δ, η, ζ)

inherited from Applicative.*>

<* :: (Monoid α, Monoid β, Monoid ε, Monoid γ, Monoid δ, Monoid η) => (α, β, ε, γ, δ, η, θ) -> (α, β, ε, γ, δ, η, ζ) -> (α, β, ε, γ, δ, η, θ)

inherited from Applicative.<*

<*> :: (Monoid α, Monoid β, Monoid ε, Monoid γ, Monoid δ, Monoid η) => (α, β, ε, γ, δ, η, θ->ζ) -> (α, β, ε, γ, δ, η, θ) -> (α, β, ε, γ, δ, η, ζ)
>> :: (Monoid α, Monoid β, Monoid ε, Monoid γ, Monoid δ, Monoid η) => (α, β, ε, γ, δ, η, θ) -> (α, β, ε, γ, δ, η, ζ) -> (α, β, ε, γ, δ, η, ζ)

inherited from Monad.>>

>>= :: (Monoid α, Monoid β, Monoid ε, Monoid γ, Monoid δ, Monoid η) => (α, β, ε, γ, δ, η, θ) -> (θ->(α, β, ε, γ, δ, η, ζ)) -> (α, β, ε, γ, δ, η, ζ)
join :: (Monoid α, Monoid β, Monoid ε, Monoid γ, Monoid δ, Monoid ζ) => (α, β, ε, γ, δ, ζ, (α, β, ε, γ, δ, ζ, η)) -> (α, β, ε, γ, δ, ζ, η)

inherited from Monad.join

return :: (Monoid α, Monoid β, Monoid ε, Monoid γ, Monoid δ, Monoid η) => ζ -> (α, β, ε, γ, δ, η, ζ)
instance Monoid (Monoid a, Monoid b) => (a, b)

Member Functions

mconcat :: (Monoid α, Monoid β) => [(α, β)] -> (α, β)

inherited from Monoid.Monoid.mconcat

mempty :: (Monoid α, Monoid β) => (α, β)
mtimes :: (Monoid α, Monoid β) => Int -> (α, β) -> (α, β)

inherited from Monoid.Monoid.mtimes

instance Monoid (Monoid a, Monoid b, Monoid c) => (a, b, c)

Member Functions

mconcat :: (Monoid α, Monoid β, Monoid γ) => [(α, β, γ)] -> (α, β, γ)

inherited from Monoid.Monoid.mconcat

mempty :: (Monoid α, Monoid β, Monoid γ) => (α, β, γ)
mtimes :: (Monoid α, Monoid β, Monoid γ) => Int -> (α, β, γ) -> (α, β, γ)

inherited from Monoid.Monoid.mtimes

instance Monoid (Monoid a, Monoid b, Monoid c, Monoid d) => (a, b, c, d)

Member Functions

mconcat :: (Monoid α, Monoid β, Monoid γ, Monoid δ) => [(α, β, γ, δ)] -> (α, β, γ, δ)

inherited from Monoid.Monoid.mconcat

mempty :: (Monoid α, Monoid β, Monoid γ, Monoid δ) => (α, β, γ, δ)
mtimes :: (Monoid α, Monoid β, Monoid γ, Monoid δ) => Int -> (α, β, γ, δ) -> (α, β, γ, δ)

inherited from Monoid.Monoid.mtimes

instance Monoid (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e) => (a, b, c, d, e)

Member Functions

mconcat :: (Monoid α, Monoid β, Monoid γ, Monoid δ, Monoid ε) => [(α, β, γ, δ, ε)] -> (α, β, γ, δ, ε)

inherited from Monoid.Monoid.mconcat

mempty :: (Monoid α, Monoid β, Monoid γ, Monoid δ, Monoid ε) => (α, β, γ, δ, ε)
mtimes :: (Monoid α, Monoid β, Monoid γ, Monoid δ, Monoid ε) => Int -> (α, β, γ, δ, ε) -> (α, β, γ, δ, ε)

inherited from Monoid.Monoid.mtimes

instance Monoid (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f) => (a, b, c, d, e, f)

Member Functions

mconcat :: (Monoid α, Monoid β, Monoid ε, Monoid γ, Monoid δ, Monoid ζ) => [(α, β, ε, γ, δ, ζ)] -> (α, β, ε, γ, δ, ζ)

inherited from Monoid.Monoid.mconcat

mempty :: (Monoid α, Monoid β, Monoid ε, Monoid γ, Monoid δ, Monoid ζ) => (α, β, ε, γ, δ, ζ)
mtimes :: (Monoid δ, Monoid β, Monoid α, Monoid γ, Monoid ε, Monoid ζ) => Int -> (δ, β, α, γ, ε, ζ) -> (δ, β, α, γ, ε, ζ)

inherited from Monoid.Monoid.mtimes

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

Member Functions

mconcat :: (Monoid α, Monoid β, Monoid ε, Monoid γ, Monoid ζ, Monoid δ, Monoid η) => [(α, β, ε, γ, ζ, δ, η)] -> (α, β, ε, γ, ζ, δ, η)

inherited from Monoid.Monoid.mconcat

mempty :: (Monoid α, Monoid β, Monoid ε, Monoid γ, Monoid ζ, Monoid δ, Monoid η) => (α, β, ε, γ, ζ, δ, η)
mtimes :: (Monoid δ, Monoid β, Monoid α, Monoid γ, Monoid ε, Monoid ζ, Monoid η) => Int -> (δ, β, α, γ, ε, ζ, η) -> (δ, β, α, γ, ε, ζ, η)

inherited from Monoid.Monoid.mtimes

instance Ord (Ord b, Ord a, Ord c, Ord d) => (a, b, c, d)

Member Functions

< :: (Ord β, Ord α, Ord γ, Ord δ) => (α, β, γ, δ) -> (α, β, γ, δ) -> Bool

inherited from Ord.<

<= :: (Ord β, Ord α, Ord γ, Ord δ) => (α, β, γ, δ) -> (α, β, γ, δ) -> Bool

inherited from Ord.<=

<=> :: (Ord β, Ord α, Ord γ, Ord δ) => (α, β, γ, δ) -> (α, β, γ, δ) -> Ordering

Function generated for derived istance.

> :: (Ord β, Ord α, Ord γ, Ord δ) => (α, β, γ, δ) -> (α, β, γ, δ) -> Bool

inherited from Ord.>

>= :: (Ord β, Ord α, Ord γ, Ord δ) => (α, β, γ, δ) -> (α, β, γ, δ) -> Bool

inherited from Ord.>=

compare :: (Ord β, Ord α, Ord γ, Ord δ) => (α, β, γ, δ) -> (α, β, γ, δ) -> Ordering

inherited from Ord.compare

max :: (Ord β, Ord α, Ord γ, Ord δ) => (α, β, γ, δ) -> (α, β, γ, δ) -> (α, β, γ, δ)

inherited from Ord.max

min :: (Ord β, Ord α, Ord γ, Ord δ) => (α, β, γ, δ) -> (α, β, γ, δ) -> (α, β, γ, δ)

inherited from Ord.min

instance Ord (Ord b, Ord a, Ord d, Ord c, Ord e) => (a, b, c, d, e)

Member Functions

< :: (Ord β, Ord α, Ord δ, Ord γ, Ord ε) => (α, β, γ, δ, ε) -> (α, β, γ, δ, ε) -> Bool

inherited from Ord.<

<= :: (Ord β, Ord α, Ord δ, Ord γ, Ord ε) => (α, β, γ, δ, ε) -> (α, β, γ, δ, ε) -> Bool

inherited from Ord.<=

<=> :: (Ord β, Ord α, Ord δ, Ord γ, Ord ε) => (α, β, γ, δ, ε) -> (α, β, γ, δ, ε) -> Ordering

Function generated for derived istance.

> :: (Ord β, Ord α, Ord δ, Ord γ, Ord ε) => (α, β, γ, δ, ε) -> (α, β, γ, δ, ε) -> Bool

inherited from Ord.>

>= :: (Ord β, Ord α, Ord δ, Ord γ, Ord ε) => (α, β, γ, δ, ε) -> (α, β, γ, δ, ε) -> Bool

inherited from Ord.>=

compare :: (Ord β, Ord α, Ord δ, Ord γ, Ord ε) => (α, β, γ, δ, ε) -> (α, β, γ, δ, ε) -> Ordering

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 (Ord d, Ord b, Ord a, Ord c, Ord e, Ord f) => (a, b, c, d, e, f)

Member Functions

< :: (Ord γ, Ord β, Ord α, Ord ε, Ord δ, Ord ζ) => (α, β, ε, γ, δ, ζ) -> (α, β, ε, γ, δ, ζ) -> Bool

inherited from Ord.<

<= :: (Ord γ, Ord β, Ord α, Ord ε, Ord δ, Ord ζ) => (α, β, ε, γ, δ, ζ) -> (α, β, ε, γ, δ, ζ) -> Bool

inherited from Ord.<=

<=> :: (Ord γ, Ord β, Ord α, Ord ε, Ord δ, Ord ζ) => (α, β, ε, γ, δ, ζ) -> (α, β, ε, γ, δ, ζ) -> Ordering

Function generated for derived istance.

> :: (Ord γ, Ord β, Ord α, Ord ε, Ord δ, Ord ζ) => (α, β, ε, γ, δ, ζ) -> (α, β, ε, γ, δ, ζ) -> Bool

inherited from Ord.>

>= :: (Ord γ, Ord β, Ord α, Ord ε, Ord δ, Ord ζ) => (α, β, ε, γ, δ, ζ) -> (α, β, ε, γ, δ, ζ) -> Bool

inherited from Ord.>=

compare :: (Ord γ, Ord β, Ord α, Ord ε, Ord δ, Ord ζ) => (α, β, ε, γ, δ, ζ) -> (α, β, ε, γ, δ, ζ) -> Ordering

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 (Ord d, Ord b, Ord a, Ord c, Ord f, Ord e, Ord g) => (a, b, c, d, e, f, g)

Member Functions

< :: (Ord γ, Ord β, Ord α, Ord ε, Ord δ, Ord ζ, Ord η) => (α, β, ε, γ, ζ, δ, η) -> (α, β, ε, γ, ζ, δ, η) -> Bool

inherited from Ord.<

<= :: (Ord γ, Ord β, Ord α, Ord ε, Ord δ, Ord ζ, Ord η) => (α, β, ε, γ, ζ, δ, η) -> (α, β, ε, γ, ζ, δ, η) -> Bool

inherited from Ord.<=

<=> :: (Ord γ, Ord β, Ord α, Ord ε, Ord δ, Ord ζ, Ord η) => (α, β, ε, γ, ζ, δ, η) -> (α, β, ε, γ, ζ, δ, η) -> Ordering

Function generated for derived istance.

> :: (Ord γ, Ord β, Ord α, Ord ε, Ord δ, Ord ζ, Ord η) => (α, β, ε, γ, ζ, δ, η) -> (α, β, ε, γ, ζ, δ, η) -> Bool

inherited from Ord.>

>= :: (Ord γ, Ord β, Ord α, Ord ε, Ord δ, Ord ζ, Ord η) => (α, β, ε, γ, ζ, δ, η) -> (α, β, ε, γ, ζ, δ, η) -> Bool

inherited from Ord.>=

compare :: (Ord γ, Ord β, Ord α, Ord ε, Ord δ, Ord ζ, Ord η) => (α, β, ε, γ, ζ, δ, η) -> (α, β, ε, γ, ζ, δ, η) -> Ordering

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 (Semigroup a, Semigroup b) => (a, b)

Member Functions

mappend :: (Semigroup α, Semigroup β) => (α, β) -> (α, β) -> (α, β)
sconcat :: (Semigroup α, Semigroup β) => [(α, β)] -> (α, β)

inherited from Monoid.Semigroup.sconcat

stimes :: (Semigroup α, Semigroup β) => Int -> (α, β) -> (α, β)

inherited from Monoid.Semigroup.stimes

instance Semigroup (Semigroup a, Semigroup b, Semigroup c) => (a, b, c)

Member Functions

mappend :: (Semigroup α, Semigroup β, Semigroup γ) => (α, β, γ) -> (α, β, γ) -> (α, β, γ)
sconcat :: (Semigroup α, Semigroup β, Semigroup γ) => [(α, β, γ)] -> (α, β, γ)

inherited from Monoid.Semigroup.sconcat

stimes :: (Semigroup α, Semigroup β, Semigroup γ) => Int -> (α, β, γ) -> (α, β, γ)

inherited from Monoid.Semigroup.stimes

instance Semigroup (Semigroup a, Semigroup b, Semigroup c, Semigroup d) => (a, b, c, d)

Member Functions

mappend :: (Semigroup α, Semigroup β, Semigroup γ, Semigroup δ) => (α, β, γ, δ) -> (α, β, γ, δ) -> (α, β, γ, δ)
sconcat :: (Semigroup α, Semigroup β, Semigroup γ, Semigroup δ) => [(α, β, γ, δ)] -> (α, β, γ, δ)

inherited from Monoid.Semigroup.sconcat

stimes :: (Semigroup α, Semigroup β, Semigroup γ, Semigroup δ) => Int -> (α, β, γ, δ) -> (α, β, γ, δ)

inherited from Monoid.Semigroup.stimes

instance Semigroup (Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e) => (a, b, c, d, e)

Member Functions

mappend :: (Semigroup α, Semigroup β, Semigroup γ, Semigroup δ, Semigroup ε) => (α, β, γ, δ, ε) -> (α, β, γ, δ, ε) -> (α, β, γ, δ, ε)
sconcat :: (Semigroup α, Semigroup β, Semigroup γ, Semigroup δ, Semigroup ε) => [(α, β, γ, δ, ε)] -> (α, β, γ, δ, ε)

inherited from Monoid.Semigroup.sconcat

stimes :: (Semigroup α, Semigroup β, Semigroup γ, Semigroup δ, Semigroup ε) => Int -> (α, β, γ, δ, ε) -> (α, β, γ, δ, ε)

inherited from Monoid.Semigroup.stimes

instance Semigroup (Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f) => (a, b, c, d, e, f)

Member Functions

mappend :: (Semigroup α, Semigroup β, Semigroup ε, Semigroup γ, Semigroup δ, Semigroup ζ) => (α, β, ε, γ, δ, ζ) -> (α, β, ε, γ, δ, ζ) -> (α, β, ε, γ, δ, ζ)
sconcat :: (Semigroup α, Semigroup β, Semigroup ε, Semigroup γ, Semigroup δ, Semigroup ζ) => [(α, β, ε, γ, δ, ζ)] -> (α, β, ε, γ, δ, ζ)

inherited from Monoid.Semigroup.sconcat

stimes :: (Semigroup δ, Semigroup β, Semigroup α, Semigroup γ, Semigroup ε, Semigroup ζ) => Int -> (δ, β, α, γ, ε, ζ) -> (δ, β, α, γ, ε, ζ)

inherited from Monoid.Semigroup.stimes

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

Member Functions

mappend :: (Semigroup α, Semigroup β, Semigroup ε, Semigroup γ, Semigroup ζ, Semigroup δ, Semigroup η) => (α, β, ε, γ, ζ, δ, η) -> (α, β, ε, γ, ζ, δ, η) -> (α, β, ε, γ, ζ, δ, η)
sconcat :: (Semigroup α, Semigroup β, Semigroup ε, Semigroup γ, Semigroup ζ, Semigroup δ, Semigroup η) => [(α, β, ε, γ, ζ, δ, η)] -> (α, β, ε, γ, ζ, δ, η)

inherited from Monoid.Semigroup.sconcat

stimes :: (Semigroup δ, Semigroup β, Semigroup α, Semigroup γ, Semigroup ε, Semigroup ζ, Semigroup η) => Int -> (δ, β, α, γ, ε, ζ, η) -> (δ, β, α, γ, ε, ζ, η)

inherited from Monoid.Semigroup.stimes

instance Show (Show b, Show a, Show c, Show d) => (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 istance.

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

Function generated for derived istance.

instance Show (Show b, Show a, Show d, Show c, Show e) => (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 istance.

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

Function generated for derived istance.

instance Show (Show d, Show b, Show a, Show c, Show e, Show f) => (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 istance.

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

Function generated for derived istance.

instance Show (Show d, Show b, Show a, Show c, Show f, Show e, Show g) => (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 istance.

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

Function generated for derived istance.

Functions and Values by Type

Monoid α => (α, (α, β)) -> (α, β)

Monad_(,).join

(Monoid α, Monoid β) => [(α, β)] -> (α, β)

Monoid_(,).mconcat

(Monoid α, Monoid β) => Int -> (α, β) -> (α, β)

Monoid_(,).mtimes

Monoid β => α -> (β, α)

Monad_(,).return

(Semigroup α, Semigroup β) => (α, β) -> (α, β) -> (α, β)

Semigroup_(,).mappend

(Semigroup α, Semigroup β) => [(α, β)] -> (α, β)

Semigroup_(,).sconcat

(Semigroup α, Semigroup β) => Int -> (α, β) -> (α, β)

Semigroup_(,).stimes

(Monoid α, Monoid β) => (α, β)

Monoid_(,).mempty

(Monoid α, Monoid β, Monoid γ) => [(α, β, γ)] -> (α, β, γ)

Monoid_(,,).mconcat

(Monoid α, Monoid β, Monoid γ) => Int -> (α, β, γ) -> (α, β, γ)

Monoid_(,,).mtimes

Monoid β => (β, γ->α) -> (β, γ) -> (β, α)

Monad_(,).<*>

Monoid β => (β, γ) -> (β, α) -> (β, α)

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

Monoid β => (β, γ) -> (β, α) -> (β, γ)

Monad_(,).<*

Monoid β => (β, γ) -> (γ->(β, α)) -> (β, α)

Monad_(,).>>=

(Monoid β, Monoid α) => (β, α, (β, α, γ)) -> (β, α, γ)

Monad_(,,).join

(Monoid β, Monoid α) => γ -> (β, α, γ)

Monad_(,,).return

(Semigroup α, Semigroup β, Semigroup γ) => (α, β, γ) -> (α, β, γ) -> (α, β, γ)

Semigroup_(,,).mappend

(Semigroup α, Semigroup β, Semigroup γ) => [(α, β, γ)] -> (α, β, γ)

Semigroup_(,,).sconcat

(Semigroup α, Semigroup β, Semigroup γ) => Int -> (α, β, γ) -> (α, β, γ)

Semigroup_(,,).stimes

(Monoid α, Monoid β, Monoid γ) => (α, β, γ)

Monoid_(,,).mempty

(Monoid α, Monoid β, Monoid γ) => (α, β, γ, (α, β, γ, δ)) -> (α, β, γ, δ)

Monad_(,,,).join

(Monoid α, Monoid β, Monoid γ, Monoid δ) => [(α, β, γ, δ)] -> (α, β, γ, δ)

Monoid_(,,,).mconcat

(Monoid α, Monoid β, Monoid γ, Monoid δ) => Int -> (α, β, γ, δ) -> (α, β, γ, δ)

Monoid_(,,,).mtimes

(Monoid α, Monoid β, Monoid δ) => γ -> (α, β, δ, γ)

Monad_(,,,).return

(Monoid β, Monoid α) => (β, α, γ->δ) -> (β, α, γ) -> (β, α, δ)

Monad_(,,).<*>

(Monoid β, Monoid α) => (β, α, γ) -> (β, α, δ) -> (β, α, γ)

Monad_(,,).<*

(Monoid β, Monoid α) => (β, α, γ) -> (β, α, δ) -> (β, α, δ)

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

(Monoid β, Monoid α) => (β, α, γ) -> (γ->(β, α, δ)) -> (β, α, δ)

Monad_(,,).>>=

(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 γ, Eq δ) => (α, β, γ, δ) -> Int

Eq_(,,,).hashCode

(Ord β, Ord α, Ord γ, Ord δ) => (α, β, γ, δ) -> (α, β, γ, δ) -> (α, β, γ, δ)

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

(Ord β, Ord α, Ord γ, Ord δ) => (α, β, γ, δ) -> (α, β, γ, δ) -> Bool

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

(Ord β, Ord α, Ord γ, Ord δ) => (α, β, γ, δ) -> (α, β, γ, δ) -> Ordering

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

(Show β, Show α, Show γ, Show δ) => (α, β, γ, δ) -> String

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

(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 γ, Monoid δ, Monoid ε) => [(α, β, γ, δ, ε)] -> (α, β, γ, δ, ε)

Monoid_(,,,,).mconcat

(Monoid α, Monoid β, Monoid γ, Monoid δ, Monoid ε) => Int -> (α, β, γ, δ, ε) -> (α, β, γ, δ, ε)

Monoid_(,,,,).mtimes

(Monoid α, Monoid β, Monoid δ) => (α, β, δ, ε->γ) -> (α, β, δ, ε) -> (α, β, δ, γ)

Monad_(,,,).<*>

(Monoid α, Monoid β, Monoid δ) => (α, β, δ, ε) -> (α, β, δ, γ) -> (α, β, δ, γ)

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

(Monoid α, Monoid β, Monoid δ) => (α, β, δ, ε) -> (α, β, δ, γ) -> (α, β, δ, ε)

Monad_(,,,).<*

(Monoid α, Monoid β, Monoid δ) => (α, β, δ, ε) -> (ε->(α, β, δ, γ)) -> (α, β, δ, γ)

Monad_(,,,).>>=

(Monoid α, Monoid β, Monoid δ, Monoid γ) => (α, β, δ, γ, (α, β, δ, γ, ε)) -> (α, β, δ, γ, ε)

Monad_(,,,,).join

(Monoid α, Monoid β, Monoid δ, Monoid γ) => ε -> (α, β, δ, γ, ε)

Monad_(,,,,).return

(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 γ, Eq ε) => (α, β, γ, δ, ε) -> Int

Eq_(,,,,).hashCode

(Ord β, Ord α, Ord δ, Ord γ, Ord ε) => (α, β, γ, δ, ε) -> (α, β, γ, δ, ε) -> (α, β, γ, δ, ε)

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

(Ord β, Ord α, Ord δ, Ord γ, Ord ε) => (α, β, γ, δ, ε) -> (α, β, γ, δ, ε) -> Bool

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

(Ord β, Ord α, Ord δ, Ord γ, Ord ε) => (α, β, γ, δ, ε) -> (α, β, γ, δ, ε) -> Ordering

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

(Show β, Show α, Show δ, Show γ, Show ε) => (α, β, γ, δ, ε) -> String

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

(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 γ, Monoid δ, Monoid ζ) => [(α, β, ε, γ, δ, ζ)] -> (α, β, ε, γ, δ, ζ)

Monoid_(,,,,,).mconcat

(Monoid β, Monoid γ, Monoid α, Monoid δ, Monoid ε) => (β, γ, α, δ, ε, (β, γ, α, δ, ε, ζ)) -> (β, γ, α, δ, ε, ζ)

Monad_(,,,,,).join

(Monoid β, Monoid γ, Monoid α, Monoid δ, Monoid ζ) => ε -> (β, γ, α, δ, ζ, ε)

Monad_(,,,,,).return

(Monoid β, Monoid γ, Monoid δ, Monoid α) => (β, γ, δ, α, ε->ζ) -> (β, γ, δ, α, ε) -> (β, γ, δ, α, ζ)

Monad_(,,,,).<*>

(Monoid β, Monoid γ, Monoid δ, Monoid α) => (β, γ, δ, α, ε) -> (β, γ, δ, α, ζ) -> (β, γ, δ, α, ε)

Monad_(,,,,).<*

(Monoid β, Monoid γ, Monoid δ, Monoid α) => (β, γ, δ, α, ε) -> (β, γ, δ, α, ζ) -> (β, γ, δ, α, ζ)

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

(Monoid β, Monoid γ, Monoid δ, Monoid α) => (β, γ, δ, α, ε) -> (ε->(β, γ, δ, α, ζ)) -> (β, γ, δ, α, ζ)

Monad_(,,,,).>>=

(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 δ, Eq ζ) => (α, β, ε, γ, δ, ζ) -> Int

Eq_(,,,,,).hashCode

(Ord γ, Ord β, Ord α, Ord ε, Ord δ, Ord ζ) => (α, β, ε, γ, δ, ζ) -> (α, β, ε, γ, δ, ζ) -> (α, β, ε, γ, δ, ζ)

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

(Ord γ, Ord β, Ord α, Ord ε, Ord δ, Ord ζ) => (α, β, ε, γ, δ, ζ) -> (α, β, ε, γ, δ, ζ) -> Bool

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

(Ord γ, Ord β, Ord α, Ord ε, Ord δ, Ord ζ) => (α, β, ε, γ, δ, ζ) -> (α, β, ε, γ, δ, ζ) -> Ordering

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

(Show γ, Show β, Show α, Show ε, Show δ, Show ζ) => (α, β, ε, γ, δ, ζ) -> String

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

(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 δ, Monoid ζ) => (α, β, ε, γ, δ, ζ, (α, β, ε, γ, δ, ζ, η)) -> (α, β, ε, γ, δ, ζ, η)

Monad_(,,,,,,).join

(Monoid α, Monoid β, Monoid ε, Monoid γ, Monoid δ, Monoid η) => ζ -> (α, β, ε, γ, δ, η, ζ)

Monad_(,,,,,,).return

(Monoid α, Monoid β, Monoid ε, Monoid γ, Monoid ζ, Monoid δ, Monoid η) => [(α, β, ε, γ, ζ, δ, η)] -> (α, β, ε, γ, ζ, δ, η)

Monoid_(,,,,,,).mconcat

(Monoid β, Monoid γ, Monoid α, Monoid δ, Monoid ζ) => (β, γ, α, δ, ζ, η->ε) -> (β, γ, α, δ, ζ, η) -> (β, γ, α, δ, ζ, ε)

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

(Monoid β, Monoid γ, Monoid α, Monoid δ, Monoid ζ) => (β, γ, α, δ, ζ, η) -> (β, γ, α, δ, ζ, ε) -> (β, γ, α, δ, ζ, ε)

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

(Monoid β, Monoid γ, Monoid α, Monoid δ, Monoid ζ) => (β, γ, α, δ, ζ, η) -> (β, γ, α, δ, ζ, ε) -> (β, γ, α, δ, ζ, η)

Monad_(,,,,,).<*

(Monoid β, Monoid γ, Monoid α, Monoid δ, Monoid ζ) => (β, γ, α, δ, ζ, η) -> (η->(β, γ, α, δ, ζ, ε)) -> (β, γ, α, δ, ζ, ε)

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

(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 ζ, Eq η) => (α, β, ε, γ, ζ, δ, η) -> Int

Eq_(,,,,,,).hashCode

(Ord γ, Ord β, Ord α, Ord ε, Ord δ, Ord ζ, Ord η) => (α, β, ε, γ, ζ, δ, η) -> (α, β, ε, γ, ζ, δ, η) -> (α, β, ε, γ, ζ, δ, η)

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

(Ord γ, Ord β, Ord α, Ord ε, Ord δ, Ord ζ, Ord η) => (α, β, ε, γ, ζ, δ, η) -> (α, β, ε, γ, ζ, δ, η) -> Bool

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

(Ord γ, Ord β, Ord α, Ord ε, Ord δ, Ord ζ, Ord η) => (α, β, ε, γ, ζ, δ, η) -> (α, β, ε, γ, ζ, δ, η) -> Ordering

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

(Show γ, Show β, Show α, Show ε, Show δ, Show ζ, Show η) => (α, β, ε, γ, ζ, δ, η) -> String

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

(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_(,,,,,,).*>, Monad_(,,,,,,).>>

(Monoid α, Monoid β, Monoid ε, Monoid γ, Monoid δ, Monoid η) => (α, β, ε, γ, δ, η, θ) -> (α, β, ε, γ, δ, η, ζ) -> (α, β, ε, γ, δ, η, θ)

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

(Monoid α, Monoid β, Monoid ε, Monoid γ, Monoid δ, Monoid η) => (α, β, ε, γ, δ, η, θ) -> (θ->(α, β, ε, γ, δ, η, ζ)) -> (α, β, ε, γ, δ, η, ζ)

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

Valid HTML 4.01 Strict