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