scalaz-core/scalaz.std/TupleInstances3

TupleInstances3

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

Implicits

Implicits

implicit
val tuple1Cozip: Cozip[Tuple1]
implicit
def tuple1Order[A1](implicit A1: Order[A1]): Order[(A1)]
implicit
def tuple1SemiLattice[A1](implicit A1: SemiLattice[A1]): SemiLattice[(A1)]
implicit
def tuple1Show[A1](implicit A1: Show[A1]): Show[(A1)]
implicit
def tuple2Cozip[A1]: Cozip[[_] =>> (A1, _$18)]
implicit
def tuple2Monad[A1](implicit A1: Monoid[A1]): Monad[[_] =>> (A1, _$25)]
implicit
def tuple2Order[A1, A2](implicit A1: Order[A1], A2: Order[A2]): Order[(A1, A2)]
implicit
def tuple2SemiLattice[A1, A2](implicit A1: SemiLattice[A1], A2: SemiLattice[A2]): SemiLattice[(A1, A2)]
implicit
def tuple2Show[A1, A2](implicit A1: Show[A1], A2: Show[A2]): Show[(A1, A2)]
implicit
def tuple3Cozip[A1, A2]: Cozip[[_] =>> (A1, A2, _$19)]
implicit
def tuple3Monad[A1, A2](implicit A1: Monoid[A1], A2: Monoid[A2]): Monad[[_] =>> (A1, A2, _$26)]
implicit
def tuple3Order[A1, A2, A3](implicit A1: Order[A1], A2: Order[A2], A3: Order[A3]): Order[(A1, A2, A3)]
implicit
def tuple3SemiLattice[A1, A2, A3](implicit A1: SemiLattice[A1], A2: SemiLattice[A2], A3: SemiLattice[A3]): SemiLattice[(A1, A2, A3)]
implicit
def tuple3Show[A1, A2, A3](implicit A1: Show[A1], A2: Show[A2], A3: Show[A3]): Show[(A1, A2, A3)]
implicit
def tuple4Cozip[A1, A2, A3]: Cozip[[_] =>> (A1, A2, A3, _$20)]
implicit
def tuple4Monad[A1, A2, A3](implicit A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3]): Monad[[_] =>> (A1, A2, A3, _$27)]
implicit
def tuple4Order[A1, A2, A3, A4](implicit A1: Order[A1], A2: Order[A2], A3: Order[A3], A4: Order[A4]): Order[(A1, A2, A3, A4)]
implicit
def tuple4SemiLattice[A1, A2, A3, A4](implicit A1: SemiLattice[A1], A2: SemiLattice[A2], A3: SemiLattice[A3], A4: SemiLattice[A4]): SemiLattice[(A1, A2, A3, A4)]
implicit
def tuple4Show[A1, A2, A3, A4](implicit A1: Show[A1], A2: Show[A2], A3: Show[A3], A4: Show[A4]): Show[(A1, A2, A3, A4)]
implicit
def tuple5Cozip[A1, A2, A3, A4]: Cozip[[_] =>> (A1, A2, A3, A4, _$21)]
implicit
def tuple5Monad[A1, A2, A3, A4](implicit A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3], A4: Monoid[A4]): Monad[[_] =>> (A1, A2, A3, A4, _$28)]
implicit
def tuple5Order[A1, A2, A3, A4, A5](implicit A1: Order[A1], A2: Order[A2], A3: Order[A3], A4: Order[A4], A5: Order[A5]): Order[(A1, A2, A3, A4, A5)]
implicit
def tuple5SemiLattice[A1, A2, A3, A4, A5](implicit A1: SemiLattice[A1], A2: SemiLattice[A2], A3: SemiLattice[A3], A4: SemiLattice[A4], A5: SemiLattice[A5]): SemiLattice[(A1, A2, A3, A4, A5)]
implicit
def tuple5Show[A1, A2, A3, A4, A5](implicit A1: Show[A1], A2: Show[A2], A3: Show[A3], A4: Show[A4], A5: Show[A5]): Show[(A1, A2, A3, A4, A5)]
implicit
def tuple6Cozip[A1, A2, A3, A4, A5]: Cozip[[_] =>> (A1, A2, A3, A4, A5, _$22)]
implicit
def tuple6Monad[A1, A2, A3, A4, A5](implicit A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3], A4: Monoid[A4], A5: Monoid[A5]): Monad[[_] =>> (A1, A2, A3, A4, A5, _$29)]
implicit
def tuple6Order[A1, A2, A3, A4, A5, A6](implicit A1: Order[A1], A2: Order[A2], A3: Order[A3], A4: Order[A4], A5: Order[A5], A6: Order[A6]): Order[(A1, A2, A3, A4, A5, A6)]
implicit
def tuple6SemiLattice[A1, A2, A3, A4, A5, A6](implicit A1: SemiLattice[A1], A2: SemiLattice[A2], A3: SemiLattice[A3], A4: SemiLattice[A4], A5: SemiLattice[A5], A6: SemiLattice[A6]): SemiLattice[(A1, A2, A3, A4, A5, A6)]
implicit
def tuple6Show[A1, A2, A3, A4, A5, A6](implicit A1: Show[A1], A2: Show[A2], A3: Show[A3], A4: Show[A4], A5: Show[A5], A6: Show[A6]): Show[(A1, A2, A3, A4, A5, A6)]
implicit
def tuple7Cozip[A1, A2, A3, A4, A5, A6]: Cozip[[_] =>> (A1, A2, A3, A4, A5, A6, _$23)]
implicit
def tuple7Monad[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]): Monad[[_] =>> (A1, A2, A3, A4, A5, A6, _$30)]
implicit
def tuple7Order[A1, A2, A3, A4, A5, A6, A7](implicit A1: Order[A1], A2: Order[A2], A3: Order[A3], A4: Order[A4], A5: Order[A5], A6: Order[A6], A7: Order[A7]): Order[(A1, A2, A3, A4, A5, A6, A7)]
implicit
def tuple7SemiLattice[A1, A2, A3, A4, A5, A6, A7](implicit A1: SemiLattice[A1], A2: SemiLattice[A2], A3: SemiLattice[A3], A4: SemiLattice[A4], A5: SemiLattice[A5], A6: SemiLattice[A6], A7: SemiLattice[A7]): SemiLattice[(A1, A2, A3, A4, A5, A6, A7)]
implicit
def tuple7Show[A1, A2, A3, A4, A5, A6, A7](implicit A1: Show[A1], A2: Show[A2], A3: Show[A3], A4: Show[A4], A5: Show[A5], A6: Show[A6], A7: Show[A7]): Show[(A1, A2, A3, A4, A5, A6, A7)]
implicit
def tuple8Cozip[A1, A2, A3, A4, A5, A6, A7]: Cozip[[_] =>> (A1, A2, A3, A4, A5, A6, A7, _$24)]
implicit
def tuple8Monad[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]): Monad[[_] =>> (A1, A2, A3, A4, A5, A6, A7, _$31)]
implicit
def tuple8Order[A1, A2, A3, A4, A5, A6, A7, A8](implicit A1: Order[A1], A2: Order[A2], A3: Order[A3], A4: Order[A4], A5: Order[A5], A6: Order[A6], A7: Order[A7], A8: Order[A8]): Order[(A1, A2, A3, A4, A5, A6, A7, A8)]
implicit
def tuple8SemiLattice[A1, A2, A3, A4, A5, A6, A7, A8](implicit A1: SemiLattice[A1], A2: SemiLattice[A2], A3: SemiLattice[A3], A4: SemiLattice[A4], A5: SemiLattice[A5], A6: SemiLattice[A6], A7: SemiLattice[A7], A8: SemiLattice[A8]): SemiLattice[(A1, A2, A3, A4, A5, A6, A7, A8)]
implicit
def tuple8Show[A1, A2, A3, A4, A5, A6, A7, A8](implicit A1: Show[A1], A2: Show[A2], A3: Show[A3], A4: Show[A4], A5: Show[A5], A6: Show[A6], A7: Show[A7], A8: Show[A8]): Show[(A1, A2, A3, A4, A5, A6, A7, A8)]

Inherited implicits

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

Tuple1[A] is isomorphic to Id[X]

Tuple1[A] is isomorphic to Id[X]

Inherited from
TupleInstances2
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
val tuple2Associative: Associative[Tuple2]
Inherited from
TupleInstances2
implicit
def tuple2Band[A1, A2](implicit A1: Band[A1], A2: Band[A2]): Band[(A1, A2)]
Inherited from
TupleInstances2
implicit
def tuple2BindRec[A1 : Semigroup]: BindRec[[_] =>> (A1, _$11)]

Product BindRec

Product BindRec

Inherited from
TupleInstances2
implicit
val tuple2Bitraverse: Bitraverse[Tuple2]
Inherited from
TupleInstances2
implicit
def tuple2Equal[A1, A2](implicit A1: Equal[A1], A2: Equal[A2]): Equal[(A1, A2)]
Inherited from
TupleInstances2
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 tuple3Band[A1, A2, A3](implicit A1: Band[A1], A2: Band[A2], A3: Band[A3]): Band[(A1, A2, A3)]
Inherited from
TupleInstances2
implicit
def tuple3BindRec[A1 : Semigroup, A2 : Semigroup]: BindRec[[_] =>> (A1, A2, _$12)]
Inherited from
TupleInstances2
implicit
def tuple3Equal[A1, A2, A3](implicit A1: Equal[A1], A2: Equal[A2], A3: Equal[A3]): Equal[(A1, A2, A3)]
Inherited from
TupleInstances2
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 tuple4Band[A1, A2, A3, A4](implicit A1: Band[A1], A2: Band[A2], A3: Band[A3], A4: Band[A4]): Band[(A1, A2, A3, A4)]
Inherited from
TupleInstances2
implicit
def tuple4BindRec[A1 : Semigroup, A2 : Semigroup, A3 : Semigroup]: BindRec[[_] =>> (A1, A2, A3, _$13)]
Inherited from
TupleInstances2
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)]
Inherited from
TupleInstances2
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 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)]
Inherited from
TupleInstances2
implicit
def tuple5BindRec[A1 : Semigroup, A2 : Semigroup, A3 : Semigroup, A4 : Semigroup]: BindRec[[_] =>> (A1, A2, A3, A4, _$14)]
Inherited from
TupleInstances2
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)]
Inherited from
TupleInstances2
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 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)]
Inherited from
TupleInstances2
implicit
def tuple6BindRec[A1 : Semigroup, A2 : Semigroup, A3 : Semigroup, A4 : Semigroup, A5 : Semigroup]: BindRec[[_] =>> (A1, A2, A3, A4, A5, _$15)]
Inherited from
TupleInstances2
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)]
Inherited from
TupleInstances2
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 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)]
Inherited from
TupleInstances2
implicit
def tuple7BindRec[A1 : Semigroup, A2 : Semigroup, A3 : Semigroup, A4 : Semigroup, A5 : Semigroup, A6 : Semigroup]: BindRec[[_] =>> (A1, A2, A3, A4, A5, A6, _$16)]
Inherited from
TupleInstances2
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)]
Inherited from
TupleInstances2
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 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)]
Inherited from
TupleInstances2
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)]
Inherited from
TupleInstances2
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 from
TupleInstances2
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