Data.Tuple.JAExtra

Currying

curry family

Members of the "curry" function family.

curryN takes a function which has an N Tuple as first argument and then N arguments, calling the function value with the arguemnts wrapped in a tuple.

curry2 :: ((α, β) -> γ) -> α -> β -> γ

Alias for curry.

curry3 :: ((α, β, γ) -> δ) -> α -> β -> γ -> δ

curry4 :: ((α, β, γ, δ) -> ε) -> α -> β -> γ -> δ -> ε

curry5 :: ((α, β, γ, δ, ε) -> ζ) -> α -> β -> γ -> δ -> ε -> ζ

curry6 :: ((α, β, γ, δ, ε, ζ) -> η) -> α -> β -> γ -> δ -> ε -> ζ -> η

curry7 :: ((α, β, γ, δ, ε, ζ, η) -> θ) -> α -> β -> γ -> δ -> ε -> ζ -> η -> θ

curry8 :: ((α, β, γ, δ, ε, ζ, η, θ) -> ι) -> α -> β -> γ -> δ -> ε -> ζ -> η -> θ -> ι

curry9 :: ((α, β, γ, δ, ε, ζ, η, θ, ι) -> κ) -> α -> β -> γ -> δ -> ε -> ζ -> η -> θ -> ι -> κ

curry10 :: ((α, β, γ, δ, ε, ζ, η, θ, ι, κ) -> λ) -> α -> β -> γ -> δ -> ε -> ζ -> η -> θ -> ι -> κ -> λ

uncurry family

Members of the uncurry function family. Meaning they work exactly like uncurry but on lerger functions/larger tuples.

uncurryN then takes a function with N arguments and an N-Tuple and calls the function with the content of the Tuple.

uncurry2 :: (α -> β -> γ) -> (α, β) -> γ

Alias for uncurry according to my function naming conventions.

uncurry3 :: (α -> β -> γ -> δ) -> (α, β, γ) -> δ

uncurry4 :: (α -> β -> γ -> δ -> ε) -> (α, β, γ, δ) -> ε

uncurry5 :: (α -> β -> γ -> δ -> ε -> ζ) -> (α, β, γ, δ, ε) -> ζ

uncurry6 :: (α -> β -> γ -> δ -> ε -> ζ -> η) -> (α, β, γ, δ, ε, ζ) -> η

uncurry7 :: (α -> β -> γ -> δ -> ε -> ζ -> η -> θ) -> (α, β, γ, δ, ε, ζ, η) -> θ

uncurry8 :: (α -> β -> γ -> δ -> ε -> ζ -> η -> θ -> ι) -> (α, β, γ, δ, ε, ζ, η, θ) -> ι

uncurry9 :: (α -> β -> γ -> δ -> ε -> ζ -> η -> θ -> ι -> κ) -> (α, β, γ, δ, ε, ζ, η, θ, ι) -> κ

uncurry10 :: (α -> β -> γ -> δ -> ε -> ζ -> η -> θ -> ι -> κ -> λ) -> (α, β, γ, δ, ε, ζ, η, θ, ι, κ) -> λ