Class Tuple8<_1,_2,_3,_4,_5,_6,_7,_8>

java.lang.Object

com.jnape.palatable.lambda.adt.hlist.HList

com.jnape.palatable.lambda.adt.hlist.HList.HCons<_1, Tuple7<_2,_3,_4,_5,_6,_7,_8>>

com.jnape.palatable.lambda.adt.hlist.Tuple8<_1,_2,_3,_4,_5,_6,_7,_8>

Type Parameters:

_1 - The first slot element type

_2 - The second slot element type

_3 - The third slot element type

_4 - The fourth slot element type

_5 - The fifth slot element type

_6 - The sixth slot element type

_7 - The seventh slot element type

_8 - The eighth slot element type

All Implemented Interfaces:

Product2<_1,_2>, Product3<_1,_2,_3>, Product4<_1,_2,_3,_4>, Product5<_1,_2,_3,_4,_5>, Product6<_1,_2,_3,_4,_5,_6>, Product7<_1,_2,_3,_4,_5,_6,_7>, Product8<_1,_2,_3,_4,_5,_6,_7,_8>, Applicative<_8, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>, Bifunctor<_7, _8, Tuple8<_1,_2,_3,_4,_5,_6,?,?>>, BoundedBifunctor<_7, _8, Object, Object, Tuple8<_1,_2,_3,_4,_5,_6,?,?>>, Functor<_8, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>, Monad<_8, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>, MonadRec<_8, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>, Traversable<_8, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>, Map.Entry<_1,_2>

public class Tuple8<_1,_2,_3,_4,_5,_6,_7,_8>
extends HList.HCons<_1, Tuple7<_2,_3,_4,_5,_6,_7,_8>>
implements Product8<_1,_2,_3,_4,_5,_6,_7,_8>, MonadRec<_8, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>, Bifunctor<_7, _8, Tuple8<_1,_2,_3,_4,_5,_6,?,?>>, Traversable<_8, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>

An 8-element tuple product type, implemented as a specialized HList. Supports random access.

See Also:

• Product8
• HList
• SingletonHList
• Tuple2
• Tuple3
• Tuple4
• Tuple5
• Tuple6
• Tuple7

Nested Class Summary

Nested classes/interfaces inherited from class HList

HList.HCons<Head,Tail>, HList.HNil

Field Summary

Fields

Modifier and Type	Field	Description
private final _1	_1
private final _2	_2
private final _3	_3
private final _4	_4
private final _5	_5
private final _6	_6
private final _7	_7
private final _8	_8

Constructor Summary

Constructors

Constructor	Description
Tuple8(_1 _1, Tuple7<_2,_3,_4,_5,_6,_7,_8> tail)

Method Summary

Modifier and Type	Method	Description
_1	_1()	Retrieve the first element.
_2	_2()	Retrieve the second element.
_3	_3()	Retrieve the third element.
_4	_4()	Retrieve the fourth element.
_5	_5()	Retrieve the fifth element.
_6	_6()	Retrieve the sixth element.
_7	_7()	Retrieve the seventh element.
_8	_8()	Retrieve the eighth element.
<_7Prime,_8Prime> Tuple8<_1,_2,_3,_4,_5,_6,_7Prime,_8Prime>	biMap(Fn1<? super _7, ? extends _7Prime> lFn, Fn1<? super _8, ? extends _8Prime> rFn)	Dually map covariantly over both the left and right parameters.
<_7Prime> Tuple8<_1,_2,_3,_4,_5,_6,_7Prime,_8>	biMapL(Fn1<? super _7, ? extends _7Prime> fn)	Covariantly map over the left parameter.
<_8Prime> Tuple8<_1,_2,_3,_4,_5,_6,_7,_8Prime>	biMapR(Fn1<? super _8, ? extends _8Prime> fn)	Covariantly map over the right parameter.
<_0> HList.HCons<_0, Tuple8<_1,_2,_3,_4,_5,_6,_7,_8>>	cons(_0 _0)	Cons an element onto the front of this HList.
<_8Prime> Tuple8<_1,_2,_3,_4,_5,_6,_7,_8Prime>	discardL(Applicative<_8Prime, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<_8Prime> Tuple8<_1,_2,_3,_4,_5,_6,_7,_8>	discardR(Applicative<_8Prime, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
static <A> Tuple8<A,A,A,A,A,A,A,A>	fill(A a)	Given a value of type A, produced an instance of this tuple with each slot set to that value.
<_8Prime> Tuple8<_1,_2,_3,_4,_5,_6,_7,_8Prime>	flatMap(Fn1<? super _8, ? extends Monad<_8Prime, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>> f)	Chain dependent computations that may continue or short-circuit based on previous results.
<_8Prime> Tuple8<_1,_2,_3,_4,_5,_6,_7,_8Prime>	fmap(Fn1<? super _8, ? extends _8Prime> fn)	Covariantly transmute this functor's parameter using the given mapping function.
static <A> Maybe<Tuple8<A,A,A,A,A,A,A,A>>	fromIterable(Iterable<A> as)	Return just the first eight elements from the given Iterable, or nothing if there are less than eight elements.
Tuple7<_1,_2,_3,_4,_5,_6,_7>	init()	Returns a Tuple7<_1, _2, _3, _4, _5, _6, _7> of all the elements of this Tuple8<_1, _2, _3, _4, _5, _6, _7, _8> except the last.
Tuple8<_2,_1,_3,_4,_5,_6,_7,_8>	invert()	Rotate the first two slots of this product.
<_8Prime> Lazy<Tuple8<_1,_2,_3,_4,_5,_6,_7,_8Prime>>	lazyZip(Lazy<? extends Applicative<Fn1<? super _8, ? extends _8Prime>, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>> lazyAppFn)	Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
<_8Prime> Tuple8<_1,_2,_3,_4,_5,_6,_7,_8Prime>	pure(_8Prime _8Prime)	Lift the value b into this applicative functor.
static <_1,_2,_3,_4,_5,_6,_7> Pure<Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>	pureTuple(_1 _1, _2 _2, _3 _3, _4 _4, _5 _5, _6 _6, _7 _7)	The canonical Pure instance for Tuple8.
Tuple8<_2,_3,_1,_4,_5,_6,_7,_8>	rotateL3()	Rotate the first three values of this product one slot to the left.
Tuple8<_2,_3,_4,_1,_5,_6,_7,_8>	rotateL4()	Rotate the first four values of this product one slot to the left.
Tuple8<_2,_3,_4,_5,_1,_6,_7,_8>	rotateL5()	Rotate the first five values of this product one slot to the left.
Tuple8<_2,_3,_4,_5,_6,_1,_7,_8>	rotateL6()	Rotate the first six values of this product one slot to the left.
Tuple8<_2,_3,_4,_5,_6,_7,_1,_8>	rotateL7()	Rotate the first seven values of this product one slot to the left.
Tuple8<_2,_3,_4,_5,_6,_7,_8,_1>	rotateL8()	Rotate all eight values of this product one slot to the left.
Tuple8<_3,_1,_2,_4,_5,_6,_7,_8>	rotateR3()	Rotate the first three values of this product one slot to the right.
Tuple8<_4,_1,_2,_3,_5,_6,_7,_8>	rotateR4()	Rotate the first four values of this product one slot to the right.
Tuple8<_5,_1,_2,_3,_4,_6,_7,_8>	rotateR5()	Rotate the first five values of this product one slot to the right.
Tuple8<_6,_1,_2,_3,_4,_5,_7,_8>	rotateR6()	Rotate the first six values of this product one slot to the right.
Tuple8<_7,_1,_2,_3,_4,_5,_6,_8>	rotateR7()	Rotate the first seven values of this product one slot to the right.
Tuple8<_8,_1,_2,_3,_4,_5,_6,_7>	rotateR8()	Rotate all eight values of this product one slot to the right.
<_9> HList.HCons<_1, Tuple8<_2,_3,_4,_5,_6,_7,_8,_9>>	snoc(_9 _9)	Snoc an element onto the back of this Tuple8.
<_8Prime> Tuple8<_1,_2,_3,_4,_5,_6,_7,_8Prime>	trampolineM(Fn1<? super _8, ? extends MonadRec<RecursiveResult<_8,_8Prime>, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>> fn)	Given some operation yielding a RecursiveResult inside this MonadRec, internally trampoline the operation until it yields a termination instruction.
<_8Prime, App extends Applicative<?,App>, TravB extends Traversable<_8Prime, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>, AppTrav extends Applicative<TravB,App>> AppTrav	traverse(Fn1<? super _8, ? extends Applicative<_8Prime,App>> fn, Fn1<? super TravB, ? extends AppTrav> pure)	Apply fn 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.
<_8Prime> Tuple8<_1,_2,_3,_4,_5,_6,_7,_8Prime>	zip(Applicative<Fn1<? super _8, ? extends _8Prime>, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Methods inherited from class HList.HCons

equals, hashCode, head, tail

Methods inherited from class HList

cons, nil, singletonHList, toString, tuple, tuple, tuple, tuple, tuple, tuple, tuple

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface Functor

coerce

Methods inherited from interface Map.Entry

equals, hashCode

Methods inherited from interface Product2

getKey, getValue, into, setValue

Methods inherited from interface Product3

into

Methods inherited from interface Product4

into

Methods inherited from interface Product5

into

Methods inherited from interface Product6

into

Methods inherited from interface Product7

into

Methods inherited from interface Product8

into

Field Details

_1

private final _1 _1

_2

private final _2 _2

_3

private final _3 _3

_4

private final _4 _4

_5

private final _5 _5

_6

private final _6 _6

_7

private final _7 _7

_8

private final _8 _8

Constructor Details

Tuple8

Tuple8(_1 _1,
 Tuple7<_2,_3,_4,_5,_6,_7,_8> tail)

Method Details

cons

public <_0>
HList.HCons<_0, Tuple8<_1,_2,_3,_4,_5,_6,_7,_8>> cons(_0 _0)

Cons an element onto the front of this HList.

Overrides:

cons in class HList.HCons<_1, Tuple7<_2,_3,_4,_5,_6,_7,_8>>

Type Parameters:

_0 - the new head type

Parameters:

_0 - the new head element

Returns:

the updated HList

snoc

public <_9>
HList.HCons<_1, Tuple8<_2,_3,_4,_5,_6,_7,_8,_9>> snoc(_9 _9)

Snoc an element onto the back of this Tuple8.

Type Parameters:

_9 - the new last element type

Parameters:

_9 - the new last element

Returns:

the new consed Tuple8

_1

public _1 _1()

Retrieve the first element.

Specified by:

_1 in interface Product2<_1,_2>

Returns:

the first element

_2

public _2 _2()

Retrieve the second element.

Specified by:

_2 in interface Product2<_1,_2>

Returns:

the second element

_3

public _3 _3()

Retrieve the third element.

Specified by:

_3 in interface Product3<_1,_2,_3>

Returns:

the third element

_4

public _4 _4()

Retrieve the fourth element.

Specified by:

_4 in interface Product4<_1,_2,_3,_4>

Returns:

the fourth element

_5

public _5 _5()

Retrieve the fifth element.

Specified by:

_5 in interface Product5<_1,_2,_3,_4,_5>

Returns:

the fifth element

_6

public _6 _6()

Retrieve the sixth element.

Specified by:

_6 in interface Product6<_1,_2,_3,_4,_5,_6>

Returns:

the sixth element

_7

public _7 _7()

Retrieve the seventh element.

Specified by:

_7 in interface Product7<_1,_2,_3,_4,_5,_6,_7>

Returns:

the seventh element

_8

public _8 _8()

Retrieve the eighth element.

Specified by:

_8 in interface Product8<_1,_2,_3,_4,_5,_6,_7,_8>

Returns:

the eighth element

rotateL8

public Tuple8<_2,_3,_4,_5,_6,_7,_8,_1> rotateL8()

Rotate all eight values of this product one slot to the left.

Specified by:

rotateL8 in interface Product8<_1,_2,_3,_4,_5,_6,_7,_8>

Returns:

the left-rotated product

rotateR8

public Tuple8<_8,_1,_2,_3,_4,_5,_6,_7> rotateR8()

Rotate all eight values of this product one slot to the right.

Specified by:

rotateR8 in interface Product8<_1,_2,_3,_4,_5,_6,_7,_8>

Returns:

the right-rotated product

rotateL7

public Tuple8<_2,_3,_4,_5,_6,_7,_1,_8> rotateL7()

Rotate the first seven values of this product one slot to the left.

Specified by:

rotateL7 in interface Product7<_1,_2,_3,_4,_5,_6,_7>

Specified by:

rotateL7 in interface Product8<_1,_2,_3,_4,_5,_6,_7,_8>

Returns:

the left-rotated product

rotateR7

public Tuple8<_7,_1,_2,_3,_4,_5,_6,_8> rotateR7()

Rotate the first seven values of this product one slot to the right.

Specified by:

rotateR7 in interface Product7<_1,_2,_3,_4,_5,_6,_7>

Specified by:

rotateR7 in interface Product8<_1,_2,_3,_4,_5,_6,_7,_8>

Returns:

the right-rotated product

rotateL6

public Tuple8<_2,_3,_4,_5,_6,_1,_7,_8> rotateL6()

Rotate the first six values of this product one slot to the left.

Specified by:

rotateL6 in interface Product6<_1,_2,_3,_4,_5,_6>

Specified by:

rotateL6 in interface Product7<_1,_2,_3,_4,_5,_6,_7>

Specified by:

rotateL6 in interface Product8<_1,_2,_3,_4,_5,_6,_7,_8>

Returns:

the left-rotated product

rotateR6

public Tuple8<_6,_1,_2,_3,_4,_5,_7,_8> rotateR6()

Rotate the first six values of this product one slot to the right.

Specified by:

rotateR6 in interface Product6<_1,_2,_3,_4,_5,_6>

Specified by:

rotateR6 in interface Product7<_1,_2,_3,_4,_5,_6,_7>

Specified by:

rotateR6 in interface Product8<_1,_2,_3,_4,_5,_6,_7,_8>

Returns:

the right-rotated product

rotateL5

public Tuple8<_2,_3,_4,_5,_1,_6,_7,_8> rotateL5()

Rotate the first five values of this product one slot to the left.

Specified by:

rotateL5 in interface Product5<_1,_2,_3,_4,_5>

Specified by:

rotateL5 in interface Product6<_1,_2,_3,_4,_5,_6>

Specified by:

rotateL5 in interface Product7<_1,_2,_3,_4,_5,_6,_7>

Specified by:

rotateL5 in interface Product8<_1,_2,_3,_4,_5,_6,_7,_8>

Returns:

the left-rotated product

rotateR5

public Tuple8<_5,_1,_2,_3,_4,_6,_7,_8> rotateR5()

Rotate the first five values of this product one slot to the right.

Specified by:

rotateR5 in interface Product5<_1,_2,_3,_4,_5>

Specified by:

rotateR5 in interface Product6<_1,_2,_3,_4,_5,_6>

Specified by:

rotateR5 in interface Product7<_1,_2,_3,_4,_5,_6,_7>

Specified by:

rotateR5 in interface Product8<_1,_2,_3,_4,_5,_6,_7,_8>

Returns:

the right-rotated product

rotateL4

public Tuple8<_2,_3,_4,_1,_5,_6,_7,_8> rotateL4()

Rotate the first four values of this product one slot to the left.

Specified by:

rotateL4 in interface Product4<_1,_2,_3,_4>

Specified by:

rotateL4 in interface Product5<_1,_2,_3,_4,_5>

Specified by:

rotateL4 in interface Product6<_1,_2,_3,_4,_5,_6>

Specified by:

rotateL4 in interface Product7<_1,_2,_3,_4,_5,_6,_7>

Specified by:

rotateL4 in interface Product8<_1,_2,_3,_4,_5,_6,_7,_8>

Returns:

the left-rotated product

rotateR4

public Tuple8<_4,_1,_2,_3,_5,_6,_7,_8> rotateR4()

Rotate the first four values of this product one slot to the right.

Specified by:

rotateR4 in interface Product4<_1,_2,_3,_4>

Specified by:

rotateR4 in interface Product5<_1,_2,_3,_4,_5>

Specified by:

rotateR4 in interface Product6<_1,_2,_3,_4,_5,_6>

Specified by:

rotateR4 in interface Product7<_1,_2,_3,_4,_5,_6,_7>

Specified by:

rotateR4 in interface Product8<_1,_2,_3,_4,_5,_6,_7,_8>

Returns:

the right-rotated product

rotateL3

public Tuple8<_2,_3,_1,_4,_5,_6,_7,_8> rotateL3()

Rotate the first three values of this product one slot to the left.

Specified by:

rotateL3 in interface Product3<_1,_2,_3>

Specified by:

rotateL3 in interface Product4<_1,_2,_3,_4>

Specified by:

rotateL3 in interface Product5<_1,_2,_3,_4,_5>

Specified by:

rotateL3 in interface Product6<_1,_2,_3,_4,_5,_6>

Specified by:

rotateL3 in interface Product7<_1,_2,_3,_4,_5,_6,_7>

Specified by:

rotateL3 in interface Product8<_1,_2,_3,_4,_5,_6,_7,_8>

Returns:

the left-rotated product

rotateR3

public Tuple8<_3,_1,_2,_4,_5,_6,_7,_8> rotateR3()

Rotate the first three values of this product one slot to the right.

Specified by:

rotateR3 in interface Product3<_1,_2,_3>

Specified by:

rotateR3 in interface Product4<_1,_2,_3,_4>

Specified by:

rotateR3 in interface Product5<_1,_2,_3,_4,_5>

Specified by:

rotateR3 in interface Product6<_1,_2,_3,_4,_5,_6>

Specified by:

rotateR3 in interface Product7<_1,_2,_3,_4,_5,_6,_7>

Specified by:

rotateR3 in interface Product8<_1,_2,_3,_4,_5,_6,_7,_8>

Returns:

the right-rotated product

invert

public Tuple8<_2,_1,_3,_4,_5,_6,_7,_8> invert()

Rotate the first two slots of this product.

Specified by:

invert in interface Product2<_1,_2>

Specified by:

invert in interface Product3<_1,_2,_3>

Specified by:

invert in interface Product4<_1,_2,_3,_4>

Specified by:

invert in interface Product5<_1,_2,_3,_4,_5>

Specified by:

invert in interface Product6<_1,_2,_3,_4,_5,_6>

Specified by:

invert in interface Product7<_1,_2,_3,_4,_5,_6,_7>

Specified by:

invert in interface Product8<_1,_2,_3,_4,_5,_6,_7,_8>

Returns:

the rotated product

fmap

public <_8Prime>
Tuple8<_1,_2,_3,_4,_5,_6,_7,_8Prime> fmap(Fn1<? super _8, ? extends _8Prime> fn)

Covariantly transmute this functor's parameter using the given mapping function. Generally this method is specialized to return an instance of the class implementing Functor.

Specified by:

fmap in interface Applicative<_1,_2>

Specified by:

fmap in interface Functor<_1,_2>

Specified by:

fmap in interface Monad<_1,_2>

Specified by:

fmap in interface MonadRec<_1,_2>

Specified by:

fmap in interface Traversable<_1,_2>

Type Parameters:

_8Prime - the new parameter type

Parameters:

fn - the mapping function

Returns:

a functor over B (the new parameter type)

biMapL

public <_7Prime>
Tuple8<_1,_2,_3,_4,_5,_6,_7Prime,_8> biMapL(Fn1<? super _7, ? extends _7Prime> fn)

Covariantly map over the left parameter.

Specified by:

biMapL in interface Bifunctor<_1,_2,_3>

Specified by:

biMapL in interface BoundedBifunctor<_1,_2,_3,_4,_5>

Type Parameters:

_7Prime - the new left parameter type

Parameters:

fn - the mapping function

Returns:

a bifunctor over C (the new left parameter) and B (the same right parameter)

biMapR

public <_8Prime>
Tuple8<_1,_2,_3,_4,_5,_6,_7,_8Prime> biMapR(Fn1<? super _8, ? extends _8Prime> fn)

Covariantly map over the right parameter. For all bifunctors that are also functors, it should hold that biMapR(f) == fmap(f).

Specified by:

biMapR in interface Bifunctor<_1,_2,_3>

Specified by:

biMapR in interface BoundedBifunctor<_1,_2,_3,_4,_5>

Type Parameters:

_8Prime - the new right parameter type

Parameters:

fn - the mapping function

Returns:

a bifunctor over A (the same left parameter) and C (the new right parameter)

biMap

public <_7Prime,_8Prime>
Tuple8<_1,_2,_3,_4,_5,_6,_7Prime,_8Prime> biMap(Fn1<? super _7, ? extends _7Prime> lFn,
 Fn1<? super _8, ? extends _8Prime> rFn)

Dually map covariantly over both the left and right parameters. This is isomorphic to biMapL(lFn).biMapR(rFn).

Specified by:

biMap in interface Bifunctor<_1,_2,_3>

Specified by:

biMap in interface BoundedBifunctor<_1,_2,_3,_4,_5>

Type Parameters:

_7Prime - the new left parameter type

_8Prime - the new right parameter type

Parameters:

lFn - the left parameter mapping function

rFn - the right parameter mapping function

Returns:

a bifunctor over C (the new left parameter type) and D (the new right parameter type)

pure

public <_8Prime>
Tuple8<_1,_2,_3,_4,_5,_6,_7,_8Prime> pure(_8Prime _8Prime)

Lift the value b into this applicative functor.

Specified by:

pure in interface Applicative<_1,_2>

Specified by:

pure in interface Monad<_1,_2>

Specified by:

pure in interface MonadRec<_1,_2>

Type Parameters:

_8Prime - the type of the returned applicative's parameter

Parameters:

_8Prime - the value

Returns:

an instance of this applicative over b

zip

public <_8Prime>
Tuple8<_1,_2,_3,_4,_5,_6,_7,_8Prime> zip(Applicative<Fn1<? super _8, ? extends _8Prime>, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>> appFn)

Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Specified by:

zip in interface Applicative<_1,_2>

Specified by:

zip in interface Monad<_1,_2>

Specified by:

zip in interface MonadRec<_1,_2>

Type Parameters:

_8Prime - the resulting applicative parameter type

Parameters:

appFn - the other applicative instance

Returns:

the mapped applicative

lazyZip

public <_8Prime>
Lazy<Tuple8<_1,_2,_3,_4,_5,_6,_7,_8Prime>> lazyZip(Lazy<? extends Applicative<Fn1<? super _8, ? extends _8Prime>, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>> lazyAppFn)

Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports. This is useful for applicatives that support lazy evaluation and early termination.

Specified by:

lazyZip in interface Applicative<_1,_2>

Specified by:

lazyZip in interface Monad<_1,_2>

Specified by:

lazyZip in interface MonadRec<_1,_2>

Type Parameters:

_8Prime - the resulting applicative parameter type

Parameters:

lazyAppFn - the lazy other applicative instance

Returns:

the mapped applicative

See Also:

• Maybe
• Either

discardL

public <_8Prime>
Tuple8<_1,_2,_3,_4,_5,_6,_7,_8Prime> discardL(Applicative<_8Prime, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>> appB)

Sequence both this Applicative and appB, discarding this Applicative's result and returning appB. This is generally useful for sequentially performing side-effects.

Specified by:

discardL in interface Applicative<_1,_2>

Specified by:

discardL in interface Monad<_1,_2>

Specified by:

discardL in interface MonadRec<_1,_2>

Type Parameters:

_8Prime - the type of the returned Applicative's parameter

Parameters:

appB - the other Applicative

Returns:

appB

discardR

public <_8Prime> Tuple8<_1,_2,_3,_4,_5,_6,_7,_8> discardR(Applicative<_8Prime, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>> appB)

Sequence both this Applicative and appB, discarding appB's result and returning this Applicative. This is generally useful for sequentially performing side-effects.

Specified by:

discardR in interface Applicative<_1,_2>

Specified by:

discardR in interface Monad<_1,_2>

Specified by:

discardR in interface MonadRec<_1,_2>

Type Parameters:

_8Prime - the type of appB's parameter

Parameters:

appB - the other Applicative

Returns:

this Applicative

flatMap

public <_8Prime>
Tuple8<_1,_2,_3,_4,_5,_6,_7,_8Prime> flatMap(Fn1<? super _8, ? extends Monad<_8Prime, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>> f)

Chain dependent computations that may continue or short-circuit based on previous results.

Specified by:

flatMap in interface Monad<_1,_2>

Specified by:

flatMap in interface MonadRec<_1,_2>

Type Parameters:

_8Prime - the resulting monad parameter type

Parameters:

f - the dependent computation over A

Returns:

the new monad instance

trampolineM

public <_8Prime>
Tuple8<_1,_2,_3,_4,_5,_6,_7,_8Prime> trampolineM(Fn1<? super _8, ? extends MonadRec<RecursiveResult<_8,_8Prime>, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>> fn)

Given some operation yielding a RecursiveResult inside this MonadRec, internally trampoline the operation until it yields a termination instruction.

Stack-safety depends on implementations guaranteeing that the growth of the call stack is a constant factor independent of the number of invocations of the operation. For various examples of how this can be achieved in stereotypical circumstances, see the referenced types.

Specified by:

trampolineM in interface MonadRec<_1,_2>

Type Parameters:

_8Prime - the ultimate resulting carrier type

Parameters:

fn - the function to internally trampoline

Returns:

the trampolined MonadRec

See Also:

• for a basic implementation
• for a coproduct implementation
• for an implementation leveraging an already stack-safe Monad#flatMap(Fn1)
• for a monad transformer implementation

traverse

public <_8Prime, App extends Applicative<?,App>, TravB extends Traversable<_8Prime, Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>, AppTrav extends Applicative<TravB,App>>
AppTrav traverse(Fn1<? super _8, ? extends Applicative<_8Prime,App>> fn,
 Fn1<? super TravB, ? extends AppTrav> pure)

Apply fn 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.

Specified by:

traverse in interface Traversable<_1,_2>

Type Parameters:

_8Prime - the resulting element type

App - the result applicative type

TravB - this Traversable instance over B

AppTrav - the full inferred resulting type from the traversal

Parameters:

fn - the function to apply

pure - the applicative pure function

Returns:

the traversed Traversable, wrapped inside an applicative

init

public Tuple7<_1,_2,_3,_4,_5,_6,_7> init()

Returns a Tuple7<_1, _2, _3, _4, _5, _6, _7> of all the elements of this Tuple8<_1, _2, _3, _4, _5, _6, _7, _8> except the last.

Returns:

The Tuple7<_1, _2, _3, _4, _5, _6, _7> representing all but the last element

fill

public static <A> Tuple8<A,A,A,A,A,A,A,A> fill(A a)

Given a value of type A, produced an instance of this tuple with each slot set to that value.

Type Parameters:

A - the value type

Parameters:

a - the value to fill the tuple with

Returns:

the filled tuple

See Also:

• Tuple2.fill(A)

fromIterable

public static <A> Maybe<Tuple8<A,A,A,A,A,A,A,A>> fromIterable(Iterable<A> as)

Return just the first eight elements from the given Iterable, or nothing if there are less than eight elements.

Type Parameters:

A - the Iterable element type

Parameters:

as - the Iterable

Returns:

Maybe the first seven elements of the given Iterable

pureTuple

public static <_1,_2,_3,_4,_5,_6,_7>
Pure<Tuple8<_1,_2,_3,_4,_5,_6,_7,?>> pureTuple(_1 _1,
 _2 _2,
 _3 _3,
 _4 _4,
 _5 _5,
 _6 _6,
 _7 _7)

The canonical Pure instance for Tuple8.

Type Parameters:

_1 - the head element type

_2 - the second element type

_3 - the third element type

_4 - the fourth element type

_5 - the fifth element type

_6 - the sixth element type

_7 - the seventh element type

Parameters:

_1 - the head element

_2 - the second element

_3 - the third element

_4 - the fourth element

_5 - the fifth element

_6 - the sixth element

_7 - the seventh element

Returns:

the Pure instance