tuple

Type Members

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

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]

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]

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

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]

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

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

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

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

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 AnyRef

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

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]

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

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

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

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

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]

Type class supporting mapping a higher ranked function over this tuple.
trait Modifier[T, U, V] extends DepFn2[T, (U) ⇒ 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.
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]

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

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

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

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]

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]

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]

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]

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

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

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]

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]

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]

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

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

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

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

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

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]

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]

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]

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]

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]

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]

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]

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]

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]

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

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

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]

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]

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
object Collect
object ConstMapper
object Drop
object Fill
object Filter
object FilterNot
object FlatMapper
object Init
object IsComposite
object Last
object LeftFolder
object LeftReducer
object LeftScanner
object Length
object MapFolder
object Mapper
object Modifier
object Patcher
object Permutations
object Prepend
object Remove
object RemoveAll
object ReplaceAt
object Replacer
object Reverse
object ReversePrepend
object ReverseSplit
object ReverseSplitLeft
object ReverseSplitRight
object RightFolder
object RightReducer
object RightScanner
object RotateLeft
object RotateRight
object Selector
object Split
object SplitLeft
object SplitRight
object SubtypeUnifier
object Take
object ToArray
object ToList
object ToSized
object ToTraversable
object Transposer
object Unifier
object ZipApply
object ZipConst
object ZipOne
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]

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

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

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

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

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

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

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

trait Init[T] extends DepFn1[T]

trait IsComposite[P] extends AnyRef

trait Last[T] extends DepFn1[T]

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

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

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

trait Length[T] extends DepFn1[T]

trait MapFolder[T, R, P] extends AnyRef

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

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

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

trait Permutations[T] extends DepFn1[T]

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

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

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

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

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

trait Reverse[T] extends DepFn1[T]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

trait Transposer[T] extends DepFn1[T]

trait Unifier[T] extends DepFn1[T]

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

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

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

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object At

object Collect

object ConstMapper

object Drop

object Fill

object Filter

object FilterNot

object FlatMapper

object Init

object IsComposite

object Last

object LeftFolder

object LeftReducer

object LeftScanner

object Length

object MapFolder

object Mapper

object Modifier

object Patcher

object Permutations

object Prepend

object Remove