Uses of Class
fj.P1

Packages that use P1
Package
Description
Types that set the premise for the existence of Functional Java.
Functional control abstractions.
Parallelization strategies.
Common algebraic data types.
Optic data types adapted from the Scala Monocle library and inspired by the Haskell Lens library.
Fixed-length vectors
A prelude of commonly used first-class functions
  • Uses of P1 in fj

    Subclasses of P1 in fj
    Modifier and Type
    Class
    Description
    (package private) static final class 
     
    (package private) static class 
     
    (package private) static final class 
     
    (package private) static final class 
     
    Fields in fj with type parameters of type P1
    Modifier and Type
    Field
    Description
    private Reference<P1<A>>
    P1.ReferenceMemo.v
     
    Methods in fj that return P1
    Modifier and Type
    Method
    Description
    final P1<A>
    P2._1_()
    Returns the 1-product projection over the first element.
    final P1<A>
    P3._1_()
    Returns the 1-product projection over the first element.
    final P1<A>
    P4._1_()
    Returns the 1-product projection over the first element.
    final P1<A>
    P5._1_()
    Returns the 1-product projection over the first element.
    final P1<A>
    P6._1_()
    Returns the 1-product projection over the first element.
    final P1<A>
    P7._1_()
    Returns the 1-product projection over the first element.
    final P1<A>
    P8._1_()
    Returns the 1-product projection over the first element.
    final P1<B>
    P2._2_()
    Returns the 1-product projection over the second element.
    final P1<B>
    P3._2_()
    Returns the 1-product projection over the second element.
    final P1<B>
    P4._2_()
    Returns the 1-product projection over the second element.
    final P1<B>
    P5._2_()
    Returns the 1-product projection over the second element.
    final P1<B>
    P6._2_()
    Returns the 1-product projection over the second element.
    final P1<B>
    P7._2_()
    Returns the 1-product projection over the second element.
    final P1<B>
    P8._2_()
    Returns the 1-product projection over the second element.
    final P1<C>
    P3._3_()
    Returns the 1-product projection over the third element.
    final P1<C>
    P4._3_()
    Returns the 1-product projection over the third element.
    final P1<C>
    P5._3_()
    Returns the 1-product projection over the third element.
    final P1<C>
    P6._3_()
    Returns the 1-product projection over the third element.
    final P1<C>
    P7._3_()
    Returns the 1-product projection over the third element.
    final P1<C>
    P8._3_()
    Returns the 1-product projection over the third element.
    final P1<D>
    P4._4_()
    Returns the 1-product projection over the fourth element.
    final P1<D>
    P5._4_()
    Returns the 1-product projection over the fourth element.
    final P1<D>
    P6._4_()
    Returns the 1-product projection over the fourth element.
    final P1<D>
    P7._4_()
    Returns the 1-product projection over the fourth element.
    final P1<D>
    P8._4_()
    Returns the 1-product projection over the fourth element.
    final P1<E>
    P5._5_()
    Returns the 1-product projection over the fifth element.
    final P1<E>
    P6._5_()
    Returns the 1-product projection over the fifth element.
    final P1<E>
    P7._5_()
    Returns the 1-product projection over the fifth element.
    final P1<E>
    P8._5_()
    Returns the 1-product projection over the fifth element.
    final P1<F>
    P6._6_()
    Returns the 1-product projection over the sixth element.
    final P1<F>
    P7._6_()
    Returns the 1-product projection over the sixth element.
    final P1<F>
    P8._6_()
    Returns the 1-product projection over the sixth element.
    final P1<G>
    P7._7_()
    Returns the 1-product projection over the seventh element.
    final P1<G>
    P8._7_()
    Returns the 1-product projection over the seventh element.
    final P1<H>
    P8._8_()
    Returns the 1-product projection over the eighth element.
    final <B> P1<B>
    P1.apply(P1<F<A,B>> cf)
    Performs function application within a P1 (applicative functor pattern).
    final <B> P1<B>
    P1.bind(F<A,P1<B>> f)
    Binds the given function to the value in a product-1 with a final join.
    final <B, C> P1<C>
    P1.bind(P1<B> cb, F<A,F<B,C>> f)
    Binds the given function to the values in the given P1s with a final join.
    final <B, C> P1<C>
    P1.bind(P1<B> cb, F2<A,B,C> f)
    Binds the given function to the values in the given P1s with a final join.
    static <A> P1<A>
    Bottom.error_(String s)
    Provides a thunk that throws an error using the given message when evaluated.
    static P1<Unit>
    Effect.f(Effect0 e)
     
    static <A, E extends Exception>
    P1<Validation<E,A>>
    Try.f(Try0<A,E> t)
    Promotes the Try0 to a Validation that returns an Exception on the failure side and its result on the success side.
    static <A, Z extends Exception>
    P1<Validation<Z,Unit>>
    TryEffect.f(TryEffect0<Z> t)
     
    static <A> P1<A>
    P.hardMemo(F0<A> f)
    Convert a F0 into a P1, using call-by-need semantic: function f is evaluated at most once, at first to _1().
    P1<A>
    Returns a P1 that remembers its value.
    P1<A>
    P1.Memo.hardMemo()
     
    static <A> P1<A>
    P1.join(P1<P1<A>> a)
    Joins a P1 of a P1 with a bind operation.
    static <A> P1<A>
    P.lazy(F<Unit,A> f)
     
    static <A> P1<A>
    P.lazy(F0<A> f)
    Convert a F0 into a P1, using call-by-name semantic: function f is evaluated at each call to _1().
    final <B, C> P1<C>
    P1.liftM2(P1<B> pb, F2<A,B,C> f)
     
    final <B> P1<B>
    P1.map(F<A,B> f)
    Map the element of the product.
    static <A> P1<A>
    P.memo(F0<A> f)
    Convert a F0 into a P1, using weak call-by-need semantic using P.weakMemo(F0).
    final P1<A>
    P1.memo()
    Wrap the memoized value into a WeakReference.
    static <A> P1<A>
    P.p(A a)
    A function that puts an element in a product-1.
    default P1<B>
    F.partial(A a)
    Partial application.
    static <A> P1<Array<A>>
    P1.sequence(Array<P1<A>> as)
    Turns an array of P1s into a single P1 of an array.
    static <A> P1<List<A>>
    P1.sequence(List<P1<A>> as)
    Turns a List of P1s into a single P1 of a List.
    static <A> P1<Option<A>>
    P1.sequence(Option<P1<A>> o)
    Turns an optional P1 into a lazy option.
    static <A> P1<Stream<A>>
    P1.sequence(Stream<P1<A>> as)
    Turns a stream of P1s into a single P1 of a stream.
    static <A> P1<A>
    P.softMemo(F0<A> f)
    Convert a F0 into a P1, using soft call-by-need semantic: function f is evaluated at first call to _1() and at each subsequent call if and only if the reference have been garbage collected due of shortage of memory (ie.
    P1<A>
    P1.Memo.softMemo()
     
    P1<A>
    Like memo, but the memoized value is wrapped into a SoftReference
    P1<A>
    P1.SoftReferenceMemo.softMemo()
     
    default P1<A>
    F0.toP1()
     
    static <A> P1<A>
    P.weakMemo(F0<A> f)
    Convert a F0 into a P1, using weak call-by-need semantic: function f is evaluated at first call to _1() and at each subsequent call if and only if the reference have been garbage collected.
    P1<A>
    P1.Memo.weakMemo()
     
    P1<A>
    P1.SoftReferenceMemo.weakMemo()
     
    P1<A>
    Like memo, but the memoized value is wrapped into a WeakReference
    P1<A>
    P1.WeakReferenceMemo.weakMemo()
     
    Methods in fj that return types with arguments of type P1
    Modifier and Type
    Method
    Description
    static <A> F<P1<A>,A>
    P1.__1()
    Returns a function that returns the first element of a product.
    static <A, B> F<A,P1<B>>
    P1.curry(F<A,B> f)
    Promotes the given function so that it returns its value in a P1.
    default F<A,P1<B>>
    F.lazy()
    Promotes this function so that it returns its result in a product-1.
    static <A, B, C> F<P1<A>,F<P1<B>,P1<C>>>
    P1.liftM2(F<A,F<B,C>> f)
    Promotes a function of arity-2 to a function on P1s.
    static <A, B, C> F<P1<A>,F<P1<B>,P1<C>>>
    P1.liftM2(F<A,F<B,C>> f)
    Promotes a function of arity-2 to a function on P1s.
    static <A, B, C> F<P1<A>,F<P1<B>,P1<C>>>
    P1.liftM2(F<A,F<B,C>> f)
    Promotes a function of arity-2 to a function on P1s.
    static <A, B> F<P1<A>,P1<B>>
    P1.map_(F<A,B> f)
    Promote any function to a transformation between P1s.
    static <A, B> F<P1<A>,P1<B>>
    P1.map_(F<A,B> f)
    Promote any function to a transformation between P1s.
    default F<P1<A>,P1<B>>
    F.mapP1()
    Promotes this function to map over a product-1.
    default F<P1<A>,P1<B>>
    F.mapP1()
    Promotes this function to map over a product-1.
    static <A> F<A,P1<A>>
    P.p1()
    A function that puts an element in a product-1.
    static <A> Equal<P1<A>>
    Equal.p1Equal(Equal<A> ea)
    An equal instance for a product-1.
    static <A> Hash<P1<A>>
    Hash.p1Hash(Hash<A> ha)
    A hash instance for a product-1.
    static <A> Ord<P1<A>>
    Ord.p1Ord(Ord<A> oa)
    An order instance for a product-1.
    static <A> Semigroup<P1<A>>
    Semigroup.p1Semigroup(Semigroup<A> sa)
    A lazy semigroup for unary products.
    static <A> Show<P1<A>>
    Show.p1Show(Show<A> sa)
    A show instance for the tuple-1 type.
    static <A> Show<P1<A>>
    Show.p1ShowEager(Show<A> sa)
     
    static <A> Show<P1<A>>
    Show.p1ShowLazy(Show<A> sa)
     
    static <A> F<List<P1<A>>,P1<List<A>>>
    A first-class version of the sequence method for lists of P1s.
    static <A> F<List<P1<A>>,P1<List<A>>>
    A first-class version of the sequence method for lists of P1s.
    final <B, X> Either<X,P1<B>>
    P1.traverseEither(F<A,Either<X,B>> f)
    Traversable instance of P1 for Either
    final <B> List<P1<B>>
    P1.traverseList(F<A,List<B>> f)
    Traversable instance of P1 for List
    final <B> Option<P1<B>>
    Traversable instance of P1 for Option
    final <B> Stream<P1<B>>
    Traversable instance of P1 for Stream
    final <B, E> Validation<E,P1<B>>
    Traversable instance of P1 for Validation
    Methods in fj with parameters of type P1
    Modifier and Type
    Method
    Description
    final <B> P1<B>
    P1.apply(P1<F<A,B>> cf)
    Performs function application within a P1 (applicative functor pattern).
    final <B, C> P1<C>
    P1.bind(P1<B> cb, F<A,F<B,C>> f)
    Binds the given function to the values in the given P1s with a final join.
    final <B, C> P1<C>
    P1.bind(P1<B> cb, F2<A,B,C> f)
    Binds the given function to the values in the given P1s with a final join.
    static <A> P1<A>
    P1.join(P1<P1<A>> a)
    Joins a P1 of a P1 with a bind operation.
    final <B, C> P1<C>
    P1.liftM2(P1<B> pb, F2<A,B,C> f)
     
    Method parameters in fj with type arguments of type P1
    Modifier and Type
    Method
    Description
    final <B> P1<B>
    P1.bind(F<A,P1<B>> f)
    Binds the given function to the value in a product-1 with a final join.
    static <A> P1<A>
    P1.join(P1<P1<A>> a)
    Joins a P1 of a P1 with a bind operation.
    static <A> P1<Array<A>>
    P1.sequence(Array<P1<A>> as)
    Turns an array of P1s into a single P1 of an array.
    static <A> P1<List<A>>
    P1.sequence(List<P1<A>> as)
    Turns a List of P1s into a single P1 of a List.
    static <A> P1<Option<A>>
    P1.sequence(Option<P1<A>> o)
    Turns an optional P1 into a lazy option.
    static <A> P1<Stream<A>>
    P1.sequence(Stream<P1<A>> as)
    Turns a stream of P1s into a single P1 of a stream.
  • Uses of P1 in fj.control

    Fields in fj.control declared as P1
    Modifier and Type
    Field
    Description
    private final P1<Trampoline<A>>
    Trampoline.Suspend.suspension
     
    Methods in fj.control that return types with arguments of type P1
    Modifier and Type
    Method
    Description
    Trampoline.Codense.resume()
     
    Trampoline.Pure.resume()
     
    abstract Either<P1<Trampoline<A>>,A>
    Trampoline.resume()
    Runs a single step of this computation.
    Trampoline.Suspend.resume()
     
    static <A> F<Trampoline<A>,Either<P1<Trampoline<A>>,A>>
    Trampoline.resume_()
     
    static <A> F<P1<Trampoline<A>>,Trampoline<A>>
    Trampoline.suspend_()
     
    Methods in fj.control with parameters of type P1
    Modifier and Type
    Method
    Description
    static <A> Trampoline<A>
    Trampoline.suspend(P1<Trampoline<A>> a)
    Suspends the given computation in a thunk.
    Constructors in fj.control with parameters of type P1
    Modifier
    Constructor
    Description
    private
     
  • Uses of P1 in fj.control.parallel

    Fields in fj.control.parallel with type parameters of type P1
    Modifier and Type
    Field
    Description
    private final Actor<P2<Either<P1<A>,Actor<A>>,Promise<A>>>
    Promise.actor
     
    private final F<A,P1<Unit>>
    Actor.f
     
    private final F<P1<A>,P1<A>>
    Strategy.f
     
    private final F<P1<A>,P1<A>>
    Strategy.f
     
    Methods in fj.control.parallel that return P1
    Modifier and Type
    Method
    Description
    Actor.act(A a)
    Pass a message to this actor, applying its side-effect to the message.
    static <A> P1<Either<Exception,A>>
    Callables.either(Callable<A> a)
    Turns the given Callable into either an exception or the value in the Callable.
    static <A> P1<A>
    Strategy.obtain(Future<A> t)
    Provides a product-1 that waits for the given future to obtain a value.
    static <A> P1<Option<A>>
    Callables.option(Callable<A> a)
    Turns the given Callable into an optional value.
    P1<A>
    Strategy.par(P1<A> a)
    Apply the strategy to the given product-1.
    static <A, B> P1<Array<B>>
    Strategy.parFlatMap(Strategy<Array<B>> s, F<A,Array<B>> f, Array<A> as)
    Binds the given function in parallel across the given array, using the given strategy, with a final join.
    static <A, B> P1<List<B>>
    Strategy.parFlatMap(Strategy<List<B>> s, F<A,List<B>> f, List<A> as)
    Binds the given function in parallel across the given list, using the given strategy, with a final join.
    Strategy.parList(List<P1<A>> ps)
    Evaluates a list of product-1s in parallel.
    static <A> P1<List<A>>
    Strategy.parListChunk(Strategy<List<A>> s, int chunkLength, List<P1<A>> as)
    Sequentially evaluates chunks (sub-sequences) of a list in parallel.
    <B> P1<Array<A>>
    Strategy.parMap(F<B,A> f, Array<B> bs)
    Maps the given function over the given array in parallel using this strategy.
    <B> P1<List<A>>
    Strategy.parMap(F<B,A> f, List<B> bs)
    Maps the given function over the given list in parallel using this strategy.
    <B, C> P1<Array<A>>
    Strategy.parZipWith(F2<B,C,A> f, Array<B> bs, Array<C> cs)
    Zips together two arrays in parallel using a given function, with this strategy.
    <B, C> P1<List<A>>
    Strategy.parZipWith(F2<B,C,A> f, List<B> bs, List<C> cs)
    Zips together two lists in parallel using a given function, with this strategy.
    Methods in fj.control.parallel that return types with arguments of type P1
    Modifier and Type
    Method
    Description
    <B> F<B,P1<A>>
    Strategy.concurry(F<B,A> f)
    Promotes a function to a concurrent function.
    <B, C> F<B,F<C,P1<A>>>
    Strategy.concurry(F2<B,C,A> f)
    Promotes a function of arity-2 to a concurrent function.
    static <A> F<Callable<A>,P1<Either<Exception,A>>>
    Callables.either()
    Returns a transformation from a Callable to an Either.
    F<P1<A>,P1<A>>
    Strategy.f()
    Returns the functional representation of this Strategy, a function that evaluates a product-1.
    F<P1<A>,P1<A>>
    Strategy.f()
    Returns the functional representation of this Strategy, a function that evaluates a product-1.
    static <A> F<P1<Either<Exception,A>>,Callable<A>>
    Callables.fromEither()
    Returns a transformation from an Either to a Callable.
    static <A> F<P1<Option<A>>,Callable<A>>
    Callables.fromOption()
    Returns a transformation from an optional value to a Callable
    <A, B> Promise<P1<B>>
    ParModule.mapM(P1<A> a, F<A,Promise<B>> f)
    Maps a concurrent function over a Product-1 inside a Promise.
    static <A> List<P1<A>>
    Strategy.mergeAll(List<Future<A>> xs)
    Waits for every Future in a list to obtain a value, and collects those values in a list.
    static <A> F<Future<A>,P1<A>>
    Strategy.obtain()
    Returns a function which returns a product-1 which waits for the given Future to obtain a value.
    static <A> F<Callable<A>,P1<Option<A>>>
    Callables.option()
    Returns a transformation from a Callable to an optional value.
    <B> F<F<B,A>,F<Array<B>,P1<Array<A>>>>
    Strategy.parMapArray()
    First-class version of parMap on arrays.
    <B> F<Array<B>,P1<Array<A>>>
    Strategy.parMapArray(F<B,A> f)
    Promotes a function to a parallel function on arrays using this strategy.
    <B> F<F<B,A>,F<List<B>,P1<List<A>>>>
    Strategy.parMapList()
    First-class version of parMap on lists.
    <B> F<List<B>,P1<List<A>>>
    Strategy.parMapList(F<B,A> f)
    Promotes a function to a parallel function on lists using this strategy.
    <B, C> F2<Array<B>,Array<C>,P1<Array<A>>>
    Strategy.parZipArrayWith(F2<B,C,A> f)
    Lifts a given function of arity-2 so that it zips together two arrays in parallel, using this strategy, calling the function once for each corresponding pair in the arrays, position-wise.
    <B, C> F2<List<B>,List<C>,P1<List<A>>>
    Strategy.parZipListWith(F2<B,C,A> f)
    Lifts a given function of arity-2 so that it zips together two lists in parallel, using this strategy, calling the function once for each corresponding pair in the lists, position-wise.
    <A> F<P1<A>,Promise<A>>
    ParModule.promise()
    Returns a function that evaluates a given product concurrently and returns a Promise of the result.
    static <A> F<P1<A>,Promise<A>>
    Promise.promise(Strategy<Unit> s)
    Provides a first-class unit function for promises.
    <A> Promise<P1<A>>
    ParModule.sequence(P1<Promise<A>> p)
    Traverses a product-1 inside a promise.
    static <A> Promise<P1<A>>
    Promise.sequence(Strategy<Unit> s, P1<Promise<A>> p)
    Transforms a product of a promise to a promise of a product.
    Methods in fj.control.parallel with parameters of type P1
    Modifier and Type
    Method
    Description
    <B, C> Promise<C>
    Promise.bind(P1<Promise<B>> p, F<A,F<B,C>> f)
    Binds the given function to this promise and the given promise, with a final join.
    static <A> Promise<A>
    Promise.join(Strategy<Unit> s, P1<Promise<A>> p)
    Turns a product of a promise into just a promise.
    <A, B> Promise<P1<B>>
    ParModule.mapM(P1<A> a, F<A,Promise<B>> f)
    Maps a concurrent function over a Product-1 inside a Promise.
    P1<A>
    Strategy.par(P1<A> a)
    Apply the strategy to the given product-1.
    <A> Promise<A>
    ParModule.promise(P1<A> p)
    Evaluates the given product concurrently and returns a Promise of the result.
    static <A> Promise<A>
    Promise.promise(Strategy<Unit> s, P1<A> a)
    Promises to provide the value of the given 1-product, in the future.
    <A> Promise<P1<A>>
    ParModule.sequence(P1<Promise<A>> p)
    Traverses a product-1 inside a promise.
    static <A> Promise<P1<A>>
    Promise.sequence(Strategy<Unit> s, P1<Promise<A>> p)
    Transforms a product of a promise to a promise of a product.
    Method parameters in fj.control.parallel with type arguments of type P1
    Modifier and Type
    Method
    Description
    static <A> Actor<A>
    Actor.actor(Strategy<Unit> s, F<A,P1<Unit>> e)
    Creates a new Actor that uses the given parallelization strategy and has the given side-effect.
    Strategy.contramap(F<P1<A>,P1<A>> f)
    Maps the given transformation across this strategy's codomain (Invariant Functor pattern).
    Strategy.contramap(F<P1<A>,P1<A>> f)
    Maps the given transformation across this strategy's codomain (Invariant Functor pattern).
    static <A, B> F<Stream<A>,Promise<B>>
    Promise.foldRightS(Strategy<Unit> s, F<A,F<P1<B>,B>> f, B b)
    Performs a right-fold reduction across a Stream in constant stack space.
    Strategy.map(F<P1<A>,P1<A>> f)
    Maps the given transformation across this strategy's domain (Invariant Functor pattern).
    Strategy.map(F<P1<A>,P1<A>> f)
    Maps the given transformation across this strategy's domain (Invariant Functor pattern).
    Strategy.parList(List<P1<A>> ps)
    Evaluates a list of product-1s in parallel.
    static <A> P1<List<A>>
    Strategy.parListChunk(Strategy<List<A>> s, int chunkLength, List<P1<A>> as)
    Sequentially evaluates chunks (sub-sequences) of a list in parallel.
    static <A> Strategy<A>
    Strategy.strategy(F<P1<A>,P1<A>> f)
    Constructs a strategy from the given evaluation function.
    static <A> Strategy<A>
    Strategy.strategy(F<P1<A>,P1<A>> f)
    Constructs a strategy from the given evaluation function.
    <B> Strategy<B>
    Strategy.xmap(F<P1<A>,P1<B>> f, F<P1<B>,P1<A>> g)
    Maps the given bijective transformation across this strategy (Exponential Functor pattern).
    <B> Strategy<B>
    Strategy.xmap(F<P1<A>,P1<B>> f, F<P1<B>,P1<A>> g)
    Maps the given bijective transformation across this strategy (Exponential Functor pattern).
    Constructor parameters in fj.control.parallel with type arguments of type P1
    Modifier
    Constructor
    Description
    private
    Actor(Strategy<Unit> s, F<A,P1<Unit>> e)
     
    private
     
    private
    Strategy(F<P1<A>,P1<A>> f)
     
    private
    Strategy(F<P1<A>,P1<A>> f)
     
  • Uses of P1 in fj.data

    Subclasses of P1 in fj.data
    Modifier and Type
    Class
    Description
    final class 
    $<A,B>
    The constant arrow, for attaching a new name to an existing type.
    Fields in fj.data declared as P1
    Modifier and Type
    Field
    Description
    private final P1<Eval<A>>
    Eval.DeferEval.memo
     
    private final P1<A>
    Eval.Later.memo
     
    private final P1<Stream<Tree<A>>>
     
    private final P1<Stream<A>>
    Stream.Cons.tail
     
    Fields in fj.data with type parameters of type P1
    Modifier and Type
    Field
    Description
    private final F<P2<A,Iteratee.Input<char[]>>,P1<Iteratee.IterV<char[],A>>>
    IOFunctions.CharChunkReader.done
     
    IOFunctions.LineReader.done
     
    Methods in fj.data that return P1
    Modifier and Type
    Method
    Description
    static P1<Unit>
    Conversions.Effect0_P1(Effect0 e)
     
    static <A> P1<Stream<A>>
    Stream.nil_()
    Returns an empty stream.
    final P1<Stream<A>>
    Stream.orTail(F0<Stream<A>> as)
    Returns the tail of this stream if there is one or the given argument if this stream is empty.
    static <A> P1<Validation<IOException,A>>
    IOFunctions.p(IO<A> io)
     
    static final <B> P1<List<B>>
    List.sequenceP1(List<P1<B>> list)
    Sequence the given list and collect the output as a P1.
    static final <B> P1<Option<B>>
    Option.sequenceP1(Option<P1<B>> option)
    Sequence the given option and collect the output as a P1.
    static <B> P1<Seq<B>>
    Seq.sequenceP1(Seq<P1<B>> seq)
    Sequence the given seq and collect the output as a P1.
    static <B> P1<Stream<B>>
    Stream.sequenceP1(Stream<P1<B>> stream)
    Sequence the given stream and collect the output as a P1.
    static final <E, C> P1<Validation<E,C>>
    Validation.sequenceP1(Validation<E,P1<C>> validation)
    Sequence the given validation and collect the output as a P1.
    Tree.subForest()
    Returns a stream of the tree's subtrees.
    static <A> P1<A>
    Java8.Supplier_P1(Supplier<A> s)
     
    Stream.Cons.tail()
     
    Stream.Nil.tail()
     
    abstract P1<Stream<A>>
    Stream.tail()
    The stream without the first element or fails for the empty stream.
    <C> P1<Either<C,B>>
    Either.LeftProjection.traverseP1(F<A,P1<C>> f)
    Traverse this left with the given function and collect the output as a p1.
    <C> P1<Either<A,C>>
    Either.RightProjection.traverseP1(F<B,P1<C>> f)
    Traverse this right with the given function and collect the output as a p1.
    <X> P1<Either3<X,B,C>>
    Either3.LeftProjection.traverseP1(F<A,P1<X>> f)
     
    <X> P1<Either3<A,X,C>>
    Either3.MiddleProjection.traverseP1(F<B,P1<X>> f)
     
    <X> P1<Either3<A,B,X>>
    Either3.RightProjection.traverseP1(F<C,P1<X>> f)
     
    final <B> P1<List<B>>
    List.traverseP1(F<A,P1<B>> f)
    Traverse this list with the given function and collect the output as a p1.
    final <B> P1<Option<B>>
    Option.traverseP1(F<A,P1<B>> f)
    Traverse this option with the given function and collect the output as a P1.
    <B> P1<Seq<B>>
    Seq.traverseP1(F<A,P1<B>> f)
    Traverse this seq with the given function and collect the output as a p1.
    <B> P1<Stream<B>>
    Stream.traverseP1(F<A,P1<B>> f)
    Traverse this stream with the given function and collect the output as a p1.
    final <C> P1<Validation<E,C>>
    Validation.traverseP1(F<T,P1<C>> f)
    Traverse this validation with the given function and collect the output as a P1.
    static <E extends Exception>
    P1<Validation<E,Unit>>
    Conversions.TryEffect_P(TryEffect0<E> t)
     
    Methods in fj.data that return types with arguments of type P1
    Modifier and Type
    Method
    Description
    static <A, B> F<P1<A>,F<Array<B>,Either<A,B>>>
    Conversions.Array_Either()
    A function that converts arrays to eithers.
    static <A> F<A,F<P1<Stream<A>>,Stream<A>>>
    Stream.cons()
    Returns a function that prepends (cons) an element to a stream to produce a new stream.
    private static <A> F<TreeZipper<A>,P2<TreeZipper<A>,P1<Stream<TreeZipper<A>>>>>
    TreeZipper.dwn()
     
    static F<Effect0,P1<Unit>>
    Conversions.Effect0_P1()
     
    static <A, B> F<F<A,F<P1<B>,B>>,F<B,F<Stream<A>,B>>>
    Stream.foldRight()
    A first-class version of the foldRight function.
    static <A> F<Future<A>,P1<Either<Exception,A>>>
    Java.Future_P1()
     
    static <A, B> F<P1<A>,F<List<B>,Either<A,B>>>
    Conversions.List_Either()
    A function that converts lists to eithers.
    static <A> F<A,F<P1<Stream<Tree<A>>>,Tree<A>>>
    Tree.node()
    First-class constructor of trees.
    static <A, B> F<P1<A>,F<Option<B>,Either<A,B>>>
    Conversions.Option_Either()
    A function that converts options to eithers.
    static <A> F<P1<A>,Callable<A>>
     
    static <A> F<P1<A>,Supplier<A>>
    Java8.P1_Supplier()
     
    static <A> Stream<P1<A>>
    Stream.sequence(F0<Stream<A>> p)
    Sequence through the Stream monad.
    static <A, B> F<P1<A>,F<Stream<B>,Either<A,B>>>
    Conversions.Stream_Either()
    A function that converts streams to eithers.
    static <A> F<P1<A>,F<String,Either<A,Character>>>
    Conversions.String_Either()
    A function that converts string to eithers.
    static <A> F<P1<A>,F<StringBuffer,Either<A,Character>>>
    Conversions.StringBuffer_Either()
    A function that converts string buffers to eithers.
    static <A> F<P1<A>,F<StringBuilder,Either<A,Character>>>
    Conversions.StringBuilder_Either()
    A function that converts string builders to eithers.
    static <A> F<Tree<A>,P1<Stream<Tree<A>>>>
    Tree.subForest_()
    Provides a transformation from a tree to its subforest.
    static <A> F<Supplier<A>,P1<A>>
    Java8.Supplier_P1()
     
    Methods in fj.data with parameters of type P1
    Modifier and Type
    Method
    Description
    static <A> Tree<A>
    Tree.node(A root, P1<Stream<Tree<A>>> forest)
    Creates a new tree given a root and a (potentially infinite) subforest.
    static <A> Supplier<A>
    Java8.P1_Supplier(P1<A> p)
     
    Method parameters in fj.data with type arguments of type P1
    Modifier and Type
    Method
    Description
    final <B> B
    Stream.foldRight(F<A,F<P1<B>,B>> f, B b)
    Performs a right-fold reduction across this stream.
    final <B> B
    Stream.foldRight(F2<A,P1<B>,B> f, B b)
    Performs a right-fold reduction across this stream.
    static final <B> P1<List<B>>
    List.sequenceP1(List<P1<B>> list)
    Sequence the given list and collect the output as a P1.
    static final <B> P1<Option<B>>
    Option.sequenceP1(Option<P1<B>> option)
    Sequence the given option and collect the output as a P1.
    static <B> P1<Seq<B>>
    Seq.sequenceP1(Seq<P1<B>> seq)
    Sequence the given seq and collect the output as a P1.
    static <B> P1<Stream<B>>
    Stream.sequenceP1(Stream<P1<B>> stream)
    Sequence the given stream and collect the output as a P1.
    static final <E, C> P1<Validation<E,C>>
    Validation.sequenceP1(Validation<E,P1<C>> validation)
    Sequence the given validation and collect the output as a P1.
    <C> P1<Either<C,B>>
    Either.LeftProjection.traverseP1(F<A,P1<C>> f)
    Traverse this left with the given function and collect the output as a p1.
    <C> P1<Either<A,C>>
    Either.RightProjection.traverseP1(F<B,P1<C>> f)
    Traverse this right with the given function and collect the output as a p1.
    <X> P1<Either3<X,B,C>>
    Either3.LeftProjection.traverseP1(F<A,P1<X>> f)
     
    <X> P1<Either3<A,X,C>>
    Either3.MiddleProjection.traverseP1(F<B,P1<X>> f)
     
    <X> P1<Either3<A,B,X>>
    Either3.RightProjection.traverseP1(F<C,P1<X>> f)
     
    final <B> P1<List<B>>
    List.traverseP1(F<A,P1<B>> f)
    Traverse this list with the given function and collect the output as a p1.
    final <B> P1<Option<B>>
    Option.traverseP1(F<A,P1<B>> f)
    Traverse this option with the given function and collect the output as a P1.
    <B> P1<Seq<B>>
    Seq.traverseP1(F<A,P1<B>> f)
    Traverse this seq with the given function and collect the output as a p1.
    <B> P1<Stream<B>>
    Stream.traverseP1(F<A,P1<B>> f)
    Traverse this stream with the given function and collect the output as a p1.
    final <C> P1<Validation<E,C>>
    Validation.traverseP1(F<T,P1<C>> f)
    Traverse this validation with the given function and collect the output as a P1.
    final <B> B
    Stream.uncons(B nil, F<A,F<P1<Stream<A>>,B>> cons)
    Performs a reduction on this stream using the given arguments.
    static <A, B> F<B,Tree<A>>
    Tree.unfoldTree(F<B,P2<A,P1<Stream<B>>>> f)
    Builds a tree from a seed value.
    Constructors in fj.data with parameters of type P1
    Modifier
    Constructor
    Description
    private
    Tree(A root, P1<Stream<Tree<A>>> subForest)
     
  • Uses of P1 in fj.data.optic

    Methods in fj.data.optic that return types with arguments of type P1
    Modifier and Type
    Method
    Description
    F<S,P1<S>>
    Lens.modifyP1F(F<A,P1<A>> f)
     
    F<S,P1<S>>
    Optional.modifyP1F(F<A,P1<A>> f)
     
    final F<S,P1<T>>
    PIso.modifyP1F(F<A,P1<B>> f)
    modify polymorphically the target of a PIso with an Applicative function
    abstract F<S,P1<T>>
    PLens.modifyP1F(F<A,P1<B>> f)
    modify polymorphically the target of a PLens with an Applicative function
    abstract F<S,P1<T>>
    POptional.modifyP1F(F<A,P1<B>> f)
    modify polymorphically the target of a POptional with an Applicative function
    final F<S,P1<T>>
    PPrism.modifyP1F(F<A,P1<B>> f)
    modify polymorphically the target of a PPrism with an Applicative function
    abstract F<S,P1<T>>
    PTraversal.modifyP1F(F<A,P1<B>> f)
    modify polymorphically the target of a PTraversal with an Applicative function
    F<S,P1<S>>
    Traversal.modifyP1F(F<A,P1<A>> f)
     
    Method parameters in fj.data.optic with type arguments of type P1
    Modifier and Type
    Method
    Description
    F<S,P1<S>>
    Lens.modifyP1F(F<A,P1<A>> f)
     
    F<S,P1<S>>
    Optional.modifyP1F(F<A,P1<A>> f)
     
    final F<S,P1<T>>
    PIso.modifyP1F(F<A,P1<B>> f)
    modify polymorphically the target of a PIso with an Applicative function
    abstract F<S,P1<T>>
    PLens.modifyP1F(F<A,P1<B>> f)
    modify polymorphically the target of a PLens with an Applicative function
    abstract F<S,P1<T>>
    POptional.modifyP1F(F<A,P1<B>> f)
    modify polymorphically the target of a POptional with an Applicative function
    final F<S,P1<T>>
    PPrism.modifyP1F(F<A,P1<B>> f)
    modify polymorphically the target of a PPrism with an Applicative function
    abstract F<S,P1<T>>
    PTraversal.modifyP1F(F<A,P1<B>> f)
    modify polymorphically the target of a PTraversal with an Applicative function
    F<S,P1<S>>
    Traversal.modifyP1F(F<A,P1<A>> f)
     
  • Uses of P1 in fj.data.vector

    Fields in fj.data.vector declared as P1
    Modifier and Type
    Field
    Description
    private final P1<A>
    V3.head
     
    private final P1<A>
    V4.head
     
    private final P1<A>
    V5.head
     
    private final P1<A>
    V6.head
     
    private final P1<A>
    V7.head
     
    private final P1<A>
    V8.head
     
    Methods in fj.data.vector that return P1
    Modifier and Type
    Method
    Description
    P1<A>
    V2.head()
    Return the first element of this vector as a product-1.
    P1<A>
    V3.head()
    Returns the first element of this vector, as a product-1.
    P1<A>
    V4.head()
    Returns the first element of this vector, as a product-1.
    P1<A>
    V5.head()
    Returns the first element of this vector, as a product-1.
    P1<A>
    V6.head()
    Returns the first element of this vector, as a product-1.
    P1<A>
    V7.head()
    Returns the first element of this vector, as a product-1.
    P1<A>
    V8.head()
    Returns the first element of this vector, as a product-1.
    Methods in fj.data.vector with parameters of type P1
    Modifier and Type
    Method
    Description
    static <A> V3<A>
    V3.cons(P1<A> head, V2<A> tail)
    Creates a vector-3 from a head and a tail.
    static <A> V4<A>
    V4.cons(P1<A> head, V3<A> tail)
    Creates a vector-4 from a head and a tail.
    static <A> V5<A>
    V5.cons(P1<A> head, V4<A> tail)
    Creates a vector-5 from a head and a tail.
    static <A> V6<A>
    V6.cons(P1<A> head, V5<A> tail)
    Creates a vector-6 from a head and a tail.
    static <A> V7<A>
    V7.cons(P1<A> head, V6<A> tail)
    Creates a vector-7 from a head and a tail.
    static <A> V8<A>
    V8.cons(P1<A> head, V7<A> tail)
    Creates a vector-8 from a head and a tail.
    static <A> V3<A>
    V.v(P1<A> a1, F0<A> a2, F0<A> a3)
    Puts elements in a vector-3.
    static <A> V4<A>
    V.v(P1<A> a1, P1<A> a2, F0<A> a3, F0<A> a4)
    Puts elements in a vector-4.
    static <A> V5<A>
    V.v(P1<A> a1, P1<A> a2, P1<A> a3, F0<A> a4, F0<A> a5)
    Puts elements in a vector-5.
    Constructors in fj.data.vector with parameters of type P1
    Modifier
    Constructor
    Description
    private
    V3(P1<A> head, V2<A> tail)
     
    private
    V4(P1<A> head, V3<A> tail)
     
    private
    V5(P1<A> head, V4<A> tail)
     
    private
    V6(P1<A> head, V5<A> tail)
     
    private
    V7(P1<A> head, V6<A> tail)
     
    private
    V8(P1<A> head, V7<A> tail)
     
  • Uses of P1 in fj.function

    Methods in fj.function that return P1
    Modifier and Type
    Method
    Description
    default P1<Unit>
    Effect1.partial(A a)
     
    default P1<Unit>
    Effect0.toP1()
     
    default P1<Validation<Z,A>>
    Try0.toP1()
     
    default P1<Unit>
    TryEffect0.toP1()
     
    Methods in fj.function that return types with arguments of type P1
    Modifier and Type
    Method
    Description
    static <A, B> F<P1<B>,F<A,B>>
    Visitor.associationLazy(List<P2<A,B>> x, Equal<A> eq)
    Uses an association list to perform a lookup with equality and returns a function that can be applied to a default, followed by the associated key to return a value.