Uses of Interface
fj.F7

Packages that use F7
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.
  • Uses of F7 in fj

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

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

    Methods in fj.data.optic with parameters of type F7
    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, F<S,A> get5, F<S,A> get6, F7<B,B,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, F<S,A> get5, F<S,A> get6, F7<A,A,A,A,A,A,S,S> set)