Interface Fn5<A,B,C,D,E,F>
-
- Type Parameters:
A
- The first argument typeB
- The second argument typeC
- The third argument typeD
- The fourth argument typeE
- The fifth argument typeF
- The return type
- All Superinterfaces:
Applicative<Fn1<B,Fn1<C,Fn1<D,Fn1<E,F>>>>,Fn1<A,?>>
,Cartesian<A,Fn1<B,Fn1<C,Fn1<D,Fn1<E,F>>>>,Fn1<?,?>>
,Cocartesian<A,Fn1<B,Fn1<C,Fn1<D,Fn1<E,F>>>>,Fn1<?,?>>
,Contravariant<A,Profunctor<?,Fn1<B,Fn1<C,Fn1<D,Fn1<E,F>>>>,Fn1<?,?>>>
,Fn1<A,Fn1<B,Fn1<C,Fn1<D,Fn1<E,F>>>>>
,Fn2<A,B,Fn1<C,Fn1<D,Fn1<E,F>>>>
,Fn3<A,B,C,Fn1<D,Fn1<E,F>>>
,Fn4<A,B,C,D,Fn1<E,F>>
,Functor<Fn1<B,Fn1<C,Fn1<D,Fn1<E,F>>>>,Fn1<A,?>>
,Monad<Fn1<B,Fn1<C,Fn1<D,Fn1<E,F>>>>,Fn1<A,?>>
,MonadReader<A,Fn1<B,Fn1<C,Fn1<D,Fn1<E,F>>>>,Fn1<A,?>>
,MonadRec<Fn1<B,Fn1<C,Fn1<D,Fn1<E,F>>>>,Fn1<A,?>>
,MonadWriter<A,Fn1<B,Fn1<C,Fn1<D,Fn1<E,F>>>>,Fn1<A,?>>
,Profunctor<A,Fn1<B,Fn1<C,Fn1<D,Fn1<E,F>>>>,Fn1<?,?>>
- All Known Subinterfaces:
Fn6<A,B,C,D,E,F,G>
,Fn7<A,B,C,D,E,F,G,H>
,Fn8<A,B,C,D,E,F,G,H,I>
- Functional Interface:
- This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
@FunctionalInterface public interface Fn5<A,B,C,D,E,F> extends Fn4<A,B,C,D,Fn1<E,F>>
A function taking five arguments. Defined in terms ofFn4
, so similarly auto-curried.- See Also:
Fn4
-
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description default Fn4<B,C,D,E,F>
apply(A a)
Partially apply this function by taking its first argument.default Fn3<C,D,E,F>
apply(A a, B b)
Partially apply this function by taking its first two arguments.default Fn2<D,E,F>
apply(A a, B b, C c)
Partially apply this function by taking its first three arguments.default Fn1<E,F>
apply(A a, B b, C c, D d)
Partially apply this function by taking its first four arguments.default F
apply(A a, B b, C c, D d, E e)
Invoke this function with the given arguments.default Fn1<E,F>
checkedApply(A a, B b, C c, D d)
F
checkedApply(A a, B b, C c, D d, E e)
default <Y,Z>
Fn6<Y,Z,B,C,D,E,F>compose(Fn2<? super Y,? super Z,? extends A> before)
Right-to-left composition between different arity functions.default <Z> Fn5<Z,B,C,D,E,F>
contraMap(Fn1<? super Z,? extends A> fn)
Contravariantly mapA <- B
.default <Z> Fn5<Z,B,C,D,E,F>
diMapL(Fn1<? super Z,? extends A> fn)
Contravariantly map over the argument to this function, producing a function that takes the new argument type, and produces the same result.default <G> Fn5<A,B,C,D,E,F>
discardR(Applicative<G,Fn1<A,?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.default Fn5<B,A,C,D,E,F>
flip()
Flip the order of the first two arguments.static <A,B,C,D,E,F>
Fn5<A,B,C,D,E,F>fn5(Fn1<A,Fn4<B,C,D,E,F>> curriedFn1)
static <A,B,C,D,E,F>
Fn5<A,B,C,D,E,F>fn5(Fn2<A,B,Fn3<C,D,E,F>> curriedFn2)
static <A,B,C,D,E,F>
Fn5<A,B,C,D,E,F>fn5(Fn3<A,B,C,Fn2<D,E,F>> curriedFn3)
static <A,B,C,D,E,F>
Fn5<A,B,C,D,E,F>fn5(Fn4<A,B,C,D,Fn1<E,F>> curriedFn4)
static <A,B,C,D,E,F>
Fn5<A,B,C,D,E,F>fn5(Fn5<A,B,C,D,E,F> fn)
Static factory method for coercing a lambda to anFn5
.default Fn4<? super Product2<? extends A,? extends B>,C,D,E,F>
uncurry()
default <Z> Fn6<Z,A,B,C,D,E,F>
widen()
Widen this function's argument list by prepending an ignored argument of any type to the front.-
Methods inherited from interface com.jnape.palatable.lambda.functions.Fn1
andThen, carry, cartesian, censor, choose, cocartesian, diMap, diMapR, discardL, flatMap, fmap, lazyZip, listens, local, pure, self, thunk, toFunction, trampolineM, zip, zip
-
Methods inherited from interface com.jnape.palatable.lambda.functions.Fn2
checkedApply, toBiFunction
-
Methods inherited from interface com.jnape.palatable.lambda.functions.Fn3
checkedApply
-
Methods inherited from interface com.jnape.palatable.lambda.functions.Fn4
checkedApply
-
-
-
-
Method Detail
-
checkedApply
F checkedApply(A a, B b, C c, D d, E e) throws java.lang.Throwable
- Throws:
java.lang.Throwable
-
apply
default F apply(A a, B b, C c, D d, E e)
Invoke this function with the given arguments.- Parameters:
a
- the first argumentb
- the second argumentc
- the third argumentd
- the fourth argumente
- the fifth argument- Returns:
- the result of the function application
-
widen
default <Z> Fn6<Z,A,B,C,D,E,F> widen()
Widen this function's argument list by prepending an ignored argument of any type to the front.
-
apply
default Fn4<B,C,D,E,F> apply(A a)
Partially apply this function by taking its first argument.
-
apply
default Fn3<C,D,E,F> apply(A a, B b)
Partially apply this function by taking its first two arguments.
-
apply
default Fn2<D,E,F> apply(A a, B b, C c)
Partially apply this function by taking its first three arguments.
-
apply
default Fn1<E,F> apply(A a, B b, C c, D d)
Partially apply this function by taking its first four arguments.
-
discardR
default <G> Fn5<A,B,C,D,E,F> discardR(Applicative<G,Fn1<A,?>> appB)
Description copied from interface:Fn2
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
. This is generally useful for sequentially performing side-effects.- Specified by:
discardR
in interfaceApplicative<A,B>
- Specified by:
discardR
in interfaceFn1<A,B>
- Specified by:
discardR
in interfaceFn2<A,B,C>
- Specified by:
discardR
in interfaceFn3<A,B,C,D>
- Specified by:
discardR
in interfaceFn4<A,B,C,D,E>
- Specified by:
discardR
in interfaceMonad<A,B>
- Specified by:
discardR
in interfaceMonadReader<A,B,C>
- Specified by:
discardR
in interfaceMonadRec<A,B>
- Specified by:
discardR
in interfaceMonadWriter<A,B,C>
- Type Parameters:
G
- the type of appB's parameter- Parameters:
appB
- the other Applicative- Returns:
- this Applicative
-
diMapL
default <Z> Fn5<Z,B,C,D,E,F> diMapL(Fn1<? super Z,? extends A> fn)
Description copied from interface:Fn2
Contravariantly map over the argument to this function, producing a function that takes the new argument type, and produces the same result.- Specified by:
diMapL
in interfaceCartesian<A,B,C>
- Specified by:
diMapL
in interfaceCocartesian<A,B,C>
- Specified by:
diMapL
in interfaceFn1<A,B>
- Specified by:
diMapL
in interfaceFn2<A,B,C>
- Specified by:
diMapL
in interfaceFn3<A,B,C,D>
- Specified by:
diMapL
in interfaceFn4<A,B,C,D,E>
- Specified by:
diMapL
in interfaceProfunctor<A,B,C>
- Type Parameters:
Z
- the new argument type- Parameters:
fn
- the contravariant argument mapping function- Returns:
- an
Fn1
<Z, B>
-
contraMap
default <Z> Fn5<Z,B,C,D,E,F> contraMap(Fn1<? super Z,? extends A> fn)
Description copied from interface:Fn2
Contravariantly mapA <- B
.- Specified by:
contraMap
in interfaceCartesian<A,B,C>
- Specified by:
contraMap
in interfaceCocartesian<A,B,C>
- Specified by:
contraMap
in interfaceContravariant<A,B>
- Specified by:
contraMap
in interfaceFn1<A,B>
- Specified by:
contraMap
in interfaceFn2<A,B,C>
- Specified by:
contraMap
in interfaceFn3<A,B,C,D>
- Specified by:
contraMap
in interfaceFn4<A,B,C,D,E>
- Specified by:
contraMap
in interfaceProfunctor<A,B,C>
- Type Parameters:
Z
- the new parameter type- Parameters:
fn
- the mapping function- Returns:
- the mapped Contravariant functor instance
-
compose
default <Y,Z> Fn6<Y,Z,B,C,D,E,F> compose(Fn2<? super Y,? super Z,? extends A> before)
Description copied from interface:Fn2
Right-to-left composition between different arity functions. Preserves highest arity in the return type.- Specified by:
compose
in interfaceFn1<A,B>
- Specified by:
compose
in interfaceFn2<A,B,C>
- Specified by:
compose
in interfaceFn3<A,B,C,D>
- Specified by:
compose
in interfaceFn4<A,B,C,D,E>
- Type Parameters:
Y
- the resulting function's first argument typeZ
- the resulting function's second argument type- Parameters:
before
- the function to pass its return value to this function's input- Returns:
- an
Fn2
<Y, Z, B>
-
fn5
static <A,B,C,D,E,F> Fn5<A,B,C,D,E,F> fn5(Fn1<A,Fn4<B,C,D,E,F>> curriedFn1)
- Type Parameters:
A
- the first input argument typeB
- the second input argument typeC
- the third input argument typeD
- the fourth input argument typeE
- the fifth input argument typeF
- the output type- Parameters:
curriedFn1
- the curried fn1 to adapt- Returns:
- the
Fn5
-
fn5
static <A,B,C,D,E,F> Fn5<A,B,C,D,E,F> fn5(Fn2<A,B,Fn3<C,D,E,F>> curriedFn2)
- Type Parameters:
A
- the first input argument typeB
- the second input argument typeC
- the third input argument typeD
- the fourth input argument typeE
- the fifth input argument typeF
- the output type- Parameters:
curriedFn2
- the curried fn2 to adapt- Returns:
- the
Fn5
-
fn5
static <A,B,C,D,E,F> Fn5<A,B,C,D,E,F> fn5(Fn3<A,B,C,Fn2<D,E,F>> curriedFn3)
- Type Parameters:
A
- the first input argument typeB
- the second input argument typeC
- the third input argument typeD
- the fourth input argument typeE
- the fifth input argument typeF
- the output type- Parameters:
curriedFn3
- the curried fn3 to adapt- Returns:
- the
Fn5
-
fn5
static <A,B,C,D,E,F> Fn5<A,B,C,D,E,F> fn5(Fn4<A,B,C,D,Fn1<E,F>> curriedFn4)
- Type Parameters:
A
- the first input argument typeB
- the second input argument typeC
- the third input argument typeD
- the fourth input argument typeE
- the fifth input argument typeF
- the output type- Parameters:
curriedFn4
- the curried fn4 to adapt- Returns:
- the
Fn5
-
fn5
static <A,B,C,D,E,F> Fn5<A,B,C,D,E,F> fn5(Fn5<A,B,C,D,E,F> fn)
Static factory method for coercing a lambda to anFn5
.- Type Parameters:
A
- the first input argument typeB
- the second input argument typeC
- the third input argument typeD
- the fourth input argument typeE
- the fifth input argument typeF
- the output type- Parameters:
fn
- the lambda to coerce- Returns:
- the
Fn5
-
-