Uses of Interface
fj.F5

Packages that use F5
Package
Description
Types that set the premise for the existence of Functional Java.
Common algebraic data types.
Optic data types adapted from the Scala Monocle library and inspired by the Haskell Lens library.
Fixed-length vectors
  • Uses of F5 in fj

    Methods in fj that return F5
    Modifier and Type
    Method
    Description
    static <A, B, C, D, E>
    F5<A,B,C,D,E,Unit>
    Effect.f(Effect5<A,B,C,D,E> z)
     
    static <A, B, C, D, E, F, Z extends Exception>
    F5<A,B,C,D,E,Validation<Z,F>>
    Try.f(Try5<A,B,C,D,E,F,Z> t)
    Promotes the Try5 to a Validation that returns an Exception on the failure side and its result on the success side.
    static <A, B, C, D, E, Z extends Exception>
    F5<A,B,C,D,E,Validation<Z,Unit>>
    TryEffect.f(TryEffect5<A,B,C,D,E,Z> t)
     
    static <A, B, C, D, E, F$>
    F5<A,B,C,D,E,F$>
    Function.uncurryF5(F<A,F<B,F<C,F<D,F<E,F$>>>>> f)
    Uncurry a function of arity-6.
    Methods in fj that return types with arguments of type F5
    Modifier and Type
    Method
    Description
    static <A, B, C, D, E, F$>
    F<F<A,F<B,F<C,F<D,F<E,F$>>>>>,F5<A,B,C,D,E,F$>>
    Function.uncurryF5()
    Uncurry a function of arity-5.
    Methods in fj with parameters of type F5
    Modifier and Type
    Method
    Description
    static <A, B, C, D, E, F$>
    F<A,F<B,F<C,F<D,F<E,F$>>>>>
    Function.curry(F5<A,B,C,D,E,F$> f)
    Curry a function of arity-5.
    static <A, B, C, D, E, F$>
    F<B,F<C,F<D,F<E,F$>>>>
    Function.curry(F5<A,B,C,D,E,F$> f, A a)
    Curry a function of arity-5.
    static <A, B, C, D, E, F$>
    F<C,F<D,F<E,F$>>>
    Function.curry(F5<A,B,C,D,E,F$> f, A a, B b)
    Curry a function of arity-5.
    static <A, B, C, D, E, F$>
    F<D,F<E,F$>>
    Function.curry(F5<A,B,C,D,E,F$> f, A a, B b, C c)
    Curry a function of arity-5.
    static <A, B, C, D, E, F$>
    F<E,F$>
    Function.curry(F5<A,B,C,D,E,F$> f, A a, B b, C c, D d)
    Curry a function of arity-5.
  • Uses of F5 in fj.data

    Methods in fj.data with parameters of type F5
    Modifier and Type
    Method
    Description
    final <B, C, D, $E, $F>
    Validation<List<E>,$F>
    Validation.accumulate(Validation<E,B> v2, Validation<E,C> v3, Validation<E,D> v4, Validation<E,$E> v5, F5<T,B,C,D,$E,$F> f)
     
    final <A, B, C, D, E$>
    Validation<E,E$>
    Validation.accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, Validation<E,C> vc, Validation<E,D> vd, F5<T,A,B,C,D,E$> f)
    Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.
  • Uses of F5 in fj.data.optic

    Methods in fj.data.optic with parameters of type F5
    Modifier and Type
    Method
    Description
    static <S, T, A, B>
    PTraversal<S,T,A,B>
    PTraversal.pTraversal(F<S,A> get1, F<S,A> get2, F<S,A> get3, F<S,A> get4, F5<B,B,B,B,S,T> set)
     
    static <S, A> Traversal<S,A>
    Traversal.traversal(F<S,A> get1, F<S,A> get2, F<S,A> get3, F<S,A> get4, F5<A,A,A,A,S,S> set)
     
  • Uses of F5 in fj.data.vector

    Methods in fj.data.vector that return F5
    Modifier and Type
    Method
    Description
    static <A> F5<A,A,A,A,A,V5<A>>
    V.v5()
    Returns a function that puts elements in a vector-5.