tuple

Type Members

trait At[T, N <: Nat] extends DepFn1[T] with Serializable

Type class supporting access to the nth element of this tuple.
Type class supporting access to the nth element of this tuple. Available only if this tuple has at least n elements.
trait Collect[T, P <: Poly] extends DepFn1[T] with Serializable

Type Class witnessing that this tuple can be collected with a 'Poly' to produce a new tuple
trait ConstMapper[T, C] extends DepFn2[T, C] with Serializable

Type class supporting mapping a constant valued function over this tuple.
trait Drop[T, N <: Nat] extends DepFn1[T] with Serializable

Type class supporting removal of the first n elements of this tuple.
Type class supporting removal of the first n elements of this tuple. Available only if this tuple has at least n elements.
trait Fill[N, A] extends DepFn1[A] with Serializable

Type class supporting producing a tuple of shape N filled with elements of type A.
trait Filter[T, U] extends DepFn1[T] with Serializable

Type class supporting access to the all elements of this tuple of type U.
trait FilterNot[T, U] extends DepFn1[T] with Serializable

Type class supporting access to the all elements of this tuple of type different than U.
trait FlatMapper[T, P] extends DepFn1[T] with Serializable

Type class supporting flatmapping a higher ranked function over this tuple.
trait Init[T] extends DepFn1[T] with Serializable

Type class supporting access to all but the last element of this tuple.
Type class supporting access to all but the last element of this tuple. Available only if this tuple has at least one element.
trait IsComposite[P] extends Serializable

Type class witnessing that this tuple is composite and providing access to head and tail.
trait Last[T] extends DepFn1[T] with Serializable

Type class supporting access to the last element of this tuple.
Type class supporting access to the last element of this tuple. Available only if this tuple has at least one element.
trait LeftFolder[T, U, P] extends DepFn2[T, U] with Serializable

Type class supporting left-folding a polymorphic binary function over this tuple.
trait LeftReducer[T, P] extends DepFn1[T] with Serializable

Type class supporting left-reducing a polymorphic binary function over this tuple.
trait LeftScanner[T, In, P <: Poly] extends DepFn2[T, In] with Serializable

Type class supporting left-scanning a binary polymorphic function over this tuple.
trait Length[T] extends DepFn1[T] with Serializable

Type class supporting computing the type-level Nat corresponding to the length of this tuple.
trait MapFolder[T, R, P] extends Serializable

Type class supporting mapping a polymorphic function over this tuple and then folding the result using a monomorphic function value.
trait Mapper[T, P] extends DepFn1[T] with Serializable

Type class supporting mapping a higher ranked function over this tuple.
trait Modifier[T, U, V] extends DepFn2[T, (U) ⇒ V] with Serializable

Type class supporting replacement of the first element of type U from this tuple with the result of its transformation via a given function into a new element of type V.
Type class supporting replacement of the first element of type U from this tuple with the result of its transformation via a given function into a new element of type V. Available only if this tuple contains an element of type U.
trait Patcher[N <: Nat, M <: Nat, T, InT] extends DepFn2[T, InT] with Serializable

Type class supporting the patching of a tuple.
trait Permutations[T] extends DepFn1[T] with Serializable

Typer class supporting the calculation of every permutation of this tuple
trait Prepend[T, U] extends DepFn2[T, U] with Serializable

Type class supporting prepending to this tuple.
trait Remove[T, U] extends DepFn1[T] with Serializable

Type class supporting removal of an element from this tuple.
Type class supporting removal of an element from this tuple. Available only if this tuple contains an element of type U.
trait RemoveAll[T, S] extends DepFn1[T] with Serializable

Type class supporting removal of a sublist from this tuple.
Type class supporting removal of a sublist from this tuple. Available only if this tuple contains a sublist of type SL.
The elements of SL do not have to be contiguous in this tuple.
trait ReplaceAt[T, N <: Nat, U] extends DepFn2[T, U] with Serializable

Type class supporting replacement of the Nth element of this tuple with an element of type V.
Type class supporting replacement of the Nth element of this tuple with an element of type V. Available only if this tuple contains at least N elements.
trait Replacer[T, U, V] extends DepFn2[T, U] with Serializable

Type class supporting replacement of the first element of type U from this tuple with an element of type V.
Type class supporting replacement of the first element of type U from this tuple with an element of type V. Available only if this tuple contains an element of type U.
trait Reverse[T] extends DepFn1[T] with Serializable

Type class supporting reversing this tuple.
trait ReversePrepend[T, U] extends DepFn2[T, U] with Serializable

Type class supporting reverse prepending to this tuple.
trait ReverseSplit[T, N <: Nat] extends DepFn1[T] with Serializable

Type class supporting splitting this tuple at the nth element returning the reverse prefix and suffix as a pair.
Type class supporting splitting this tuple at the nth element returning the reverse prefix and suffix as a pair. Available only if this tuple has at least n elements.
trait ReverseSplitLeft[T, U] extends DepFn1[T] with Serializable

Type class supporting splitting this tuple at the first occurrence of an element of type U returning the reverse prefix and suffix as a pair.
Type class supporting splitting this tuple at the first occurrence of an element of type U returning the reverse prefix and suffix as a pair. Available only if this tuple contains an element of type U.
trait ReverseSplitRight[T, U] extends DepFn1[T] with Serializable

Type class supporting splitting this tuple at the last occurrence of an element of type U returning the reverse prefix and suffix as a pair.
Type class supporting splitting this tuple at the last occurrence of an element of type U returning the reverse prefix and suffix as a pair. Available only if this tuple contains an element of type U.
trait RightFolder[T, U, P] extends DepFn2[T, U] with Serializable

Type class supporting right-folding a polymorphic binary function over this tuple.
trait RightReducer[T, P] extends DepFn1[T] with Serializable

Type class supporting right-reducing a polymorphic binary function over this tuple.
trait RightScanner[T, In, P <: Poly] extends DepFn2[T, In] with Serializable

Type class supporting right-scanning a binary polymorphic function over this tuple.
trait RotateLeft[T, N <: Nat] extends DepFn1[T] with Serializable

Type class supporting rotating a tuple left
trait RotateRight[T, N <: Nat] extends DepFn1[T] with Serializable

Type class supporting rotating a tuple right
trait Selector[T, U] extends DepFn1[T] with Serializable

Type class supporting access to the first element of this tuple of type U.
Type class supporting access to the first element of this tuple of type U. Available only if this tuple contains an element of type U.
trait Split[T, N <: Nat] extends DepFn1[T] with Serializable

Type class supporting splitting this tuple at the nth element returning the prefix and suffix as a pair.
Type class supporting splitting this tuple at the nth element returning the prefix and suffix as a pair. Available only if this tuple has at least n elements.
trait SplitLeft[T, U] extends DepFn1[T] with Serializable

Type class supporting splitting this tuple at the first occurrence of an element of type U returning the prefix and suffix as a pair.
Type class supporting splitting this tuple at the first occurrence of an element of type U returning the prefix and suffix as a pair. Available only if this tuple contains an element of type U.
trait SplitRight[T, U] extends DepFn1[T] with Serializable

Type class supporting splitting this tuple at the last occurrence of an element of type U returning the prefix and suffix as a pair.
Type class supporting splitting this tuple at the last occurrence of an element of type U returning the prefix and suffix as a pair. Available only if this tuple contains an element of type U.
trait SubtypeUnifier[T, B] extends DepFn1[T] with Serializable

Type class supporting unification of all elements that are subtypes of B in this tuple to B, with all other elements left unchanged.
trait Take[T, N <: Nat] extends DepFn1[T] with Serializable

Type class supporting retrieval of the first n elements of this tuple.
Type class supporting retrieval of the first n elements of this tuple. Available only if this tuple has at least n elements.
trait ToArray[T, Lub] extends DepFn1[T]

Type class supporting conversion of this tuple to an Array with elements typed as the least upper bound of the types of the elements of this tuple.
Type class supporting conversion of this tuple to an Array with elements typed as the least upper bound of the types of the elements of this tuple.
Provided for backward compatibility.
trait ToList[T, Lub] extends DepFn1[T] with Serializable

Type class supporting conversion of this tuple to a List with elements typed as the least upper bound of the types of the elements of this tuple.
Type class supporting conversion of this tuple to a List with elements typed as the least upper bound of the types of the elements of this tuple.
Provided for backward compatibility.
trait ToSized[T, M[_]] extends DepFn1[T] with Serializable

Type class supporting conversion of this tuple to a Sized[M[Lub], N] with elements typed as the least upper bound Lub of the types of the elements of this tuple.
trait ToTraversable[T, M[_]] extends DepFn1[T] with Serializable

Type class supporting conversion of this tuple to a M with elements typed as the least upper bound of the types of the elements of this tuple.
trait Transposer[T] extends DepFn1[T] with Serializable

Type class supporting transposing this tuple.
trait Unifier[T] extends DepFn1[T] with Serializable

Type class supporting unification of this tuple.
trait ZipApply[FT, AT] extends DepFn2[FT, AT] with Serializable

Type class supporting zipping this this tuple of monomorphic function values with its argument tuple of correspondingly typed function arguments returning the result of each application as a tuple.
Type class supporting zipping this this tuple of monomorphic function values with its argument tuple of correspondingly typed function arguments returning the result of each application as a tuple. Available only if there is evidence that the corresponding function and argument elements have compatible types.
trait ZipConst[T, C] extends DepFn2[T, C] with Serializable

Type class supporting zipping a tuple with a constant, resulting in a tuple of tuples of the form ({element from input tuple}, {supplied constant})
trait ZipOne[H, T] extends DepFn2[H, T] with Serializable

Type class supporting zipping this tuple with a tuple of tuples returning a tuple of tuples with each element of this tuple prepended to the corresponding tuple element of the argument tuple.

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
object At extends Serializable
object Collect extends Serializable
object ConstMapper extends Serializable
object Drop extends Serializable
object Fill extends Serializable
object Filter extends Serializable
object FilterNot extends Serializable
object FlatMapper extends Serializable
object Init extends Serializable
object IsComposite extends Serializable
object Last extends Serializable
object LeftFolder extends Serializable
object LeftReducer extends Serializable
object LeftScanner extends Serializable
object Length extends Serializable
object MapFolder extends Serializable
object Mapper extends Serializable
object Modifier extends Serializable
object Patcher extends Serializable
object Permutations extends Serializable
object Prepend extends Serializable
object Remove extends Serializable
object RemoveAll extends Serializable
object ReplaceAt extends Serializable
object Replacer extends Serializable
object Reverse extends Serializable
object ReversePrepend extends Serializable
object ReverseSplit extends Serializable
object ReverseSplitLeft extends Serializable
object ReverseSplitRight extends Serializable
object RightFolder extends Serializable
object RightReducer extends Serializable
object RightScanner extends Serializable
object RotateLeft extends Serializable
object RotateRight extends Serializable
object Selector extends Serializable
object Split extends Serializable
object SplitLeft extends Serializable
object SplitRight extends Serializable
object SubtypeUnifier extends Serializable
object Take extends Serializable
object ToArray
object ToList extends Serializable
object ToSized extends Serializable
object ToTraversable extends Serializable
object Transposer extends Serializable
object Unifier extends Serializable
object ZipApply extends Serializable
object ZipConst extends Serializable
object ZipOne extends Serializable
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package ops

object tuple

Type Members

trait At[T, N <: Nat] extends DepFn1[T] with Serializable

trait Collect[T, P <: Poly] extends DepFn1[T] with Serializable

trait ConstMapper[T, C] extends DepFn2[T, C] with Serializable

trait Drop[T, N <: Nat] extends DepFn1[T] with Serializable

trait Fill[N, A] extends DepFn1[A] with Serializable

trait Filter[T, U] extends DepFn1[T] with Serializable

trait FilterNot[T, U] extends DepFn1[T] with Serializable

trait FlatMapper[T, P] extends DepFn1[T] with Serializable

trait Init[T] extends DepFn1[T] with Serializable

trait IsComposite[P] extends Serializable

trait Last[T] extends DepFn1[T] with Serializable

trait LeftFolder[T, U, P] extends DepFn2[T, U] with Serializable

trait LeftReducer[T, P] extends DepFn1[T] with Serializable

trait LeftScanner[T, In, P <: Poly] extends DepFn2[T, In] with Serializable

trait Length[T] extends DepFn1[T] with Serializable

trait MapFolder[T, R, P] extends Serializable

trait Mapper[T, P] extends DepFn1[T] with Serializable

trait Modifier[T, U, V] extends DepFn2[T, (U) ⇒ V] with Serializable

trait Patcher[N <: Nat, M <: Nat, T, InT] extends DepFn2[T, InT] with Serializable

trait Permutations[T] extends DepFn1[T] with Serializable

trait Prepend[T, U] extends DepFn2[T, U] with Serializable

trait Remove[T, U] extends DepFn1[T] with Serializable

trait RemoveAll[T, S] extends DepFn1[T] with Serializable

trait ReplaceAt[T, N <: Nat, U] extends DepFn2[T, U] with Serializable

trait Replacer[T, U, V] extends DepFn2[T, U] with Serializable

trait Reverse[T] extends DepFn1[T] with Serializable

trait ReversePrepend[T, U] extends DepFn2[T, U] with Serializable

trait ReverseSplit[T, N <: Nat] extends DepFn1[T] with Serializable

trait ReverseSplitLeft[T, U] extends DepFn1[T] with Serializable

trait ReverseSplitRight[T, U] extends DepFn1[T] with Serializable

trait RightFolder[T, U, P] extends DepFn2[T, U] with Serializable

trait RightReducer[T, P] extends DepFn1[T] with Serializable

trait RightScanner[T, In, P <: Poly] extends DepFn2[T, In] with Serializable

trait RotateLeft[T, N <: Nat] extends DepFn1[T] with Serializable

trait RotateRight[T, N <: Nat] extends DepFn1[T] with Serializable

trait Selector[T, U] extends DepFn1[T] with Serializable

trait Split[T, N <: Nat] extends DepFn1[T] with Serializable

trait SplitLeft[T, U] extends DepFn1[T] with Serializable

trait SplitRight[T, U] extends DepFn1[T] with Serializable

trait SubtypeUnifier[T, B] extends DepFn1[T] with Serializable

trait Take[T, N <: Nat] extends DepFn1[T] with Serializable

trait ToArray[T, Lub] extends DepFn1[T]

trait ToList[T, Lub] extends DepFn1[T] with Serializable

trait ToSized[T, M[_]] extends DepFn1[T] with Serializable

trait ToTraversable[T, M[_]] extends DepFn1[T] with Serializable

trait Transposer[T] extends DepFn1[T] with Serializable

trait Unifier[T] extends DepFn1[T] with Serializable

trait ZipApply[FT, AT] extends DepFn2[FT, AT] with Serializable

trait ZipConst[T, C] extends DepFn2[T, C] with Serializable

trait ZipOne[H, T] extends DepFn2[H, T] with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object At extends Serializable

object Collect extends Serializable

object ConstMapper extends Serializable

object Drop extends Serializable

object Fill extends Serializable

object Filter extends Serializable

object FilterNot extends Serializable

object FlatMapper extends Serializable

object Init extends Serializable

object IsComposite extends Serializable

object Last extends Serializable

object LeftFolder extends Serializable

object LeftReducer extends Serializable

object LeftScanner extends Serializable

object Length extends Serializable

object MapFolder extends Serializable

object Mapper extends Serializable

object Modifier extends Serializable

object Patcher extends Serializable

object Permutations extends Serializable

object Prepend extends Serializable

object Remove extends Serializable