Copyright | (c) Justus Adam, 2015 |
---|---|
License | BDS3 |
Maintainer | dev@justus.science |
Stability | experimental |
Portability | POSIX, Windows |
Safe Haskell | Safe |
Language | Haskell2010 |
- curry2 :: ((α, β) -> γ) -> α -> β -> γ
- curry3 :: ((α, β, γ) -> δ) -> α -> β -> γ -> δ
- curry4 :: ((α, β, γ, δ) -> ε) -> α -> β -> γ -> δ -> ε
- curry5 :: ((α, β, γ, δ, ε) -> ζ) -> α -> β -> γ -> δ -> ε -> ζ
- curry6 :: ((α, β, γ, δ, ε, ζ) -> η) -> α -> β -> γ -> δ -> ε -> ζ -> η
- curry7 :: ((α, β, γ, δ, ε, ζ, η) -> θ) -> α -> β -> γ -> δ -> ε -> ζ -> η -> θ
- curry8 :: ((α, β, γ, δ, ε, ζ, η, θ) -> ι) -> α -> β -> γ -> δ -> ε -> ζ -> η -> θ -> ι
- curry9 :: ((α, β, γ, δ, ε, ζ, η, θ, ι) -> κ) -> α -> β -> γ -> δ -> ε -> ζ -> η -> θ -> ι -> κ
- curry10 :: ((α, β, γ, δ, ε, ζ, η, θ, ι, κ) -> λ) -> α -> β -> γ -> δ -> ε -> ζ -> η -> θ -> ι -> κ -> λ
- uncurry2 :: (α -> β -> γ) -> (α, β) -> γ
- uncurry3 :: (α -> β -> γ -> δ) -> (α, β, γ) -> δ
- uncurry4 :: (α -> β -> γ -> δ -> ε) -> (α, β, γ, δ) -> ε
- uncurry5 :: (α -> β -> γ -> δ -> ε -> ζ) -> (α, β, γ, δ, ε) -> ζ
- uncurry6 :: (α -> β -> γ -> δ -> ε -> ζ -> η) -> (α, β, γ, δ, ε, ζ) -> η
- uncurry7 :: (α -> β -> γ -> δ -> ε -> ζ -> η -> θ) -> (α, β, γ, δ, ε, ζ, η) -> θ
- uncurry8 :: (α -> β -> γ -> δ -> ε -> ζ -> η -> θ -> ι) -> (α, β, γ, δ, ε, ζ, η, θ) -> ι
- uncurry9 :: (α -> β -> γ -> δ -> ε -> ζ -> η -> θ -> ι -> κ) -> (α, β, γ, δ, ε, ζ, η, θ, ι) -> κ
- uncurry10 :: (α -> β -> γ -> δ -> ε -> ζ -> η -> θ -> ι -> κ -> λ) -> (α, β, γ, δ, ε, ζ, η, θ, ι, κ) -> λ
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.
curry9 :: ((α, β, γ, δ, ε, ζ, η, θ, ι) -> κ) -> α -> β -> γ -> δ -> ε -> ζ -> η -> θ -> ι -> κ Source
curry10 :: ((α, β, γ, δ, ε, ζ, η, θ, ι, κ) -> λ) -> α -> β -> γ -> δ -> ε -> ζ -> η -> θ -> ι -> κ -> λ Source
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 :: (α -> β -> γ) -> (α, β) -> γ Source
Alias for uncurry
according to my function naming conventions.