Uses of Interface
fj.F4

Packages that use F4
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 F4 in fj

    Methods in fj that return F4
    Modifier and Type
    Method
    Description
    static <A, B, C, D>
    F4<A,B,C,D,Unit>
    Effect.f(Effect4<A,B,C,D> e)
     
    static <A, B, C, D, E, Z extends Exception>
    F4<A,B,C,D,Validation<Z,E>>
    Try.f(Try4<A,B,C,D,E,Z> t)
    Promotes the Try4 to a Validation that returns an Exception on the failure side and its result on the success side.
    static <A, B, C, D, Z extends Exception>
    F4<A,B,C,D,Validation<Z,Unit>>
    TryEffect.f(TryEffect4<A,B,C,D,Z> t)
     
    static <A, B, C, D, E>
    F4<A,B,C,D,E>
    Function.uncurryF4(F<A,F<B,F<C,F<D,E>>>> f)
    Uncurry a function of arity-4.
    Methods in fj that return types with arguments of type F4
    Modifier and Type
    Method
    Description
    static <A, B, C, D, E>
    F<F<A,F<B,F<C,F<D,E>>>>,F4<A,B,C,D,E>>
    Function.uncurryF4()
    Uncurry a function of arity-4.
    Methods in fj with parameters of type F4
    Modifier and Type
    Method
    Description
    static <A, B, C, D, E>
    F<A,F<B,F<C,F<D,E>>>>
    Function.curry(F4<A,B,C,D,E> f)
    Curry a function of arity-4.
    static <A, B, C, D, E>
    F<B,F<C,F<D,E>>>
    Function.curry(F4<A,B,C,D,E> f, A a)
    Curry a function of arity-4.
    static <A, B, C, D, E>
    F<C,F<D,E>>
    Function.curry(F4<A,B,C,D,E> f, A a, B b)
    Curry a function of arity-4.
    static <A, B, C, D, E>
    F<D,E>
    Function.curry(F4<A,B,C,D,E> f, A a, B b, C c)
    Curry a function of arity-4.
  • Uses of F4 in fj.data

    Methods in fj.data with parameters of type F4
    Modifier and Type
    Method
    Description
    final <B, C, D, $E>
    Validation<List<E>,$E>
    Validation.accumulate(Validation<E,B> v2, Validation<E,C> v3, Validation<E,D> v4, F4<T,B,C,D,$E> f)
     
    final <A, B, C, D>
    Validation<E,D>
    Validation.accumulate(Semigroup<E> s, Validation<E,A> va, Validation<E,B> vb, Validation<E,C> vc, F4<T,A,B,C,D> 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 F4 in fj.data.optic

    Methods in fj.data.optic with parameters of type F4
    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, F4<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, F4<A,A,A,S,S> set)
     
  • Uses of F4 in fj.data.vector

    Methods in fj.data.vector that return F4
    Modifier and Type
    Method
    Description
    static <A> F4<A,A,A,A,V4<A>>
    V.v4()
    Returns a function that puts elements in a vector-4.