Invariant

Companion:
class
class Object
trait Matchable
class Any

Type members

Classlikes

trait AllOps[F[_], A] extends Ops[F, A]
trait Ops[F[_], A] extends Serializable

Deprecated classlikes

@deprecated("Use cats.syntax object imports", "2.2.0")
Deprecated
@deprecated("Use cats.syntax object imports", "2.2.0")
object ops
Deprecated

Value members

Concrete methods

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

Summon an instance of Invariant for F.

Summon an instance of Invariant for F.

Deprecated methods

@deprecated("Use catsStdInstancesForTuple2 in cats.instances.NTupleMonadInstances", "2.4.0")
def catsComonadForTuple2[A]: Comonad[[_] =>> (A, _$9)]
Deprecated

Deprecated and Inherited methods

@deprecated("Use catsStdCommutativeFlatMapForTuple2 in cats.instances.NTupleMonadInstances", "2.4.0")
Deprecated
Inherited from:
TupleInstances0
@deprecated("Use catsStdCommutativeMonadForTuple2 in cats.instances.NTupleMonadInstances", "2.4.0")
def catsCommutativeMonadForTuple2[X](implicit X: CommutativeMonoid[X]): CommutativeMonad[[_] =>> (X, _$17)]
Deprecated
Inherited from:
InvariantInstances0
@deprecated("Use catsStdFlatMapForTuple2 on cats.instances.NTupleMonadInstances", "2.4.0")
def catsFlatMapForTuple2[X](implicit X: Semigroup[X]): FlatMap[[_] =>> (X, _$24)]
Deprecated
Inherited from:
TupleInstances2
@deprecated("Use catsStdMonadForTuple2 in cats.instances.NTupleMonadInstances", "2.4.0")
def catsMonadForTuple2[X](implicit X: Monoid[X]): Monad[[_] =>> (X, _$23)]
Deprecated
Inherited from:
TupleInstances1

Implicits

Implicits

implicit def catsFlatMapForMap[K]: FlatMap[[_] =>> Map[K, _$6]]
implicit def catsFlatMapForSortedMap[K]: FlatMap[[_] =>> SortedMap[K, _$7]]
implicit def catsMonadErrorForEither[A]: MonadError[[_] =>> Either[A, _$5], A]

Inherited implicits

implicit def catsApplicativeForArrow[F[_, _], A](implicit F: Arrow[F]): Applicative[[_] =>> F[A, _$21]]
Inherited from:
InvariantInstances2
Inherited from:
InvariantInstances0
Inherited from:
InvariantInstances0
implicit def catsDistributiveForFunction1[I]: Distributive[[_] =>> I => _$16]
Inherited from:
InvariantInstances0
Inherited from:
ScalaVersionSpecificInvariantInstances
Inherited from:
ScalaVersionSpecificInvariantInstances
Inherited from:
InvariantInstances2
implicit def catsMonadForFunction1[I]: Monad[[_] =>> I => _$18]
Inherited from:
InvariantInstances1
Inherited from:
NTupleMonadInstances2
final implicit def catsStdCommutativeFlatMapForTuple10[A0, A1, A2, A3, A4, A5, A6, A7, A8](implicit A0: CommutativeSemigroup[A0], A1: CommutativeSemigroup[A1], A2: CommutativeSemigroup[A2], A3: CommutativeSemigroup[A3], A4: CommutativeSemigroup[A4], A5: CommutativeSemigroup[A5], A6: CommutativeSemigroup[A6], A7: CommutativeSemigroup[A7], A8: CommutativeSemigroup[A8]): CommutativeFlatMap[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, A8, _$57)]
Inherited from:
NTupleMonadInstances2
final implicit def catsStdCommutativeFlatMapForTuple11[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9](implicit A0: CommutativeSemigroup[A0], A1: CommutativeSemigroup[A1], A2: CommutativeSemigroup[A2], A3: CommutativeSemigroup[A3], A4: CommutativeSemigroup[A4], A5: CommutativeSemigroup[A5], A6: CommutativeSemigroup[A6], A7: CommutativeSemigroup[A7], A8: CommutativeSemigroup[A8], A9: CommutativeSemigroup[A9]): CommutativeFlatMap[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, _$59)]
Inherited from:
NTupleMonadInstances2
final implicit def catsStdCommutativeFlatMapForTuple2[A0](implicit A0: CommutativeSemigroup[A0]): CommutativeFlatMap[[_] =>> (A0, _$41)]
Inherited from:
NTupleMonadInstances2
final implicit def catsStdCommutativeFlatMapForTuple3[A0, A1](implicit A0: CommutativeSemigroup[A0], A1: CommutativeSemigroup[A1]): CommutativeFlatMap[[_] =>> (A0, A1, _$43)]
Inherited from:
NTupleMonadInstances2
final implicit def catsStdCommutativeFlatMapForTuple4[A0, A1, A2](implicit A0: CommutativeSemigroup[A0], A1: CommutativeSemigroup[A1], A2: CommutativeSemigroup[A2]): CommutativeFlatMap[[_] =>> (A0, A1, A2, _$45)]
Inherited from:
NTupleMonadInstances2
final implicit def catsStdCommutativeFlatMapForTuple5[A0, A1, A2, A3](implicit A0: CommutativeSemigroup[A0], A1: CommutativeSemigroup[A1], A2: CommutativeSemigroup[A2], A3: CommutativeSemigroup[A3]): CommutativeFlatMap[[_] =>> (A0, A1, A2, A3, _$47)]
Inherited from:
NTupleMonadInstances2
final implicit def catsStdCommutativeFlatMapForTuple6[A0, A1, A2, A3, A4](implicit A0: CommutativeSemigroup[A0], A1: CommutativeSemigroup[A1], A2: CommutativeSemigroup[A2], A3: CommutativeSemigroup[A3], A4: CommutativeSemigroup[A4]): CommutativeFlatMap[[_] =>> (A0, A1, A2, A3, A4, _$49)]
Inherited from:
NTupleMonadInstances2
final implicit def catsStdCommutativeFlatMapForTuple7[A0, A1, A2, A3, A4, A5](implicit A0: CommutativeSemigroup[A0], A1: CommutativeSemigroup[A1], A2: CommutativeSemigroup[A2], A3: CommutativeSemigroup[A3], A4: CommutativeSemigroup[A4], A5: CommutativeSemigroup[A5]): CommutativeFlatMap[[_] =>> (A0, A1, A2, A3, A4, A5, _$51)]
Inherited from:
NTupleMonadInstances2
final implicit def catsStdCommutativeFlatMapForTuple8[A0, A1, A2, A3, A4, A5, A6](implicit A0: CommutativeSemigroup[A0], A1: CommutativeSemigroup[A1], A2: CommutativeSemigroup[A2], A3: CommutativeSemigroup[A3], A4: CommutativeSemigroup[A4], A5: CommutativeSemigroup[A5], A6: CommutativeSemigroup[A6]): CommutativeFlatMap[[_] =>> (A0, A1, A2, A3, A4, A5, A6, _$53)]
Inherited from:
NTupleMonadInstances2
final implicit def catsStdCommutativeFlatMapForTuple9[A0, A1, A2, A3, A4, A5, A6, A7](implicit A0: CommutativeSemigroup[A0], A1: CommutativeSemigroup[A1], A2: CommutativeSemigroup[A2], A3: CommutativeSemigroup[A3], A4: CommutativeSemigroup[A4], A5: CommutativeSemigroup[A5], A6: CommutativeSemigroup[A6], A7: CommutativeSemigroup[A7]): CommutativeFlatMap[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, _$55)]
Inherited from:
NTupleMonadInstances2
Inherited from:
NTupleMonadInstances1
final implicit def catsStdCommutativeMonadForTuple10[A0, A1, A2, A3, A4, A5, A6, A7, A8](implicit A0: CommutativeMonoid[A0], A1: CommutativeMonoid[A1], A2: CommutativeMonoid[A2], A3: CommutativeMonoid[A3], A4: CommutativeMonoid[A4], A5: CommutativeMonoid[A5], A6: CommutativeMonoid[A6], A7: CommutativeMonoid[A7], A8: CommutativeMonoid[A8]): CommutativeMonad[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, A8, _$37)]
Inherited from:
NTupleMonadInstances1
final implicit def catsStdCommutativeMonadForTuple11[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9](implicit A0: CommutativeMonoid[A0], A1: CommutativeMonoid[A1], A2: CommutativeMonoid[A2], A3: CommutativeMonoid[A3], A4: CommutativeMonoid[A4], A5: CommutativeMonoid[A5], A6: CommutativeMonoid[A6], A7: CommutativeMonoid[A7], A8: CommutativeMonoid[A8], A9: CommutativeMonoid[A9]): CommutativeMonad[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, _$39)]
Inherited from:
NTupleMonadInstances1
final implicit def catsStdCommutativeMonadForTuple2[A0](implicit A0: CommutativeMonoid[A0]): CommutativeMonad[[_] =>> (A0, _$21)]
Inherited from:
NTupleMonadInstances1
final implicit def catsStdCommutativeMonadForTuple3[A0, A1](implicit A0: CommutativeMonoid[A0], A1: CommutativeMonoid[A1]): CommutativeMonad[[_] =>> (A0, A1, _$23)]
Inherited from:
NTupleMonadInstances1
final implicit def catsStdCommutativeMonadForTuple4[A0, A1, A2](implicit A0: CommutativeMonoid[A0], A1: CommutativeMonoid[A1], A2: CommutativeMonoid[A2]): CommutativeMonad[[_] =>> (A0, A1, A2, _$25)]
Inherited from:
NTupleMonadInstances1
final implicit def catsStdCommutativeMonadForTuple5[A0, A1, A2, A3](implicit A0: CommutativeMonoid[A0], A1: CommutativeMonoid[A1], A2: CommutativeMonoid[A2], A3: CommutativeMonoid[A3]): CommutativeMonad[[_] =>> (A0, A1, A2, A3, _$27)]
Inherited from:
NTupleMonadInstances1
final implicit def catsStdCommutativeMonadForTuple6[A0, A1, A2, A3, A4](implicit A0: CommutativeMonoid[A0], A1: CommutativeMonoid[A1], A2: CommutativeMonoid[A2], A3: CommutativeMonoid[A3], A4: CommutativeMonoid[A4]): CommutativeMonad[[_] =>> (A0, A1, A2, A3, A4, _$29)]
Inherited from:
NTupleMonadInstances1
final implicit def catsStdCommutativeMonadForTuple7[A0, A1, A2, A3, A4, A5](implicit A0: CommutativeMonoid[A0], A1: CommutativeMonoid[A1], A2: CommutativeMonoid[A2], A3: CommutativeMonoid[A3], A4: CommutativeMonoid[A4], A5: CommutativeMonoid[A5]): CommutativeMonad[[_] =>> (A0, A1, A2, A3, A4, A5, _$31)]
Inherited from:
NTupleMonadInstances1
final implicit def catsStdCommutativeMonadForTuple8[A0, A1, A2, A3, A4, A5, A6](implicit A0: CommutativeMonoid[A0], A1: CommutativeMonoid[A1], A2: CommutativeMonoid[A2], A3: CommutativeMonoid[A3], A4: CommutativeMonoid[A4], A5: CommutativeMonoid[A5], A6: CommutativeMonoid[A6]): CommutativeMonad[[_] =>> (A0, A1, A2, A3, A4, A5, A6, _$33)]
Inherited from:
NTupleMonadInstances1
final implicit def catsStdCommutativeMonadForTuple9[A0, A1, A2, A3, A4, A5, A6, A7](implicit A0: CommutativeMonoid[A0], A1: CommutativeMonoid[A1], A2: CommutativeMonoid[A2], A3: CommutativeMonoid[A3], A4: CommutativeMonoid[A4], A5: CommutativeMonoid[A5], A6: CommutativeMonoid[A6], A7: CommutativeMonoid[A7]): CommutativeMonad[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, _$35)]
Inherited from:
NTupleMonadInstances1
Inherited from:
NTupleMonadInstances4
implicit def catsStdFlatMapForTuple10[A0, A1, A2, A3, A4, A5, A6, A7, A8](implicit A0: Semigroup[A0], A1: Semigroup[A1], A2: Semigroup[A2], A3: Semigroup[A3], A4: Semigroup[A4], A5: Semigroup[A5], A6: Semigroup[A6], A7: Semigroup[A7], A8: Semigroup[A8]): FlatMap[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, A8, _$89)]
Inherited from:
NTupleMonadInstances4
implicit def catsStdFlatMapForTuple11[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9](implicit A0: Semigroup[A0], A1: Semigroup[A1], A2: Semigroup[A2], A3: Semigroup[A3], A4: Semigroup[A4], A5: Semigroup[A5], A6: Semigroup[A6], A7: Semigroup[A7], A8: Semigroup[A8], A9: Semigroup[A9]): FlatMap[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, _$90)]
Inherited from:
NTupleMonadInstances4
implicit def catsStdFlatMapForTuple2[A0](implicit A0: Semigroup[A0]): FlatMap[[_] =>> (A0, _$81)]
Inherited from:
NTupleMonadInstances4
implicit def catsStdFlatMapForTuple3[A0, A1](implicit A0: Semigroup[A0], A1: Semigroup[A1]): FlatMap[[_] =>> (A0, A1, _$82)]
Inherited from:
NTupleMonadInstances4
implicit def catsStdFlatMapForTuple4[A0, A1, A2](implicit A0: Semigroup[A0], A1: Semigroup[A1], A2: Semigroup[A2]): FlatMap[[_] =>> (A0, A1, A2, _$83)]
Inherited from:
NTupleMonadInstances4
implicit def catsStdFlatMapForTuple5[A0, A1, A2, A3](implicit A0: Semigroup[A0], A1: Semigroup[A1], A2: Semigroup[A2], A3: Semigroup[A3]): FlatMap[[_] =>> (A0, A1, A2, A3, _$84)]
Inherited from:
NTupleMonadInstances4
implicit def catsStdFlatMapForTuple6[A0, A1, A2, A3, A4](implicit A0: Semigroup[A0], A1: Semigroup[A1], A2: Semigroup[A2], A3: Semigroup[A3], A4: Semigroup[A4]): FlatMap[[_] =>> (A0, A1, A2, A3, A4, _$85)]
Inherited from:
NTupleMonadInstances4
implicit def catsStdFlatMapForTuple7[A0, A1, A2, A3, A4, A5](implicit A0: Semigroup[A0], A1: Semigroup[A1], A2: Semigroup[A2], A3: Semigroup[A3], A4: Semigroup[A4], A5: Semigroup[A5]): FlatMap[[_] =>> (A0, A1, A2, A3, A4, A5, _$86)]
Inherited from:
NTupleMonadInstances4
implicit def catsStdFlatMapForTuple8[A0, A1, A2, A3, A4, A5, A6](implicit A0: Semigroup[A0], A1: Semigroup[A1], A2: Semigroup[A2], A3: Semigroup[A3], A4: Semigroup[A4], A5: Semigroup[A5], A6: Semigroup[A6]): FlatMap[[_] =>> (A0, A1, A2, A3, A4, A5, A6, _$87)]
Inherited from:
NTupleMonadInstances4
implicit def catsStdFlatMapForTuple9[A0, A1, A2, A3, A4, A5, A6, A7](implicit A0: Semigroup[A0], A1: Semigroup[A1], A2: Semigroup[A2], A3: Semigroup[A3], A4: Semigroup[A4], A5: Semigroup[A5], A6: Semigroup[A6], A7: Semigroup[A7]): FlatMap[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, _$88)]
Inherited from:
NTupleMonadInstances4
Inherited from:
NTupleMonadInstances
final implicit def catsStdInstancesForTuple10[A0, A1, A2, A3, A4, A5, A6, A7, A8]: Comonad[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, A8, _$17)]
Inherited from:
NTupleMonadInstances
final implicit def catsStdInstancesForTuple11[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9]: Comonad[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, _$19)]
Inherited from:
NTupleMonadInstances
final implicit def catsStdInstancesForTuple2[A0]: Comonad[[_] =>> (A0, _$1)]
Inherited from:
NTupleMonadInstances
final implicit def catsStdInstancesForTuple3[A0, A1]: Comonad[[_] =>> (A0, A1, _$3)]
Inherited from:
NTupleMonadInstances
final implicit def catsStdInstancesForTuple4[A0, A1, A2]: Comonad[[_] =>> (A0, A1, A2, _$5)]
Inherited from:
NTupleMonadInstances
final implicit def catsStdInstancesForTuple5[A0, A1, A2, A3]: Comonad[[_] =>> (A0, A1, A2, A3, _$7)]
Inherited from:
NTupleMonadInstances
final implicit def catsStdInstancesForTuple6[A0, A1, A2, A3, A4]: Comonad[[_] =>> (A0, A1, A2, A3, A4, _$9)]
Inherited from:
NTupleMonadInstances
final implicit def catsStdInstancesForTuple7[A0, A1, A2, A3, A4, A5]: Comonad[[_] =>> (A0, A1, A2, A3, A4, A5, _$11)]
Inherited from:
NTupleMonadInstances
final implicit def catsStdInstancesForTuple8[A0, A1, A2, A3, A4, A5, A6]: Comonad[[_] =>> (A0, A1, A2, A3, A4, A5, A6, _$13)]
Inherited from:
NTupleMonadInstances
final implicit def catsStdInstancesForTuple9[A0, A1, A2, A3, A4, A5, A6, A7]: Comonad[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, _$15)]
Inherited from:
NTupleMonadInstances
Inherited from:
NTupleMonadInstances5
implicit def catsStdInvariantForTuple10[A0, A1, A2, A3, A4, A5, A6, A7, A8]: Invariant[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, A8, _$107)]
Inherited from:
NTupleMonadInstances5
implicit def catsStdInvariantForTuple11[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9]: Invariant[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, _$109)]
Inherited from:
NTupleMonadInstances5
implicit def catsStdInvariantForTuple2[A0]: Invariant[[_] =>> (A0, _$91)]
Inherited from:
NTupleMonadInstances5
implicit def catsStdInvariantForTuple3[A0, A1]: Invariant[[_] =>> (A0, A1, _$93)]
Inherited from:
NTupleMonadInstances5
implicit def catsStdInvariantForTuple4[A0, A1, A2]: Invariant[[_] =>> (A0, A1, A2, _$95)]
Inherited from:
NTupleMonadInstances5
implicit def catsStdInvariantForTuple5[A0, A1, A2, A3]: Invariant[[_] =>> (A0, A1, A2, A3, _$97)]
Inherited from:
NTupleMonadInstances5
implicit def catsStdInvariantForTuple6[A0, A1, A2, A3, A4]: Invariant[[_] =>> (A0, A1, A2, A3, A4, _$99)]
Inherited from:
NTupleMonadInstances5
implicit def catsStdInvariantForTuple7[A0, A1, A2, A3, A4, A5]: Invariant[[_] =>> (A0, A1, A2, A3, A4, A5, _$101)]
Inherited from:
NTupleMonadInstances5
implicit def catsStdInvariantForTuple8[A0, A1, A2, A3, A4, A5, A6]: Invariant[[_] =>> (A0, A1, A2, A3, A4, A5, A6, _$103)]
Inherited from:
NTupleMonadInstances5
implicit def catsStdInvariantForTuple9[A0, A1, A2, A3, A4, A5, A6, A7]: Invariant[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, _$105)]
Inherited from:
NTupleMonadInstances5
Inherited from:
NTupleMonadInstances3
implicit def catsStdMonadForTuple10[A0, A1, A2, A3, A4, A5, A6, A7, A8](implicit A0: Monoid[A0], A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3], A4: Monoid[A4], A5: Monoid[A5], A6: Monoid[A6], A7: Monoid[A7], A8: Monoid[A8]): Monad[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, A8, _$77)]
Inherited from:
NTupleMonadInstances3
implicit def catsStdMonadForTuple11[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9](implicit A0: Monoid[A0], A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3], A4: Monoid[A4], A5: Monoid[A5], A6: Monoid[A6], A7: Monoid[A7], A8: Monoid[A8], A9: Monoid[A9]): Monad[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, _$79)]
Inherited from:
NTupleMonadInstances3
implicit def catsStdMonadForTuple2[A0](implicit A0: Monoid[A0]): Monad[[_] =>> (A0, _$61)]
Inherited from:
NTupleMonadInstances3
implicit def catsStdMonadForTuple3[A0, A1](implicit A0: Monoid[A0], A1: Monoid[A1]): Monad[[_] =>> (A0, A1, _$63)]
Inherited from:
NTupleMonadInstances3
implicit def catsStdMonadForTuple4[A0, A1, A2](implicit A0: Monoid[A0], A1: Monoid[A1], A2: Monoid[A2]): Monad[[_] =>> (A0, A1, A2, _$65)]
Inherited from:
NTupleMonadInstances3
implicit def catsStdMonadForTuple5[A0, A1, A2, A3](implicit A0: Monoid[A0], A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3]): Monad[[_] =>> (A0, A1, A2, A3, _$67)]
Inherited from:
NTupleMonadInstances3
implicit def catsStdMonadForTuple6[A0, A1, A2, A3, A4](implicit A0: Monoid[A0], A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3], A4: Monoid[A4]): Monad[[_] =>> (A0, A1, A2, A3, A4, _$69)]
Inherited from:
NTupleMonadInstances3
implicit def catsStdMonadForTuple7[A0, A1, A2, A3, A4, A5](implicit A0: Monoid[A0], A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3], A4: Monoid[A4], A5: Monoid[A5]): Monad[[_] =>> (A0, A1, A2, A3, A4, A5, _$71)]
Inherited from:
NTupleMonadInstances3
implicit def catsStdMonadForTuple8[A0, A1, A2, A3, A4, A5, A6](implicit A0: Monoid[A0], A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3], A4: Monoid[A4], A5: Monoid[A5], A6: Monoid[A6]): Monad[[_] =>> (A0, A1, A2, A3, A4, A5, A6, _$73)]
Inherited from:
NTupleMonadInstances3
implicit def catsStdMonadForTuple9[A0, A1, A2, A3, A4, A5, A6, A7](implicit A0: Monoid[A0], A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3], A4: Monoid[A4], A5: Monoid[A5], A6: Monoid[A6], A7: Monoid[A7]): Monad[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, _$75)]
Inherited from:
NTupleMonadInstances3

Deprecated and Inherited implicits

@deprecated("Use catsInstancesForLazyList", "3.0.0")
Deprecated
Inherited from:
ScalaVersionSpecificInvariantInstances