Uses of Class
com.jnape.palatable.lambda.adt.hlist.Tuple8
Packages that use Tuple8
Package
Description
-
Uses of Tuple8 in com.jnape.palatable.lambda.adt.choice
Methods in com.jnape.palatable.lambda.adt.choice that return Tuple8 -
Uses of Tuple8 in com.jnape.palatable.lambda.adt.hlist
Methods in com.jnape.palatable.lambda.adt.hlist with type parameters of type Tuple8Modifier and TypeMethodDescription<_8Prime,
App extends Applicative<?, App>, TravB extends Traversable<_8Prime, Tuple8<_1, _2, _3, _4, _5, _6, _7, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravTuple8.traverse
(Fn1<? super _8, ? extends Applicative<_8Prime, 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 Tuple8Modifier and TypeMethodDescriptionDually map covariantly over both the left and right parameters.Covariantly map over the left parameter.Covariantly map over the right parameter.Tuple7.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> Tuple8
<A, A, A, A, A, A, A, A> Tuple8.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.Tuple8.invert()
Rotate the first two slots of this product.Tuple8.pure
(_8Prime _8Prime) Lift the valueb
into this applicative functor.Tuple8.rotateL3()
Rotate the first three values of this product one slot to the left.Tuple8.rotateL4()
Rotate the first four values of this product one slot to the left.Tuple8.rotateL5()
Rotate the first five values of this product one slot to the left.Tuple8.rotateL6()
Rotate the first six values of this product one slot to the left.Tuple8.rotateL7()
Rotate the first seven values of this product one slot to the left.Tuple8.rotateL8()
Rotate all eight values of this product one slot to the left.Tuple8.rotateR3()
Rotate the first three values of this product one slot to the right.Tuple8.rotateR4()
Rotate the first four values of this product one slot to the right.Tuple8.rotateR5()
Rotate the first five values of this product one slot to the right.Tuple8.rotateR6()
Rotate the first six values of this product one slot to the right.Tuple8.rotateR7()
Rotate the first seven values of this product one slot to the right.Tuple8.rotateR8()
Rotate all eight values of this product one slot to the right.Tuple7.snoc
(_8 _8) Snoc an element onto the back of thisTuple7
.Tuple8.trampolineM
(Fn1<? super _8, ? extends MonadRec<RecursiveResult<_8, _8Prime>, Tuple8<_1, _2, _3, _4, _5, _6, _7, ?>>> fn) Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.static <_1,
_2, _3, _4, _5, _6, _7, _8>
Tuple8<_1, _2, _3, _4, _5, _6, _7, _8> HList.tuple
(_1 _1, _2 _2, _3 _3, _4 _4, _5 _5, _6 _6, _7 _7, _8 _8) Static factory method for creating an 8-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 Tuple8Modifier and TypeMethodDescriptionTuple8.cons
(_0 _0) Cons an element onto the front of this HList.Tuple8.fromIterable
(Iterable<A> as) Tuple8.lazyZip
(Lazy<? extends Applicative<Fn1<? super _8, ? extends _8Prime>, Tuple8<_1, _2, _3, _4, _5, _6, _7, ?>>> lazyAppFn) Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Tuple8.pureTuple
(_1 _1, _2 _2, _3 _3, _4 _4, _5 _5, _6 _6, _7 _7) Tuple8.snoc
(_9 _9) Snoc an element onto the back of thisTuple8
.Method parameters in com.jnape.palatable.lambda.adt.hlist with type arguments of type Tuple8Modifier 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.Tuple8.lazyZip
(Lazy<? extends Applicative<Fn1<? super _8, ? extends _8Prime>, Tuple8<_1, _2, _3, _4, _5, _6, _7, ?>>> lazyAppFn) Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Tuple8.trampolineM
(Fn1<? super _8, ? extends MonadRec<RecursiveResult<_8, _8Prime>, Tuple8<_1, _2, _3, _4, _5, _6, _7, ?>>> 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. -
Uses of Tuple8 in com.jnape.palatable.lambda.adt.hmap
Methods in com.jnape.palatable.lambda.adt.hmap that return types with arguments of type Tuple8Modifier and TypeMethodDescriptionSchema.schema
(TypeSafeKey<?, A> aKey, TypeSafeKey<?, B> bKey, TypeSafeKey<?, C> cKey, TypeSafeKey<?, D> dKey, TypeSafeKey<?, E> eKey, TypeSafeKey<?, F> fKey, TypeSafeKey<?, G> gKey, TypeSafeKey<?, H> hKey) Create aSchema
from eightTypeSafeKeys
.