Uses of Class
com.jnape.palatable.lambda.adt.hlist.Tuple4
Packages that use Tuple4
Package
Description
-
Uses of Tuple4 in com.jnape.palatable.lambda.adt.choice
Methods in com.jnape.palatable.lambda.adt.choice that return Tuple4 -
Uses of Tuple4 in com.jnape.palatable.lambda.adt.hlist
Methods in com.jnape.palatable.lambda.adt.hlist with type parameters of type Tuple4Modifier and TypeMethodDescription<_4Prime,
App extends Applicative<?, App>, TravB extends Traversable<_4Prime, Tuple4<_1, _2, _3, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravTuple4.traverse
(Fn1<? super _4, ? extends Applicative<_4Prime, 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 Tuple4Modifier and TypeMethodDescriptionDually map covariantly over both the left and right parameters.Covariantly map over the left parameter.Covariantly map over the right parameter.Tuple3.cons
(_0 _0) Cons an element onto the front of this HList.Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.static <A> Tuple4
<A, A, A, A> Tuple4.fill
(A a) Given a value of typeA
, produced 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.Tuple5.init()
Tuple4.invert()
Rotate the first two slots of this product.Tuple4.pure
(_4Prime _4Prime) Lift the valueb
into this applicative functor.Tuple4.rotateL3()
Rotate the first three values of this product one slot to the left.Tuple4.rotateL4()
Rotate the first four values of this product one slot to the left.Tuple4.rotateR3()
Rotate the first three values of this product one slot to the right.Tuple4.rotateR4()
Rotate the first four values of this product one slot to the right.Tuple3.snoc
(_4 _4) Snoc an element onto the back of thisTuple3
.Tuple4.trampolineM
(Fn1<? super _4, ? extends MonadRec<RecursiveResult<_4, _4Prime>, Tuple4<_1, _2, _3, ?>>> fn) Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.static <_1,
_2, _3, _4>
Tuple4<_1, _2, _3, _4> HList.tuple
(_1 _1, _2 _2, _3 _3, _4 _4) Static factory method for creating a 4-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 Tuple4Modifier and TypeMethodDescriptionTuple4.fromIterable
(Iterable<A> as) Tuple4.lazyZip
(Lazy<? extends Applicative<Fn1<? super _4, ? extends _4Prime>, Tuple4<_1, _2, _3, ?>>> lazyAppFn) Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Tuple4.pureTuple
(_1 _1, _2 _2, _3 _3) Method parameters in com.jnape.palatable.lambda.adt.hlist with type arguments of type Tuple4Modifier and TypeMethodDescriptionSequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Chain dependent computations that may continue or short-circuit based on previous results.Tuple4.lazyZip
(Lazy<? extends Applicative<Fn1<? super _4, ? extends _4Prime>, Tuple4<_1, _2, _3, ?>>> lazyAppFn) Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Tuple4.trampolineM
(Fn1<? super _4, ? extends MonadRec<RecursiveResult<_4, _4Prime>, Tuple4<_1, _2, _3, ?>>> 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 Tuple4 -
Uses of Tuple4 in com.jnape.palatable.lambda.adt.hmap
Methods in com.jnape.palatable.lambda.adt.hmap that return types with arguments of type Tuple4Modifier and TypeMethodDescriptionSchema.schema
(TypeSafeKey<?, A> aKey, TypeSafeKey<?, B> bKey, TypeSafeKey<?, C> cKey, TypeSafeKey<?, D> dKey) Create aSchema
from fourTypeSafeKeys
.