AllInstances

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

val <:<: Category[<:<]

val =:=: Category[=:=]

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

implicit val BigDecimalMultiplicationNewType: Monoid[@@[BigDecimal, Multiplication]]

implicit def FirstLeftProjectionEIso2[E]: Isomorphism.IsoFunctorTemplate[[α]LeftProjection[E, α] with AnyRef { type Tag = scalaz.Tags.First }, [α]Either[E, α]]

scala.Either.LeftProjection is isomorphic to scala.Either, when the type parameter E is partially applied.

implicit def FirstLeftProjectionIso2: Isomorphism.IsoBifunctorTemplate[[α, β]LeftProjection[α, β] with AnyRef { type Tag = scalaz.Tags.First }, Either]

scala.Either.LeftProjection is isomorphic to scala.Either

implicit def FirstRightProjectionAIso2[A]: Isomorphism.IsoFunctorTemplate[[α]RightProjection[α, A] with AnyRef { type Tag = scalaz.Tags.First }, [α]Either[α, A]]

scala.Either.RightProjection is isomorphic to scala.Either, when the type parameter A is partially applied.

implicit def FirstRightProjectionIso2: Isomorphism.IsoBifunctorTemplate[[α, β]RightProjection[α, β] with AnyRef { type Tag = scalaz.Tags.First }, Either]

scala.Either.RightProjection is isomorphic to scala.Either

implicit def LastLeftProjectionEIso2[E]: Isomorphism.IsoFunctorTemplate[[α]LeftProjection[E, α] with AnyRef { type Tag = scalaz.Tags.Last }, [α]Either[E, α]]

scala.Either.LeftProjection is isomorphic to scala.Either, when the type parameter E is partially applied.

implicit def LastLeftProjectionIso2: Isomorphism.IsoBifunctorTemplate[[α, β]LeftProjection[α, β] with AnyRef { type Tag = scalaz.Tags.Last }, Either]

scala.Either.LeftProjection is isomorphic to scala.Either

implicit def LastRightProjectionAIso2[A]: Isomorphism.IsoFunctorTemplate[[α]RightProjection[α, A] with AnyRef { type Tag = scalaz.Tags.Last }, [α]Either[α, A]]

scala.Either.RightProjection is isomorphic to scala.Either, when the type parameter A is partially applied.

implicit def LastRightProjectionIso2: Isomorphism.IsoBifunctorTemplate[[α, β]RightProjection[α, β] with AnyRef { type Tag = scalaz.Tags.Last }, Either]

scala.Either.RightProjection is isomorphic to scala.Either

implicit def LeftProjectionEIso2[E]: Isomorphism.IsoFunctorTemplate[[α]LeftProjection[E, α], [α]Either[E, α]]

scala.Either.LeftProjection is isomorphic to scala.Either, when the type parameter E is partially applied.

implicit def LeftProjectionIso2: Isomorphism.IsoBifunctorTemplate[LeftProjection, Either]

scala.Either.LeftProjection is isomorphic to scala.Either

implicit def RightProjectionAIso2[A]: Isomorphism.IsoFunctorTemplate[[α]RightProjection[α, A], [α]Either[α, A]]

scala.Either.RightProjection is isomorphic to scala.Either, when the type parameter A is partially applied.

implicit def RightProjectionIso2: Isomorphism.IsoBifunctorTemplate[RightProjection, Either]

scala.Either.RightProjection is isomorphic to scala.Either

final def asInstanceOf[T0]: T0

implicit val bigDecimalInstance: Monoid[BigDecimal] with Enum[BigDecimal] with Show[BigDecimal]

implicit val bigIntInstance: Monoid[BigInt] with Enum[BigInt] with Show[BigInt]

implicit val bigIntMultiplication: Monoid[@@[BigInt, Multiplication]] with Order[@@[BigInt, Multiplication]] with Show[@@[BigInt, Multiplication]]

implicit val bigIntegerInstance: Monoid[BigInteger] with Enum[BigInteger] with Show[BigInteger]

implicit val bigIntegerMultiplication: Monoid[@@[BigInteger, Multiplication]] with Order[@@[BigInteger, Multiplication]] with Show[@@[BigInteger, Multiplication]]

implicit val booleanConjunctionNewTypeInstance: Monoid[@@[Boolean, Conjunction]] with Enum[@@[Boolean, Conjunction]]

implicit val booleanDisjunctionNewTypeInstance: Monoid[@@[Boolean, Disjunction]] with Enum[@@[Boolean, Disjunction]]

implicit object booleanInstance extends Enum[Boolean] with Show[Boolean]

implicit val byteInstance: Monoid[Byte] with Enum[Byte] with Show[Byte]

implicit val byteMultiplicationNewType: Monoid[@@[Byte, Multiplication]] with Enum[@@[Byte, Multiplication]]

implicit def callableMonad: Monad[Callable]

implicit def callableOrder[A](implicit arg0: Order[A]): Order[Callable[A]]

implicit val char: Monoid[Char] with Enum[Char] with Show[Char]

implicit val charMultiplicationNewType: Monoid[@@[Char, Multiplication]] with Enum[@@[Char, Multiplication]]

def clone(): AnyRef

implicit val doubleInstance: Monoid[Double] with Order[Double] with Show[Double]

implicit val doubleMultiplicationNewType: Semigroup[@@[Double, Multiplication]]

implicit def eitherEqual[A, B](implicit A0: Equal[A], B0: Equal[B]): Equal[Either[A, B]]

implicit def eitherFirstLeftEqual[A, X](implicit A0: Equal[A]): Equal[@@[LeftProjection[A, X], First]]

implicit def eitherFirstLeftInstance: IsomorphismBifunctor[[a, b]LeftProjection[a, b] with AnyRef { type Tag = scalaz.Tags.First }, Either] { def iso: scalaz.Isomorphism.IsoBifunctorTemplate[[α, β]Either.LeftProjection[α,β] with Object{type Tag = scalaz.Tags.First},Either] }

implicit def eitherFirstLeftMonoid[A, X](implicit MonoidX: Monoid[X]): Monoid[@@[LeftProjection[A, X], First]]

implicit def eitherFirstLeftOrder[A, X](implicit OrderA: Order[A]): Order[@@[LeftProjection[A, X], First]]

implicit def eitherFirstLeftRInstance[R]: Monad[[α]LeftProjection[α, R] with AnyRef { type Tag = scalaz.Tags.First }] { def point[A](a: => A): scalaz.@@[scala.util.Either.LeftProjection[A,Nothing],scalaz.Tags.First] }

implicit def eitherFirstLeftSemigroup[A, X](implicit arg0: Semigroup[A]): Semigroup[@@[LeftProjection[A, X], First]]

implicit def eitherFirstRightEqual[X, A](implicit A0: Equal[A]): Equal[@@[RightProjection[X, A], First]]

implicit def eitherFirstRightLInstance[L]: Monad[[α]RightProjection[L, α] with AnyRef { type Tag = scalaz.Tags.First }] { def point[A](a: => A): scalaz.@@[scala.util.Either.RightProjection[Nothing,A],scalaz.Tags.First] }

implicit def eitherFirstRightMonoid[X, A](implicit MonoidX: Monoid[X]): Monoid[@@[RightProjection[X, A], First]]

implicit def eitherFirstRightOrder[X, A](implicit OrderA: Order[A]): Order[@@[RightProjection[X, A], First]]

implicit def eitherFirstRightSemigroup[X, A](implicit arg0: Semigroup[A]): Semigroup[@@[RightProjection[X, A], First]]

implicit def eitherInstance: Bitraverse[Either]

implicit def eitherLastLeftEqual[A, X](implicit A0: Equal[A]): Equal[@@[LeftProjection[A, X], Last]]

implicit def eitherLastLeftMonoid[A, X](implicit MonoidX: Monoid[X]): Monoid[@@[LeftProjection[A, X], Last]]

implicit def eitherLastLeftOrder[A, X](implicit OrderA: Order[A]): Order[@@[LeftProjection[A, X], Last]]

implicit def eitherLastLeftRInstance[R]: Monad[[α]LeftProjection[α, R] with AnyRef { type Tag = scalaz.Tags.Last }] { def point[A](a: => A): scalaz.@@[scala.util.Either.LeftProjection[A,Nothing],scalaz.Tags.Last] }

implicit def eitherLastLeftSemigroup[A, X](implicit arg0: Semigroup[A]): Semigroup[@@[LeftProjection[A, X], Last]]

implicit def eitherLastRightEqual[X, A](implicit A0: Equal[A]): Equal[@@[RightProjection[X, A], Last]]

implicit def eitherLastRightLInstance[L]: Monad[[α]RightProjection[L, α] with AnyRef { type Tag = scalaz.Tags.Last }] { def point[A](a: => A): scalaz.@@[scala.util.Either.RightProjection[Nothing,A],scalaz.Tags.Last] }

implicit def eitherLastRightMonoid[X, A](implicit MonoidX: Monoid[X]): Monoid[@@[RightProjection[X, A], Last]]

implicit def eitherLastRightOrder[X, A](implicit OrderA: Order[A]): Order[@@[RightProjection[X, A], Last]]

implicit def eitherLastRightSemigroup[X, A](implicit arg0: Semigroup[A]): Semigroup[@@[RightProjection[X, A], Last]]

implicit def eitherLeftEqual[A, X](implicit A0: Equal[A]): Equal[LeftProjection[A, X]]

implicit def eitherLeftInstance: IsomorphismBifunctor[LeftProjection, Either] { def iso: scalaz.Isomorphism.IsoBifunctorTemplate[Either.LeftProjection,Either] }

implicit def eitherLeftMonoid[A, X](implicit MonoidA: Monoid[A], MonoidX: Monoid[X]): Monoid[LeftProjection[A, X]]

implicit def eitherLeftOrder[A, X](implicit OrderA: Order[A]): Order[LeftProjection[A, X]]

implicit def eitherLeftRInstance[R]: Monad[[α]LeftProjection[α, R]] { def point[A](a: => A): scala.util.Either.LeftProjection[A,Nothing] }

implicit def eitherLeftSemigroup[A, X](implicit SemigroupA: Semigroup[A], MonoidX: Monoid[X]): Semigroup[LeftProjection[A, X]]

implicit def eitherMonad[L]: Traverse[[a]Either[L, a]] with Monad[[a]Either[L, a]] with Cozip[[a]Either[L, a]] { def point[A](a: => A): scala.util.Right[Nothing,A] }

Right biased monad

implicit def eitherOrder[A, B](implicit OrderA: Order[A], OrderB: Order[B]): Order[Either[A, B]]

implicit def eitherRightEqual[X, A](implicit A0: Equal[A]): Equal[RightProjection[X, A]]

implicit def eitherRightInstance: IsomorphismBifunctor[RightProjection, Either] { def iso: scalaz.Isomorphism.IsoBifunctorTemplate[Either.RightProjection,Either] }

implicit def eitherRightLInstance[L]: Monad[[α]RightProjection[L, α]] { def point[A](a: => A): scala.util.Either.RightProjection[Nothing,A] }

implicit def eitherRightMonoid[X, A](implicit MonoidX: Monoid[X], MonoidA: Monoid[A]): Monoid[RightProjection[X, A]]

implicit def eitherRightOrder[X, A](implicit OrderA: Order[A]): Order[RightProjection[X, A]]

implicit def eitherRightSemigroup[X, A](implicit MonoidX: Monoid[X], SemigroupA: Semigroup[A]): Semigroup[RightProjection[X, A]]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

implicit val floatInstance: Monoid[Float] with Order[Float] with Show[Float]

implicit val floatMultiplicationNewType: Semigroup[@@[Float, Multiplication]]

implicit def function0Equal[R](implicit arg0: Equal[R]): Equal[() ⇒ R]

implicit val function0Instance: Traverse[Function0] with Monad[Function0] with Comonad[Function0] with Distributive[Function0]

implicit def function1Comonad[A, R](implicit A0: Monoid[A]): Function1Comonad[A, R]

implicit def function1Contravariant[R]: Contravariant[[a](a) ⇒ R]

implicit def function1Covariant[T]: Monad[[a](T) ⇒ a] with Zip[[a](T) ⇒ a] with Unzip[[a](T) ⇒ a] with Distributive[[a](T) ⇒ a]

implicit val function1Instance: Arrow[Function1] with Category[Function1] with Choice[Function1]

implicit def function1Monoid[A, R](implicit R0: Monoid[R]): Function1Monoid[A, R]

implicit def function1Semigroup[A, R](implicit R0: Semigroup[R]): Function1Semigroup[A, R]

implicit def function2Instance[T1, T2]: Monad[[a](T1, T2) ⇒ a]

implicit def function3Instance[T1, T2, T3]: Monad[[a](T1, T2, T3) ⇒ a]

implicit def function4Instance[T1, T2, T3, T4]: Monad[[a](T1, T2, T3, T4) ⇒ a]

implicit def function5Instance[T1, T2, T3, T4, T5]: Monad[[a](T1, T2, T3, T4, T5) ⇒ a]

implicit def function6Instance[T1, T2, T3, T4, T5, T6]: Monad[[a](T1, T2, T3, T4, T5, T6) ⇒ a]

implicit def function7Instance[T1, T2, T3, T4, T5, T6, T7]: Monad[[a](T1, T2, T3, T4, T5, T6, T7) ⇒ a]

implicit def function8Instance[T1, T2, T3, T4, T5, T6, T7, T8]: Monad[[a](T1, T2, T3, T4, T5, T6, T7, T8) ⇒ a]

object generic extends IndexedSeqSubVector with IndexedSeqSubInstances

final def getClass(): Class[_]

def hashCode(): Int

implicit val intInstance: Monoid[Int] with Enum[Int] with Show[Int]

implicit val intMultiplicationNewType: Monoid[@@[Int, Multiplication]] with Enum[@@[Int, Multiplication]]

final def isInstanceOf[T0]: Boolean

implicit def listEqual[A](implicit A0: Equal[A]): ListEqual[A]

implicit val listInstance: Traverse[List] with MonadPlus[List] with Each[List] with Index[List] with Length[List] with Zip[List] with Unzip[List] with IsEmpty[List] { def empty[A]: List[Nothing] }

implicit def listMonoid[A]: Monoid[List[A]]

implicit def listOrder[A](implicit A0: Order[A]): Order[List[A]]

implicit def listShow[A](implicit arg0: Show[A]): Show[List[A]]

implicit val longInstance: Monoid[Long] with Enum[Long] with Show[Long]

implicit val longMultiplicationNewType: Monoid[@@[Long, Multiplication]] with Enum[@@[Long, Multiplication]]

implicit def mapEntryBitraverse: Bitraverse[Entry]

implicit def mapEqual[K, V](implicit arg0: Order[K], arg1: Equal[V]): Equal[Map[K, V]]

implicit def mapInstance[K]: Traverse[[V]Map[K, V]] with IsEmpty[[V]Map[K, V]]

Covariant over the value parameter, where plus applies the Last semigroup to values.

implicit def mapMonoid[K, V](implicit arg0: Semigroup[V]): Monoid[Map[K, V]]

Map union monoid, unifying values with V's append.

implicit def mapOrder[K, V](implicit arg0: Order[K], arg1: Order[V]): Order[Map[K, V]]

implicit def mapShow[K, V](implicit K: Show[K], V: Show[V]): Show[Map[K, V]]

final def ne(arg0: AnyRef): Boolean

implicit val nodeSeqInstance: Monoid[NodeSeq] with Show[NodeSeq] with Equal[NodeSeq]

final def notify(): Unit

final def notifyAll(): Unit

implicit def optionEqual[A](implicit A0: Equal[A]): OptionEqual[A]

implicit def optionFirst[A]: Monoid[FirstOption[A]]

implicit def optionFirstMonad: Monad[FirstOption]

implicit def optionFirstOrder[A](implicit arg0: Order[A]): Order[FirstOption[A]]

implicit def optionFirstShow[A](implicit arg0: Show[A]): Show[FirstOption[A]]

implicit val optionInstance: Traverse[Option] with MonadPlus[Option] with Each[Option] with Index[Option] with Length[Option] with Cozip[Option] with Zip[Option] with Unzip[Option] with IsEmpty[Option] { def point[A](a: => A): Some[A] }

implicit def optionLast[A]: Monoid[LastOption[A]]

implicit def optionLastMonad: Monad[LastOption]

implicit def optionLastOrder[A](implicit arg0: Order[A]): Order[LastOption[A]]

implicit def optionLastShow[A](implicit arg0: Show[A]): Show[LastOption[A]]

implicit def optionMax[A](implicit o: Order[A]): Monoid[MaxOption[A]]

implicit def optionMaxMonad: Monad[MaxOption]

implicit def optionMaxOrder[A](implicit arg0: Order[A]): Order[MaxOption[A]]

implicit def optionMaxShow[A](implicit arg0: Show[A]): Show[MaxOption[A]]

implicit def optionMin[A](implicit o: Order[A]): Monoid[MinOption[A]]

implicit def optionMinMonad: Monad[MinOption]

implicit def optionMinOrder[A](implicit arg0: Order[A]): Order[MinOption[A]]

implicit def optionMinShow[A](implicit arg0: Show[A]): Show[MinOption[A]]

implicit def optionMonoid[A](implicit arg0: Semigroup[A]): Monoid[Option[A]]

implicit def optionOrder[A](implicit A0: Order[A]): Order[Option[A]]

Add None as an element less than all As.

implicit def optionShow[A](implicit arg0: Show[A]): Show[Option[A]]

def orderingMonoid[A]: Monoid[scala.math.Ordering[A]]

def parserMonad[P <: Parsers](p: P): Monad[[A]util.parsing.combinator.Parsers.parserMonad.P.Parser[A]] forSome {val _1375: ParsersW[P]}

implicit val partialFunctionInstance: Arrow[PartialFunction] with Category[PartialFunction] with Choice[PartialFunction]

implicit val setInstance: Foldable[Set] with IsEmpty[Set] with Length[Set]

implicit def setMonoid[A]: Monoid[Set[A]]

implicit def setOrder[A](implicit arg0: Order[A]): Order[Set[A]]

We could derive set equality from Equal[A], but it would be O(n^2). Instead, we require Order[A], reducing the complexity to O(log n)

implicit def setShow[A](implicit arg0: Show[A]): Show[Set[A]]

implicit val shortInstance: Monoid[Short] with Enum[Short] with Show[Short]

implicit val shortMultiplicationNewType: Monoid[@@[Short, Multiplication]] with Enum[@@[Short, Multiplication]]

implicit def streamEqual[A](implicit A0: Equal[A]): Equal[Stream[A]]

implicit val streamInstance: Traverse[Stream] with MonadPlus[Stream] with Each[Stream] with Index[Stream] with Length[Stream] with Zip[Stream] with Unzip[Stream] with IsEmpty[Stream]

implicit def streamMonoid[A]: Monoid[Stream[A]]

implicit def streamShow[A](implicit A0: Show[A]): Show[Stream[A]]

implicit val streamZipApplicative: Applicative[[α]Stream[α] with AnyRef { type Tag = scalaz.Tags.Zip }]

An alternative scalaz.Applicative instance for Stream, discriminated by the type tag scalaz.Tags.Zip, that zips streams together.

import scalaz.Tags.Zip
streamZipApplicative.apply2(Zip(Stream(1, 2)), Zip(Stream(3, 4)))(_ * _) // Stream(3, 8)

implicit object stringInstance extends Monoid[String] with Show[String] with Equal[String] with Order[String] with IsEmpty[[α]String]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

implicit def tuple1Cozip: Cozip[Tuple1]

implicit def tuple1Equal[A1](implicit A1: Equal[A1]): Tuple1Equal[A1]

implicit def tuple1Instance: Traverse[Tuple1] with Monad[Tuple1] with Comonad[Tuple1]

Tuple1[A] is isomorphic to Id[X]

implicit def tuple1Monoid[A1](implicit A1: Monoid[A1]): Tuple1Monoid[A1]

implicit def tuple1Order[A1](implicit A1: Order[A1]): Tuple1Order[A1]

implicit def tuple1Semigroup[A1](implicit A1: Semigroup[A1]): Tuple1Semigroup[A1]

implicit def tuple1Show[A1](implicit A1: Show[A1]): Tuple1Show[A1]

implicit def tuple2Bitraverse[A1, A2]: Bitraverse[Tuple2]

implicit def tuple2Cozip[A1]: Cozip[[x](A1, x)]

implicit def tuple2Equal[A1, A2](implicit A1: Equal[A1], A2: Equal[A2]): Tuple2Equal[A1, A2]

implicit def tuple2Instance[A1]: Traverse[[x](A1, x)] with Comonad[[x](A1, x)]

Product functor and comonad

implicit def tuple2Monad[A1](implicit A1: Monoid[A1]): Monad[[x](A1, x)]

implicit def tuple2Monoid[A1, A2](implicit A1: Monoid[A1], A2: Monoid[A2]): Tuple2Monoid[A1, A2]

implicit def tuple2Order[A1, A2](implicit A1: Order[A1], A2: Order[A2]): Tuple2Order[A1, A2]

implicit def tuple2Semigroup[A1, A2](implicit A1: Semigroup[A1], A2: Semigroup[A2]): Tuple2Semigroup[A1, A2]

implicit def tuple2Show[A1, A2](implicit A1: Show[A1], A2: Show[A2]): Tuple2Show[A1, A2]

implicit def tuple3Cozip[A1, A2]: Cozip[[x](A1, A2, x)]

implicit def tuple3Equal[A1, A2, A3](implicit A1: Equal[A1], A2: Equal[A2], A3: Equal[A3]): Tuple3Equal[A1, A2, A3]

implicit def tuple3Functor[A1, A2]: Traverse[[x](A1, A2, x)]

implicit def tuple3Monad[A1, A2](implicit A1: Monoid[A1], A2: Monoid[A2]): Monad[[x](A1, A2, x)]

implicit def tuple3Monoid[A1, A2, A3](implicit A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3]): Tuple3Monoid[A1, A2, A3]

implicit def tuple3Order[A1, A2, A3](implicit A1: Order[A1], A2: Order[A2], A3: Order[A3]): Tuple3Order[A1, A2, A3]

implicit def tuple3Semigroup[A1, A2, A3](implicit A1: Semigroup[A1], A2: Semigroup[A2], A3: Semigroup[A3]): Tuple3Semigroup[A1, A2, A3]

implicit def tuple3Show[A1, A2, A3](implicit A1: Show[A1], A2: Show[A2], A3: Show[A3]): Tuple3Show[A1, A2, A3]

implicit def tuple4Cozip[A1, A2, A3]: Cozip[[x](A1, A2, A3, x)]

implicit def tuple4Equal[A1, A2, A3, A4](implicit A1: Equal[A1], A2: Equal[A2], A3: Equal[A3], A4: Equal[A4]): Tuple4Equal[A1, A2, A3, A4]

implicit def tuple4Functor[A1, A2, A3]: Traverse[[x](A1, A2, A3, x)]

implicit def tuple4Monad[A1, A2, A3](implicit A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3]): Monad[[x](A1, A2, A3, x)]

implicit def tuple4Monoid[A1, A2, A3, A4](implicit A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3], A4: Monoid[A4]): Tuple4Monoid[A1, A2, A3, A4]

implicit def tuple4Order[A1, A2, A3, A4](implicit A1: Order[A1], A2: Order[A2], A3: Order[A3], A4: Order[A4]): Tuple4Order[A1, A2, A3, A4]

implicit def tuple4Semigroup[A1, A2, A3, A4](implicit A1: Semigroup[A1], A2: Semigroup[A2], A3: Semigroup[A3], A4: Semigroup[A4]): Tuple4Semigroup[A1, A2, A3, A4]

implicit def tuple4Show[A1, A2, A3, A4](implicit A1: Show[A1], A2: Show[A2], A3: Show[A3], A4: Show[A4]): Tuple4Show[A1, A2, A3, A4]

implicit def tuple5Cozip[A1, A2, A3, A4]: Cozip[[x](A1, A2, A3, A4, x)]

implicit def tuple5Equal[A1, A2, A3, A4, A5](implicit A1: Equal[A1], A2: Equal[A2], A3: Equal[A3], A4: Equal[A4], A5: Equal[A5]): Tuple5Equal[A1, A2, A3, A4, A5]

implicit def tuple5Functor[A1, A2, A3, A4]: Traverse[[x](A1, A2, A3, A4, x)]

implicit def tuple5Monad[A1, A2, A3, A4](implicit A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3], A4: Monoid[A4]): Monad[[x](A1, A2, A3, A4, x)]

implicit def tuple5Monoid[A1, A2, A3, A4, A5](implicit A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3], A4: Monoid[A4], A5: Monoid[A5]): Tuple5Monoid[A1, A2, A3, A4, A5]

implicit def tuple5Order[A1, A2, A3, A4, A5](implicit A1: Order[A1], A2: Order[A2], A3: Order[A3], A4: Order[A4], A5: Order[A5]): Tuple5Order[A1, A2, A3, A4, A5]

implicit def tuple5Semigroup[A1, A2, A3, A4, A5](implicit A1: Semigroup[A1], A2: Semigroup[A2], A3: Semigroup[A3], A4: Semigroup[A4], A5: Semigroup[A5]): Tuple5Semigroup[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]): Tuple5Show[A1, A2, A3, A4, A5]

implicit def tuple6Cozip[A1, A2, A3, A4, A5]: Cozip[[x](A1, A2, A3, A4, A5, x)]

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]): Tuple6Equal[A1, A2, A3, A4, A5, A6]

implicit def tuple6Functor[A1, A2, A3, A4, A5]: Traverse[[x](A1, A2, A3, A4, A5, x)]

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[[x](A1, A2, A3, A4, A5, x)]

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]): Tuple6Monoid[A1, A2, A3, A4, A5, A6]

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]): Tuple6Order[A1, A2, A3, A4, A5, A6]

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]): Tuple6Semigroup[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]): Tuple6Show[A1, A2, A3, A4, A5, A6]

implicit def tuple7Cozip[A1, A2, A3, A4, A5, A6]: Cozip[[x](A1, A2, A3, A4, A5, A6, x)]

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]): Tuple7Equal[A1, A2, A3, A4, A5, A6, A7]

implicit def tuple7Functor[A1, A2, A3, A4, A5, A6]: Traverse[[x](A1, A2, A3, A4, A5, A6, x)]

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[[x](A1, A2, A3, A4, A5, A6, x)]

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]): Tuple7Monoid[A1, A2, A3, A4, A5, A6, A7]

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]): Tuple7Order[A1, A2, A3, A4, A5, A6, A7]

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]): Tuple7Semigroup[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]): Tuple7Show[A1, A2, A3, A4, A5, A6, A7]

implicit def tuple8Cozip[A1, A2, A3, A4, A5, A6, A7]: Cozip[[x](A1, A2, A3, A4, A5, A6, A7, x)]

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]): Tuple8Equal[A1, A2, A3, A4, A5, A6, A7, A8]

implicit def tuple8Functor[A1, A2, A3, A4, A5, A6, A7]: Traverse[[x](A1, A2, A3, A4, A5, A6, A7, x)]

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[[x](A1, A2, A3, A4, A5, A6, A7, x)]

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]): Tuple8Monoid[A1, A2, A3, A4, A5, A6, A7, A8]

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]): Tuple8Order[A1, A2, A3, A4, A5, A6, A7, A8]

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]): Tuple8Semigroup[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]): Tuple8Show[A1, A2, A3, A4, A5, A6, A7, A8]

implicit val unitInstance: Monoid[Unit] with Enum[Unit] with Show[Unit]

implicit def vectorEqual[A](implicit A0: Equal[A]): IndexedSeqEqual[A, Vector[A]]

implicit val vectorInstance: Traverse[VectorInstances.generic.IxSq] with MonadPlus[VectorInstances.generic.IxSq] with Each[VectorInstances.generic.IxSq] with Index[VectorInstances.generic.IxSq] with Length[VectorInstances.generic.IxSq] with Zip[VectorInstances.generic.IxSq] with Unzip[VectorInstances.generic.IxSq] with IsEmpty[VectorInstances.generic.IxSq] { def toIndexedSeq[A](fa: AllInstances.this.generic.IxSq[A]): AllInstances.this.generic.IxSq[A] }

implicit def vectorMonoid[A]: Monoid[Vector[A]]

implicit def vectorOrder[A](implicit A0: Order[A]): Order[Vector[A]]

implicit def vectorShow[A](implicit arg0: Show[A]): Show[Vector[A]]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

implicit val intMetricSpace: MetricSpace[Int]

Warning: the triangle inequality will not hold if b - a overflows.