Uses of Class
com.jnape.palatable.lambda.adt.hlist.Tuple2
Packages that use Tuple2
Package
Description
-
Uses of Tuple2 in com.jnape.palatable.lambda.adt
Fields in com.jnape.palatable.lambda.adt declared as Tuple2Methods in com.jnape.palatable.lambda.adt that return Tuple2Modifier and TypeMethodDescriptionMaybe.project()
Project this coproduct onto a product, such that the index in the product that corresponds to this coproduct's value is present, while the other indices are absent.Constructors in com.jnape.palatable.lambda.adt with parameters of type Tuple2 -
Uses of Tuple2 in com.jnape.palatable.lambda.adt.choice
Methods in com.jnape.palatable.lambda.adt.choice that return Tuple2 -
Uses of Tuple2 in com.jnape.palatable.lambda.adt.hlist
Methods in com.jnape.palatable.lambda.adt.hlist with type parameters of type Tuple2Modifier and TypeMethodDescription<_2Prime,
App extends Applicative<?, App>, TravB extends Traversable<_2Prime, Tuple2<_1, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravTuple2.traverse
(Fn1<? super _2, ? extends Applicative<_2Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.Methods in com.jnape.palatable.lambda.adt.hlist that return Tuple2Modifier and TypeMethodDescription<_1Prime,
_2Prime>
Tuple2<_1Prime, _2Prime> Dually map covariantly over both the left and right parameters.Covariantly map over the left parameter.Covariantly map over the right parameter.Update the accumulated state.SingletonHList.cons
(_0 _0) Cons an element onto the front of this HList.Tuple2.discardL
(Applicative<_2Prime, Tuple2<_1, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Tuple2.discardR
(Applicative<_2Prime, Tuple2<_1, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.static <A> Tuple2
<A, A> Tuple2.fill
(A a) Given a value of typeA
, produce an instance of this tuple with each slot set to that value.Chain dependent computations that may continue or short-circuit based on previous results.Covariantly transmute this functor's parameter using the given mapping function.static <K,
V> Tuple2 <K, V> Static factory method for creatingTuple2
s fromMap.Entry
s.Tuple3.init()
Tuple2.invert()
Rotate the first two slots of this product.Map the accumulation into a value and pair it with the current output.Tuple2.pure
(_2Prime _2Prime) Lift the valueb
into this applicative functor.SingletonHList.snoc
(_2 _2) Snoc an element onto the back of thisSingletonHList
.Tuple2.trampolineM
(Fn1<? super _2, ? extends MonadRec<RecursiveResult<_2, _2Prime>, Tuple2<_1, ?>>> fn) Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.static <_1,
_2> Tuple2 <_1, _2> HList.tuple
(_1 _1, _2 _2) Static factory method for creating a 2-element HList.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Methods in com.jnape.palatable.lambda.adt.hlist that return types with arguments of type Tuple2Modifier and TypeMethodDescriptionTuple2.fromIterable
(Iterable<A> as) Tuple2.lazyZip
(Lazy<? extends Applicative<Fn1<? super _2, ? extends _2Prime>, Tuple2<_1, ?>>> lazyAppFn) Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Map the accumulation into a value and pair it with the current output.Tuple2.pureTuple
(_1 _1) Method parameters in com.jnape.palatable.lambda.adt.hlist with type arguments of type Tuple2Modifier and TypeMethodDescriptionTuple2.discardL
(Applicative<_2Prime, Tuple2<_1, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Tuple2.discardR
(Applicative<_2Prime, Tuple2<_1, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Chain dependent computations that may continue or short-circuit based on previous results.Tuple2.lazyZip
(Lazy<? extends Applicative<Fn1<? super _2, ? extends _2Prime>, Tuple2<_1, ?>>> lazyAppFn) Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Tuple2.trampolineM
(Fn1<? super _2, ? extends MonadRec<RecursiveResult<_2, _2Prime>, Tuple2<_1, ?>>> fn) Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Constructors in com.jnape.palatable.lambda.adt.hlist with parameters of type Tuple2 -
Uses of Tuple2 in com.jnape.palatable.lambda.adt.hmap
Methods in com.jnape.palatable.lambda.adt.hmap that return types with arguments of type Tuple2Modifier and TypeMethodDescriptionIterator
<Tuple2<TypeSafeKey<?, ?>, Object>> HMap.iterator()
Schema.schema
(TypeSafeKey<?, A> aKey, TypeSafeKey<?, B> bKey) Create aSchema
from twoTypeSafeKeys
. -
Uses of Tuple2 in com.jnape.palatable.lambda.functions
Methods in com.jnape.palatable.lambda.functions that return types with arguments of type Tuple2Modifier and TypeMethodDescriptionFn1.carry()
Pair the covariantly-positioned carrier type with the contravariantly-positioned carrier type.Fn1.cartesian()
Pair a value with the input to this function, and preserve the paired value through to the output.Fn1.cartesian()
Pair a value with the input to this function, and preserve the paired value through to the output.Map the accumulation into a value and pair it with the current output.Method parameters in com.jnape.palatable.lambda.functions with type arguments of type Tuple2 -
Uses of Tuple2 in com.jnape.palatable.lambda.functions.builtin.fn1
Methods in com.jnape.palatable.lambda.functions.builtin.fn1 that return types with arguments of type Tuple2 -
Uses of Tuple2 in com.jnape.palatable.lambda.functions.builtin.fn2
Methods in com.jnape.palatable.lambda.functions.builtin.fn2 that return Tuple2Modifier and TypeMethodDescriptionstatic <A,
B, C> Tuple2 <B, C> Partition.checkedApply
(Fn1<? super A, ? extends CoProduct2<B, C, ?>> function, Iterable<A> as) Tupler2.checkedApply
(A a, B b) Partition.partition
(Fn1<? super A, ? extends CoProduct2<B, C, ?>> function, Iterable<A> as) static <A,
B> Tuple2 <A, B> Tupler2.tupler
(A a, B b) Methods in com.jnape.palatable.lambda.functions.builtin.fn2 that return types with arguments of type Tuple2Modifier and TypeMethodDescriptionCartesianProduct.cartesianProduct
(Iterable<A> as) CartesianProduct.cartesianProduct
(Iterable<A> as, Iterable<B> bs) CartesianProduct.checkedApply
(Iterable<A> as, Iterable<B> bs) Zip.checkedApply
(Iterable<A> as, Iterable<B> bs) Partition.partition
(Fn1<? super A, ? extends CoProduct2<B, C, ?>> function) Tupler2.tupler
(A a) Method parameters in com.jnape.palatable.lambda.functions.builtin.fn2 with type arguments of type Tuple2 -
Uses of Tuple2 in com.jnape.palatable.lambda.functor
Methods in com.jnape.palatable.lambda.functor that return types with arguments of type Tuple2 -
Uses of Tuple2 in com.jnape.palatable.lambda.functor.builtin
Fields in com.jnape.palatable.lambda.functor.builtin with type parameters of type Tuple2Methods in com.jnape.palatable.lambda.functor.builtin that return Tuple2Modifier and TypeMethodDescriptionRun the stateful computation, returning aTuple2
of the result and the final state.Methods in com.jnape.palatable.lambda.functor.builtin that return types with arguments of type Tuple2Modifier and TypeMethodDescriptionMap the accumulation into a value and pair it with the current output.Map the accumulation into a value and pair it with the current output.Methods in com.jnape.palatable.lambda.functor.builtin with parameters of type Tuple2Modifier and TypeMethodDescriptionstatic <W,
A> Writer <W, A> Construct aWriter
from an accumulation and a value.Method parameters in com.jnape.palatable.lambda.functor.builtin with type arguments of type Tuple2Modifier and TypeMethodDescriptionMap both the result and the final state to a new result and final state.Map both the result and the final state to a new result and final state.static <S,
A> State <S, A> Create aState
fromstateFn
, a function that maps an initial state into a result and a final state.Constructor parameters in com.jnape.palatable.lambda.functor.builtin with type arguments of type Tuple2 -
Uses of Tuple2 in com.jnape.palatable.lambda.internal.iteration
Fields in com.jnape.palatable.lambda.internal.iteration with type parameters of type Tuple2Methods in com.jnape.palatable.lambda.internal.iteration that return Tuple2Constructor parameters in com.jnape.palatable.lambda.internal.iteration with type arguments of type Tuple2 -
Uses of Tuple2 in com.jnape.palatable.lambda.monad
Methods in com.jnape.palatable.lambda.monad that return types with arguments of type Tuple2 -
Uses of Tuple2 in com.jnape.palatable.lambda.monad.transformer.builtin
Fields in com.jnape.palatable.lambda.monad.transformer.builtin with type parameters of type Tuple2Modifier and TypeFieldDescriptionprivate final ImmutableQueue
<Choice2<Fn0<MonadRec<Maybe<Tuple2<A, IterateT<M, A>>>, M>>, MonadRec<A, M>>> IterateT.spine
StateT.stateFn
WriterT.writerFn
Methods in com.jnape.palatable.lambda.monad.transformer.builtin with type parameters of type Tuple2Modifier and TypeMethodDescriptionIterateT.runIterateT()
Recover the full structure of the embeddedMonad
.IterateT.runStep()
WriterT.runWriterT
(Monoid<W> monoid) Given aMonoid
for the accumulation, run the computation represented by thisWriterT
inside themonadic effect
, accumulate the written output in terms of theMonoid
, and produce the accumulation and the result inside theMonad
.Methods in com.jnape.palatable.lambda.monad.transformer.builtin that return types with arguments of type Tuple2Modifier and TypeMethodDescriptionReaderT.carry()
Pair the covariantly-positioned carrier type with the contravariantly-positioned carrier type.ReaderT.cartesian()
Pair some typeC
to this profunctor's carrier types.ReaderT.cartesian()
Pair some typeC
to this profunctor's carrier types.Map the accumulation into a value and pair it with the current output.Map the accumulation into a value and pair it with the current output.Method parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type Tuple2Modifier and TypeMethodDescriptionMap both the result and the final state to a new result and final state inside theMonad
.Map both the result and the final state to a new result and final state inside theMonad
.Lift a state-sensitivemonadically embedded
computation intoStateT
.Constructor parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type Tuple2 -
Uses of Tuple2 in com.jnape.palatable.lambda.monoid.builtin
Methods in com.jnape.palatable.lambda.monoid.builtin that return Tuple2Methods in com.jnape.palatable.lambda.monoid.builtin that return types with arguments of type Tuple2Modifier and TypeMethodDescriptionCollapse.checkedApply
(Monoid<_1> _1Monoid, Monoid<_2> _2Monoid) static <_1,
_2> MonoidFactory <Monoid<_2>, Tuple2<_1, _2>> Methods in com.jnape.palatable.lambda.monoid.builtin with parameters of type Tuple2 -
Uses of Tuple2 in com.jnape.palatable.lambda.optics
Methods in com.jnape.palatable.lambda.optics that return Tuple2Methods in com.jnape.palatable.lambda.optics that return types with arguments of type Tuple2Modifier and TypeMethodDescriptionstatic <S,
A, B> Lens.Simple <S, Tuple2<A, B>> Lens.both
(Lens.Simple<S, A> f, Lens.Simple<S, B> g) Dually focus on two simple lenses at the same time.Dually focus on two lenses at the same time.Dually focus on two lenses at the same time.static <S,
A, B> Lens.Simple <S, Tuple2<A, B>> Specialization ofLens.both(Lens, Lens)
for simple lenses. -
Uses of Tuple2 in com.jnape.palatable.lambda.semigroup.builtin
Methods in com.jnape.palatable.lambda.semigroup.builtin that return Tuple2Modifier and TypeMethodDescriptionstatic <_1,
_2> Tuple2 <_1, _2> Collapse.collapse
(Semigroup<_1> _1Semigroup, Semigroup<_2> _2Semigroup, Tuple2<_1, _2> x, Tuple2<_1, _2> y) Methods in com.jnape.palatable.lambda.semigroup.builtin that return types with arguments of type Tuple2Modifier and TypeMethodDescriptionCollapse.checkedApply
(Semigroup<_1> _1Semigroup, Semigroup<_2> _2Semigroup) static <_1,
_2> SemigroupFactory <Semigroup<_2>, Tuple2<_1, _2>> Methods in com.jnape.palatable.lambda.semigroup.builtin with parameters of type Tuple2