root/scalaz.std/TupleInstances2

TupleInstances2

sealed
trait TupleInstances2 extends TupleInstances1
class Object
trait Matchable
class Any
object Scalaz
object tuple

Implicits

Implicits

implicit
def tuple1Band[A1](implicit A1: Band[A1]): Band[(A1)]
implicit
def tuple1Equal[A1](implicit A1: Equal[A1]): Equal[(A1)]
implicit
val tuple1Instance: Traverse[Tuple1] & Monad[Tuple1] & Comonad[Tuple1]

Tuple1[A] is isomorphic to Id[X]

Tuple1[A] is isomorphic to Id[X]

implicit
val tuple2Associative: Associative[Tuple2]
implicit
def tuple2Band[A1, A2](implicit A1: Band[A1], A2: Band[A2]): Band[(A1, A2)]
implicit
def tuple2BindRec[A1 : Semigroup]: BindRec[[_] =>> (A1, _$11)]

Product BindRec

Product BindRec

implicit
val tuple2Bitraverse: Bitraverse[Tuple2]
implicit
def tuple2Equal[A1, A2](implicit A1: Equal[A1], A2: Equal[A2]): Equal[(A1, A2)]
implicit
def tuple3Band[A1, A2, A3](implicit A1: Band[A1], A2: Band[A2], A3: Band[A3]): Band[(A1, A2, A3)]
implicit
def tuple3BindRec[A1 : Semigroup, A2 : Semigroup]: BindRec[[_] =>> (A1, A2, _$12)]
implicit
def tuple3Equal[A1, A2, A3](implicit A1: Equal[A1], A2: Equal[A2], A3: Equal[A3]): Equal[(A1, A2, A3)]
implicit
def tuple4Band[A1, A2, A3, A4](implicit A1: Band[A1], A2: Band[A2], A3: Band[A3], A4: Band[A4]): Band[(A1, A2, A3, A4)]
implicit
def tuple4BindRec[A1 : Semigroup, A2 : Semigroup, A3 : Semigroup]: BindRec[[_] =>> (A1, A2, A3, _$13)]
implicit
def tuple4Equal[A1, A2, A3, A4](implicit A1: Equal[A1], A2: Equal[A2], A3: Equal[A3], A4: Equal[A4]): Equal[(A1, A2, A3, A4)]
implicit
def tuple5Band[A1, A2, A3, A4, A5](implicit A1: Band[A1], A2: Band[A2], A3: Band[A3], A4: Band[A4], A5: Band[A5]): Band[(A1, A2, A3, A4, A5)]
implicit
def tuple5BindRec[A1 : Semigroup, A2 : Semigroup, A3 : Semigroup, A4 : Semigroup]: BindRec[[_] =>> (A1, A2, A3, A4, _$14)]
implicit
def tuple5Equal[A1, A2, A3, A4, A5](implicit A1: Equal[A1], A2: Equal[A2], A3: Equal[A3], A4: Equal[A4], A5: Equal[A5]): Equal[(A1, A2, A3, A4, A5)]
implicit
def tuple6Band[A1, A2, A3, A4, A5, A6](implicit A1: Band[A1], A2: Band[A2], A3: Band[A3], A4: Band[A4], A5: Band[A5], A6: Band[A6]): Band[(A1, A2, A3, A4, A5, A6)]
implicit
def tuple6BindRec[A1 : Semigroup, A2 : Semigroup, A3 : Semigroup, A4 : Semigroup, A5 : Semigroup]: BindRec[[_] =>> (A1, A2, A3, A4, A5, _$15)]
implicit
def tuple6Equal[A1, A2, A3, A4, A5, A6](implicit A1: Equal[A1], A2: Equal[A2], A3: Equal[A3], A4: Equal[A4], A5: Equal[A5], A6: Equal[A6]): Equal[(A1, A2, A3, A4, A5, A6)]
implicit
def tuple7Band[A1, A2, A3, A4, A5, A6, A7](implicit A1: Band[A1], A2: Band[A2], A3: Band[A3], A4: Band[A4], A5: Band[A5], A6: Band[A6], A7: Band[A7]): Band[(A1, A2, A3, A4, A5, A6, A7)]
implicit
def tuple7BindRec[A1 : Semigroup, A2 : Semigroup, A3 : Semigroup, A4 : Semigroup, A5 : Semigroup, A6 : Semigroup]: BindRec[[_] =>> (A1, A2, A3, A4, A5, A6, _$16)]
implicit
def tuple7Equal[A1, A2, A3, A4, A5, A6, A7](implicit A1: Equal[A1], A2: Equal[A2], A3: Equal[A3], A4: Equal[A4], A5: Equal[A5], A6: Equal[A6], A7: Equal[A7]): Equal[(A1, A2, A3, A4, A5, A6, A7)]
implicit
def tuple8Band[A1, A2, A3, A4, A5, A6, A7, A8](implicit A1: Band[A1], A2: Band[A2], A3: Band[A3], A4: Band[A4], A5: Band[A5], A6: Band[A6], A7: Band[A7], A8: Band[A8]): Band[(A1, A2, A3, A4, A5, A6, A7, A8)]
implicit
def tuple8BindRec[A1 : Semigroup, A2 : Semigroup, A3 : Semigroup, A4 : Semigroup, A5 : Semigroup, A6 : Semigroup, A7 : Semigroup]: BindRec[[_] =>> (A1, A2, A3, A4, A5, A6, A7, _$17)]
implicit
def tuple8Equal[A1, A2, A3, A4, A5, A6, A7, A8](implicit A1: Equal[A1], A2: Equal[A2], A3: Equal[A3], A4: Equal[A4], A5: Equal[A5], A6: Equal[A6], A7: Equal[A7], A8: Equal[A8]): Equal[(A1, A2, A3, A4, A5, A6, A7, A8)]

Inherited implicits

implicit
def tuple1Monoid[A1](implicit A1: Monoid[A1]): Monoid[(A1)]
Inherited from
TupleInstances1
implicit
def tuple1Semigroup[A1](implicit A1: Semigroup[A1]): Semigroup[(A1)]
Inherited from
TupleInstances0
implicit
def tuple2Instance[A1]: Traverse[[_] =>> (A1, _$1)] & Comonad[[_] =>> (A1, _$2)]

Product functor and comonad

Product functor and comonad

Inherited from
TupleInstances1
implicit
def tuple2Monoid[A1, A2](implicit A1: Monoid[A1], A2: Monoid[A2]): Monoid[(A1, A2)]
Inherited from
TupleInstances1
implicit
def tuple2Semigroup[A1, A2](implicit A1: Semigroup[A1], A2: Semigroup[A2]): Semigroup[(A1, A2)]
Inherited from
TupleInstances0
implicit
def tuple3Functor[A1, A2]: Traverse[[_] =>> (A1, A2, _$4)]
Inherited from
TupleInstances1
implicit
def tuple3Monoid[A1, A2, A3](implicit A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3]): Monoid[(A1, A2, A3)]
Inherited from
TupleInstances1
implicit
def tuple3Semigroup[A1, A2, A3](implicit A1: Semigroup[A1], A2: Semigroup[A2], A3: Semigroup[A3]): Semigroup[(A1, A2, A3)]
Inherited from
TupleInstances0
implicit
def tuple4Functor[A1, A2, A3]: Traverse[[_] =>> (A1, A2, A3, _$5)]
Inherited from
TupleInstances1
implicit
def tuple4Monoid[A1, A2, A3, A4](implicit A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3], A4: Monoid[A4]): Monoid[(A1, A2, A3, A4)]
Inherited from
TupleInstances1
implicit
def tuple4Semigroup[A1, A2, A3, A4](implicit A1: Semigroup[A1], A2: Semigroup[A2], A3: Semigroup[A3], A4: Semigroup[A4]): Semigroup[(A1, A2, A3, A4)]
Inherited from
TupleInstances0
implicit
def tuple5Functor[A1, A2, A3, A4]: Traverse[[_] =>> (A1, A2, A3, A4, _$6)]
Inherited from
TupleInstances1
implicit
def tuple5Monoid[A1, A2, A3, A4, A5](implicit A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3], A4: Monoid[A4], A5: Monoid[A5]): Monoid[(A1, A2, A3, A4, A5)]
Inherited from
TupleInstances1
implicit
def tuple5Semigroup[A1, A2, A3, A4, A5](implicit A1: Semigroup[A1], A2: Semigroup[A2], A3: Semigroup[A3], A4: Semigroup[A4], A5: Semigroup[A5]): Semigroup[(A1, A2, A3, A4, A5)]
Inherited from
TupleInstances0
implicit
def tuple6Functor[A1, A2, A3, A4, A5]: Traverse[[_] =>> (A1, A2, A3, A4, A5, _$7)]
Inherited from
TupleInstances1
implicit
def tuple6Monoid[A1, A2, A3, A4, A5, A6](implicit A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3], A4: Monoid[A4], A5: Monoid[A5], A6: Monoid[A6]): Monoid[(A1, A2, A3, A4, A5, A6)]
Inherited from
TupleInstances1
implicit
def tuple6Semigroup[A1, A2, A3, A4, A5, A6](implicit A1: Semigroup[A1], A2: Semigroup[A2], A3: Semigroup[A3], A4: Semigroup[A4], A5: Semigroup[A5], A6: Semigroup[A6]): Semigroup[(A1, A2, A3, A4, A5, A6)]
Inherited from
TupleInstances0
implicit
def tuple7Functor[A1, A2, A3, A4, A5, A6]: Traverse[[_] =>> (A1, A2, A3, A4, A5, A6, _$8)]
Inherited from
TupleInstances1
implicit
def tuple7Monoid[A1, A2, A3, A4, A5, A6, A7](implicit A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3], A4: Monoid[A4], A5: Monoid[A5], A6: Monoid[A6], A7: Monoid[A7]): Monoid[(A1, A2, A3, A4, A5, A6, A7)]
Inherited from
TupleInstances1
implicit
def tuple7Semigroup[A1, A2, A3, A4, A5, A6, A7](implicit A1: Semigroup[A1], A2: Semigroup[A2], A3: Semigroup[A3], A4: Semigroup[A4], A5: Semigroup[A5], A6: Semigroup[A6], A7: Semigroup[A7]): Semigroup[(A1, A2, A3, A4, A5, A6, A7)]
Inherited from
TupleInstances0
implicit
def tuple8Functor[A1, A2, A3, A4, A5, A6, A7]: Traverse[[_] =>> (A1, A2, A3, A4, A5, A6, A7, _$9)]
Inherited from
TupleInstances1
implicit
def tuple8Monoid[A1, A2, A3, A4, A5, A6, A7, A8](implicit A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3], A4: Monoid[A4], A5: Monoid[A5], A6: Monoid[A6], A7: Monoid[A7], A8: Monoid[A8]): Monoid[(A1, A2, A3, A4, A5, A6, A7, A8)]
Inherited from
TupleInstances1
implicit
def tuple8Semigroup[A1, A2, A3, A4, A5, A6, A7, A8](implicit A1: Semigroup[A1], A2: Semigroup[A2], A3: Semigroup[A3], A4: Semigroup[A4], A5: Semigroup[A5], A6: Semigroup[A6], A7: Semigroup[A7], A8: Semigroup[A8]): Semigroup[(A1, A2, A3, A4, A5, A6, A7, A8)]
Inherited from
TupleInstances0