Uses of Class
fj.P1
-
Packages that use P1 Package Description fj Types that set the premise for the existence of Functional Java.fj.control Functional control abstractions.fj.control.parallel Parallelization strategies.fj.data Common algebraic data types.fj.data.optic Optic data types adapted from the Scala Monocle library and inspired by the Haskell Lens library.fj.data.vector Fixed-length vectorsfj.function 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 class
P1.Memo<A>
(package private) static class
P1.ReferenceMemo<A>
(package private) static class
P1.SoftReferenceMemo<A>
(package private) static class
P1.WeakReferenceMemo<A>
Fields in fj with type parameters of type P1 Modifier and Type Field Description private java.lang.ref.Reference<P1<A>>
P1.ReferenceMemo. v
Methods in fj that return P1 Modifier and Type Method Description P1<A>
P2. _1_()
Returns the 1-product projection over the first element.P1<A>
P3. _1_()
Returns the 1-product projection over the first element.P1<A>
P4. _1_()
Returns the 1-product projection over the first element.P1<A>
P5. _1_()
Returns the 1-product projection over the first element.P1<A>
P6. _1_()
Returns the 1-product projection over the first element.P1<A>
P7. _1_()
Returns the 1-product projection over the first element.P1<A>
P8. _1_()
Returns the 1-product projection over the first element.P1<B>
P2. _2_()
Returns the 1-product projection over the second element.P1<B>
P3. _2_()
Returns the 1-product projection over the second element.P1<B>
P4. _2_()
Returns the 1-product projection over the second element.P1<B>
P5. _2_()
Returns the 1-product projection over the second element.P1<B>
P6. _2_()
Returns the 1-product projection over the second element.P1<B>
P7. _2_()
Returns the 1-product projection over the second element.P1<B>
P8. _2_()
Returns the 1-product projection over the second element.P1<C>
P3. _3_()
Returns the 1-product projection over the third element.P1<C>
P4. _3_()
Returns the 1-product projection over the third element.P1<C>
P5. _3_()
Returns the 1-product projection over the third element.P1<C>
P6. _3_()
Returns the 1-product projection over the third element.P1<C>
P7. _3_()
Returns the 1-product projection over the third element.P1<C>
P8. _3_()
Returns the 1-product projection over the third element.P1<D>
P4. _4_()
Returns the 1-product projection over the fourth element.P1<D>
P5. _4_()
Returns the 1-product projection over the fourth element.P1<D>
P6. _4_()
Returns the 1-product projection over the fourth element.P1<D>
P7. _4_()
Returns the 1-product projection over the fourth element.P1<D>
P8. _4_()
Returns the 1-product projection over the fourth element.P1<E>
P5. _5_()
Returns the 1-product projection over the fifth element.P1<E>
P6. _5_()
Returns the 1-product projection over the fifth element.P1<E>
P7. _5_()
Returns the 1-product projection over the fifth element.P1<E>
P8. _5_()
Returns the 1-product projection over the fifth element.P1<F>
P6. _6_()
Returns the 1-product projection over the sixth element.P1<F>
P7. _6_()
Returns the 1-product projection over the sixth element.P1<F>
P8. _6_()
Returns the 1-product projection over the sixth element.P1<G>
P7. _7_()
Returns the 1-product projection over the seventh element.P1<G>
P8. _7_()
Returns the 1-product projection over the seventh element.P1<H>
P8. _8_()
Returns the 1-product projection over the eighth element.<B> P1<B>
P1. apply(P1<F<A,B>> cf)
Performs function application within a P1 (applicative functor pattern).<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.<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.<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_(java.lang.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 java.lang.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 java.lang.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>
P1. hardMemo()
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()
.<B,C>
P1<C>P1. liftM2(P1<B> pb, F2<A,B,C> f)
<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 usingP.weakMemo(F0)
.P1<A>
P1. memo()
Wrap the memoized value into aWeakReference
.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>
P1. softMemo()
Likememo
, but the memoized value is wrapped into aSoftReference
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>
P1. weakMemo()
Likememo
, but the memoized value is wrapped into aWeakReference
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 thetuple-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>>>
P1. sequenceList()
A first-class version of the sequence method for lists of P1s.static <A> F<List<P1<A>>,P1<List<A>>>
P1. sequenceList()
A first-class version of the sequence method for lists of P1s.<B,X>
Either<X,P1<B>>P1. traverseEither(F<A,Either<X,B>> f)
Traversable instance of P1 for Either<B> List<P1<B>>
P1. traverseList(F<A,List<B>> f)
Traversable instance of P1 for List<B> Option<P1<B>>
P1. traverseOption(F<A,Option<B>> f)
Traversable instance of P1 for Option<B> Stream<P1<B>>
P1. traverseStream(F<A,Stream<B>> f)
Traversable instance of P1 for Stream<B,E>
Validation<E,P1<B>>P1. traverseValidation(F<A,Validation<E,B>> f)
Traversable instance of P1 for ValidationMethods in fj with parameters of type P1 Modifier and Type Method Description <B> P1<B>
P1. apply(P1<F<A,B>> cf)
Performs function application within a P1 (applicative functor pattern).<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.<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.<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 <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 P1<Trampoline<A>>
Trampoline.Suspend. suspension
Methods in fj.control that return types with arguments of type P1 Modifier and Type Method Description Either<P1<Trampoline<A>>,A>
Trampoline.Codense. resume()
Either<P1<Trampoline<A>>,A>
Trampoline.Pure. resume()
abstract Either<P1<Trampoline<A>>,A>
Trampoline. resume()
Runs a single step of this computation.Either<P1<Trampoline<A>>,A>
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 Constructor Description Suspend(P1<Trampoline<A>> s)
-
Uses of P1 in fj.control.parallel
Fields in fj.control.parallel with type parameters of type P1 Modifier and Type Field Description private Actor<P2<Either<P1<A>,Actor<A>>,Promise<A>>>
Promise. actor
private F<A,P1<Unit>>
Actor. f
private F<P1<A>,P1<A>>
Strategy. f
private F<P1<A>,P1<A>>
Strategy. f
Methods in fj.control.parallel that return P1 Modifier and Type Method Description P1<Unit>
Actor. act(A a)
Pass a message to this actor, applying its side-effect to the message.static <A> P1<Either<java.lang.Exception,A>>
Callables. either(java.util.concurrent.Callable<A> a)
Turns the given Callable into either an exception or the value in the Callable.static <A> P1<A>
Strategy. obtain(java.util.concurrent.Future<A> t)
Provides a product-1 that waits for the given future to obtain a value.static <A> P1<Option<A>>
Callables. option(java.util.concurrent.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.P1<List<A>>
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<java.util.concurrent.Callable<A>,P1<Either<java.lang.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<java.lang.Exception,A>>,java.util.concurrent.Callable<A>>
Callables. fromEither()
Returns a transformation from an Either to a Callable.static <A> F<P1<Option<A>>,java.util.concurrent.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<java.util.concurrent.Future<A>> xs)
Waits for every Future in a list to obtain a value, and collects those values in a list.static <A> F<java.util.concurrent.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<java.util.concurrent.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<A>
Strategy. contramap(F<P1<A>,P1<A>> f)
Maps the given transformation across this strategy's codomain (Invariant Functor pattern).Strategy<A>
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<A>
Strategy. map(F<P1<A>,P1<A>> f)
Maps the given transformation across this strategy's domain (Invariant Functor pattern).Strategy<A>
Strategy. map(F<P1<A>,P1<A>> f)
Maps the given transformation across this strategy's domain (Invariant Functor pattern).P1<List<A>>
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 Constructor Description Actor(Strategy<Unit> s, F<A,P1<Unit>> e)
Promise(Strategy<Unit> s, Actor<P2<Either<P1<A>,Actor<A>>,Promise<A>>> qa)
Strategy(F<P1<A>,P1<A>> f)
Strategy(F<P1<A>,P1<A>> f)
-
Uses of P1 in fj.data
Subclasses of P1 in fj.data Modifier and Type Class Description 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 P1<Eval<A>>
Eval.DeferEval. memo
private P1<A>
Eval.Later. memo
private P1<Stream<Tree<A>>>
Tree. subForest
private P1<Stream<A>>
Stream.Cons. tail
Fields in fj.data with type parameters of type P1 Modifier and Type Field Description private F<P2<A,Iteratee.Input<char[]>>,P1<Iteratee.IterV<char[],A>>>
IOFunctions.CharChunkReader. done
private F<P2<A,Iteratee.Input<java.lang.String>>,P1<Iteratee.IterV<java.lang.String,A>>>
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.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<java.io.IOException,A>>
IOFunctions. p(IO<A> io)
static <B> P1<List<B>>
List. sequenceP1(List<P1<B>> list)
Sequence the given list and collect the output as a P1.static <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 <E,C>
P1<Validation<E,C>>Validation. sequenceP1(Validation<E,P1<C>> validation)
Sequence the given validation and collect the output as a P1.P1<Stream<Tree<A>>>
Tree. subForest()
Returns a stream of the tree's subtrees.static <A> P1<A>
Java8. Supplier_P1(java.util.function.Supplier<A> s)
P1<Stream<A>>
Stream.Cons. tail()
P1<Stream<A>>
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)
<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.<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.<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 java.lang.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<java.util.concurrent.Future<A>,P1<Either<java.lang.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>,java.util.concurrent.Callable<A>>
Java. P1_Callable()
static <A> F<P1<A>,java.util.function.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<java.lang.String,Either<A,java.lang.Character>>>
Conversions. String_Either()
A function that converts string to eithers.static <A> F<P1<A>,F<java.lang.StringBuffer,Either<A,java.lang.Character>>>
Conversions. StringBuffer_Either()
A function that converts string buffers to eithers.static <A> F<P1<A>,F<java.lang.StringBuilder,Either<A,java.lang.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<java.util.function.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> java.util.function.Supplier<A>
Java8. P1_Supplier(P1<A> p)
Method parameters in fj.data with type arguments of type P1 Modifier and Type Method Description <B> B
Stream. foldRight(F<A,F<P1<B>,B>> f, B b)
Performs a right-fold reduction across this stream.<B> B
Stream. foldRight(F2<A,P1<B>,B> f, B b)
Performs a right-fold reduction across this stream.static <B> P1<List<B>>
List. sequenceP1(List<P1<B>> list)
Sequence the given list and collect the output as a P1.static <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 <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)
<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.<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.<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.<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 Constructor Description 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)
F<S,P1<T>>
PIso. modifyP1F(F<A,P1<B>> f)
modify polymorphically the target of aPIso
with an Applicative functionabstract F<S,P1<T>>
PLens. modifyP1F(F<A,P1<B>> f)
modify polymorphically the target of aPLens
with an Applicative functionabstract F<S,P1<T>>
POptional. modifyP1F(F<A,P1<B>> f)
modify polymorphically the target of aPOptional
with an Applicative functionF<S,P1<T>>
PPrism. modifyP1F(F<A,P1<B>> f)
modify polymorphically the target of aPPrism
with an Applicative functionabstract F<S,P1<T>>
PTraversal. modifyP1F(F<A,P1<B>> f)
modify polymorphically the target of aPTraversal
with an Applicative functionF<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)
F<S,P1<T>>
PIso. modifyP1F(F<A,P1<B>> f)
modify polymorphically the target of aPIso
with an Applicative functionabstract F<S,P1<T>>
PLens. modifyP1F(F<A,P1<B>> f)
modify polymorphically the target of aPLens
with an Applicative functionabstract F<S,P1<T>>
POptional. modifyP1F(F<A,P1<B>> f)
modify polymorphically the target of aPOptional
with an Applicative functionF<S,P1<T>>
PPrism. modifyP1F(F<A,P1<B>> f)
modify polymorphically the target of aPPrism
with an Applicative functionabstract F<S,P1<T>>
PTraversal. modifyP1F(F<A,P1<B>> f)
modify polymorphically the target of aPTraversal
with an Applicative functionF<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 P1<A>
V3. head
private P1<A>
V4. head
private P1<A>
V5. head
private P1<A>
V6. head
private P1<A>
V7. head
private 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 Constructor Description V3(P1<A> head, V2<A> tail)
V4(P1<A> head, V3<A> tail)
V5(P1<A> head, V4<A> tail)
V6(P1<A> head, V5<A> tail)
V7(P1<A> head, V6<A> tail)
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.
-