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,java.lang.Object,java.lang.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,?>>
,java.util.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.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class com.jnape.palatable.lambda.adt.hlist.HList
HList.HCons<Head,Tail extends HList>, HList.HNil
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods 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 thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<_8Prime> Tuple8<_1,_2,_3,_4,_5,_6,_7,_8>
discardR(Applicative<_8Prime,Tuple8<_1,_2,_3,_4,_5,_6,_7,?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.static <A> Tuple8<A,A,A,A,A,A,A,A>
fill(A a)
Given a value of typeA
, 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(java.lang.Iterable<A> as)
Tuple7<_1,_2,_3,_4,_5,_6,_7>
init()
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 alazy
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 valueb
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)
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 thisTuple8
.<_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 aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.<_8Prime,App extends Applicative<?,App>,TravB extends Traversable<_8Prime,Tuple8<_1,_2,_3,_4,_5,_6,_7,?>>,AppTrav extends Applicative<TravB,App>>
AppTravtraverse(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.<_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 com.jnape.palatable.lambda.adt.hlist.HList.HCons
equals, hashCode, head, tail
-
Methods inherited from class com.jnape.palatable.lambda.adt.hlist.HList
cons, nil, singletonHList, toString, tuple, tuple, tuple, tuple, tuple, tuple, tuple
-
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
-
-
-
-
Method Detail
-
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.
-
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 thisTuple8
.
-
_1
public _1 _1()
Retrieve the first element.
-
_2
public _2 _2()
Retrieve the second element.
-
_3
public _3 _3()
Retrieve the third element.
-
_4
public _4 _4()
Retrieve the fourth element.
-
_5
public _5 _5()
Retrieve the fifth element.
-
_6
public _6 _6()
Retrieve the sixth element.
-
_7
public _7 _7()
Retrieve the seventh element.
-
_8
public _8 _8()
Retrieve 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.
-
rotateR8
public Tuple8<_8,_1,_2,_3,_4,_5,_6,_7> rotateR8()
Rotate all eight values of this product one slot to the right.
-
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.
-
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.
-
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.
-
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.
-
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 interfaceProduct5<_1,_2,_3,_4,_5>
- Specified by:
rotateL5
in interfaceProduct6<_1,_2,_3,_4,_5,_6>
- Specified by:
rotateL5
in interfaceProduct7<_1,_2,_3,_4,_5,_6,_7>
- Specified by:
rotateL5
in interfaceProduct8<_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 interfaceProduct5<_1,_2,_3,_4,_5>
- Specified by:
rotateR5
in interfaceProduct6<_1,_2,_3,_4,_5,_6>
- Specified by:
rotateR5
in interfaceProduct7<_1,_2,_3,_4,_5,_6,_7>
- Specified by:
rotateR5
in interfaceProduct8<_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 interfaceProduct4<_1,_2,_3,_4>
- Specified by:
rotateL4
in interfaceProduct5<_1,_2,_3,_4,_5>
- Specified by:
rotateL4
in interfaceProduct6<_1,_2,_3,_4,_5,_6>
- Specified by:
rotateL4
in interfaceProduct7<_1,_2,_3,_4,_5,_6,_7>
- Specified by:
rotateL4
in interfaceProduct8<_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 interfaceProduct4<_1,_2,_3,_4>
- Specified by:
rotateR4
in interfaceProduct5<_1,_2,_3,_4,_5>
- Specified by:
rotateR4
in interfaceProduct6<_1,_2,_3,_4,_5,_6>
- Specified by:
rotateR4
in interfaceProduct7<_1,_2,_3,_4,_5,_6,_7>
- Specified by:
rotateR4
in interfaceProduct8<_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 interfaceProduct3<_1,_2,_3>
- Specified by:
rotateL3
in interfaceProduct4<_1,_2,_3,_4>
- Specified by:
rotateL3
in interfaceProduct5<_1,_2,_3,_4,_5>
- Specified by:
rotateL3
in interfaceProduct6<_1,_2,_3,_4,_5,_6>
- Specified by:
rotateL3
in interfaceProduct7<_1,_2,_3,_4,_5,_6,_7>
- Specified by:
rotateL3
in interfaceProduct8<_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 interfaceProduct3<_1,_2,_3>
- Specified by:
rotateR3
in interfaceProduct4<_1,_2,_3,_4>
- Specified by:
rotateR3
in interfaceProduct5<_1,_2,_3,_4,_5>
- Specified by:
rotateR3
in interfaceProduct6<_1,_2,_3,_4,_5,_6>
- Specified by:
rotateR3
in interfaceProduct7<_1,_2,_3,_4,_5,_6,_7>
- Specified by:
rotateR3
in interfaceProduct8<_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 interfaceProduct2<_1,_2>
- Specified by:
invert
in interfaceProduct3<_1,_2,_3>
- Specified by:
invert
in interfaceProduct4<_1,_2,_3,_4>
- Specified by:
invert
in interfaceProduct5<_1,_2,_3,_4,_5>
- Specified by:
invert
in interfaceProduct6<_1,_2,_3,_4,_5,_6>
- Specified by:
invert
in interfaceProduct7<_1,_2,_3,_4,_5,_6,_7>
- Specified by:
invert
in interfaceProduct8<_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 interfaceApplicative<_1,_2>
- Specified by:
fmap
in interfaceFunctor<_1,_2>
- Specified by:
fmap
in interfaceMonad<_1,_2>
- Specified by:
fmap
in interfaceMonadRec<_1,_2>
- Specified by:
fmap
in interfaceTraversable<_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 interfaceBifunctor<_1,_2,_3>
- Specified by:
biMapL
in interfaceBoundedBifunctor<_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 thatbiMapR(f) == fmap(f)
.- Specified by:
biMapR
in interfaceBifunctor<_1,_2,_3>
- Specified by:
biMapR
in interfaceBoundedBifunctor<_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 tobiMapL(lFn).biMapR(rFn)
.- Specified by:
biMap
in interfaceBifunctor<_1,_2,_3>
- Specified by:
biMap
in interfaceBoundedBifunctor<_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 functionrFn
- 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 valueb
into this applicative functor.- Specified by:
pure
in interfaceApplicative<_1,_2>
- Specified by:
pure
in interfaceMonad<_1,_2>
- Specified by:
pure
in interfaceMonadRec<_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.
-
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 alazy
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 interfaceApplicative<_1,_2>
- Specified by:
lazyZip
in interfaceMonad<_1,_2>
- Specified by:
lazyZip
in interfaceMonadRec<_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 thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
. This is generally useful for sequentially performing side-effects.
-
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 thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
. This is generally useful for sequentially performing side-effects.
-
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.
-
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 aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
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 interfaceMonadRec<_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 implementation
,for an implementation leveraging an already stack-safe
,for a 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)
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.- Specified by:
traverse
in interfaceTraversable<_1,_2>
- Type Parameters:
_8Prime
- the resulting element typeApp
- the result applicative typeTravB
- this Traversable instance over BAppTrav
- the full inferred resulting type from the traversal- Parameters:
fn
- the function to applypure
- 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
of all the elements of thisTuple7
<_1, _2, _3, _4, _5, _6, _7>
except the last.Tuple8
<_1, _2, _3, _4, _5, _6, _7, _8>- 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 typeA
, 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(java.lang.Iterable<A> as)
Returnjust
the first eight elements from the givenIterable
, ornothing
if there are less than eight elements.- Type Parameters:
A
- theIterable
element type- Parameters:
as
- theIterable
- Returns:
Maybe
the first seven elements of the givenIterable
-
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)
- 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
-
-