Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  def apply[F[_]](implicit instance: Invariant[F]): Invariant[F]

   Summon an instance of Invariant for F.

   Summon an instance of Invariant for F.

   Annotations

   @inline()

5.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

6.  implicit def catsApplicativeForArrow[F[_, _], A](implicit F: Arrow[F]): Applicative[[β$9$]F[A, β$9$]]

   Definition Classes

   InvariantInstances0

7.  implicit def catsBimonadForFunction0[I]: Bimonad[Function0]
8.  implicit def catsCommutativeFlatMapForTuple2[X](implicit X: CommutativeSemigroup[X]): CommutativeFlatMap[[β$10$](X, β$10$)]

   Definition Classes

   TupleInstances0

9.  implicit def catsCommutativeMonadForTuple2[X](implicit X: CommutativeMonoid[X]): CommutativeMonad[[β$6$](X, β$6$)]

   Definition Classes

   InvariantInstances0

10.  implicit def catsComonadForTuple2[A]: Comonad[[β$0$](A, β$0$)]
11.  implicit def catsContravariantForFunction1[R]: Contravariant[[α$7$](α$7$) ⇒ R]

    Definition Classes

    InvariantInstances0

12.  implicit def catsContravariantForHash: Contravariant[Hash]
13.  implicit def catsContravariantMonoidalForEq: ContravariantMonoidal[Eq]
14.  implicit def catsContravariantMonoidalForEquiv: ContravariantMonoidal[Equiv]
15.  implicit def catsContravariantMonoidalForFunction1[R](implicit arg0: Monoid[R]): ContravariantMonoidal[[α$5$](α$5$) ⇒ R]
16.  implicit def catsContravariantMonoidalForOrder: ContravariantMonoidal[Order]
17.  implicit def catsContravariantMonoidalForOrdering: ContravariantMonoidal[Ordering]
18.  implicit def catsContravariantMonoidalForPartialOrder: ContravariantMonoidal[PartialOrder]
19.  implicit def catsContravariantMonoidalForPartialOrdering: ContravariantMonoidal[PartialOrdering]
20.  implicit def catsDistributiveForFunction0: Distributive[Function0]

    Definition Classes

    InvariantInstances0

21.  implicit def catsDistributiveForFunction1[I]: Distributive[[β$8$](I) ⇒ β$8$]

    Definition Classes

    InvariantInstances0

22.  implicit def catsFlatMapForMap[K]: FlatMap[[β$2$]Map[K, β$2$]]
23.  implicit def catsFlatMapForSortedMap[K](implicit arg0: Order[K]): FlatMap[[β$3$]SortedMap[K, β$3$]]
24.  implicit def catsFlatMapForTuple2[X](implicit X: Semigroup[X]): FlatMap[[β$12$](X, β$12$)]

    Definition Classes

    TupleInstances2

25.  implicit def catsFunctorForPair: Functor[[P](P, P)]
26.  implicit def catsInstancesForId: Distributive[Id] with Comonad[Id]
27.  implicit def catsInstancesForList: Monad[List] with Alternative[List] with CoflatMap[List]
28.  implicit def catsInstancesForOption: MonadError[Option, Unit] with Alternative[Option] with CoflatMap[Option] with CommutativeMonad[Option]
29.  implicit def catsInstancesForQueue: Monad[Queue] with Alternative[Queue] with CoflatMap[Queue]
30.  implicit def catsInstancesForStream: Monad[Stream] with Alternative[Stream] with CoflatMap[Stream]

    Definition Classes

    ScalaVersionSpecificInvariantInstances

31.  implicit def catsInstancesForTry: MonadError[Try, Throwable] with CoflatMap[Try]
32.  implicit def catsInstancesForVector: Monad[Vector] with Alternative[Vector] with CoflatMap[Vector]
33.  implicit val catsInvariantBand: Invariant[Band]
34.  implicit val catsInvariantBoundedSemilattice: Invariant[BoundedSemilattice]
35.  implicit val catsInvariantCommutativeGroup: Invariant[CommutativeGroup]
36.  implicit val catsInvariantCommutativeMonoid: Invariant[CommutativeMonoid]
37.  implicit val catsInvariantGroup: Invariant[Group]
38.  implicit val catsInvariantMonoid: Invariant[Monoid]
39.  implicit def catsInvariantMonoidalForCommutativeSemigroup: InvariantMonoidal[CommutativeSemigroup]
40.  implicit def catsInvariantMonoidalForSemigroup: InvariantMonoidal[Semigroup]
41.  implicit def catsInvariantSemigroupalForMonoid: InvariantSemigroupal[Monoid]
42.  implicit val catsInvariantSemilattice: Invariant[Semilattice]
43.  implicit def catsMonadErrorForEither[A]: MonadError[[β$1$]Either[A, β$1$], A]
44.  implicit def catsMonadForFunction1[I]: Monad[[β$4$](I) ⇒ β$4$]
45.  implicit def catsMonadForTailRec: Monad[TailRec]
46.  implicit def catsMonadForTuple2[X](implicit X: Monoid[X]): Monad[[β$11$](X, β$11$)]

    Definition Classes

    TupleInstances1

47.  def clone(): AnyRef

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()

48.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

49.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

50.  def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

51.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

52.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

53.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

54.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

55.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

56.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

57.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

58.  def toString(): String

    Definition Classes

    AnyRef → Any

59.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

61.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()

62.  object nonInheritedOps extends ToInvariantOps
63.  object ops