cats-docs
2.10.0
API
Generated with
cats-docs/cats/Invariant

Invariant

cats.Invariant$
See theInvariant companion trait
object Invariant

Attributes

Companion
trait
Source
Invariant.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Invariant.type

Members list

Type members

Classlikes

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

Attributes

Source
Invariant.scala
Supertypes
trait Ops[F, A]
trait Serializable
class Object
trait Matchable
class Any
Known subtypes
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
Show all
trait Ops[F[_], A] extends Serializable

Attributes

Source
Invariant.scala
Supertypes
trait Serializable
class Object
trait Matchable
class Any
Known subtypes
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
Show all
trait ToInvariantOps extends Serializable

Attributes

Source
Invariant.scala
Supertypes
trait Serializable
class Object
trait Matchable
class Any
Known subtypes
trait AllSyntax
object all.type
object implicits.type
object invariant.type
object nonInheritedOps.type
Show all

Deprecated classlikes

object nonInheritedOps extends ToInvariantOps

Attributes

Deprecated
true
Source
Invariant.scala
Supertypes
trait Serializable
class Object
trait Matchable
class Any
Self type
object ops

Attributes

Deprecated
true
Source
Invariant.scala
Supertypes
class Object
trait Matchable
class Any
Self type
ops.type

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.

Attributes

Source
Invariant.scala

Deprecated methods

def catsComonadForTuple2[A]: Comonad[[_] =>> (A, _$9)]

Attributes

Deprecated
true
Source
Invariant.scala

Deprecated and Inherited methods

def catsCommutativeFlatMapForTuple2[X](implicit X: CommutativeSemigroup[X]): CommutativeFlatMap[[_] =>> (X, _$22)]

Attributes

Deprecated
true
Inherited from:
TupleInstances0 (hidden)
Source
Invariant.scala
def catsCommutativeMonadForTuple2[X](implicit X: CommutativeMonoid[X]): CommutativeMonad[[_] =>> (X, _$17)]

Attributes

Deprecated
true
Inherited from:
InvariantInstances0 (hidden)
Source
Invariant.scala
def catsFlatMapForTuple2[X](implicit X: Semigroup[X]): FlatMap[[_] =>> (X, _$24)]

Attributes

Deprecated
true
Inherited from:
TupleInstances2 (hidden)
Source
Invariant.scala
def catsMonadForTuple2[X](implicit X: Monoid[X]): Monad[[_] =>> (X, _$23)]

Attributes

Deprecated
true
Inherited from:
TupleInstances1 (hidden)
Source
Invariant.scala

Implicits

Implicits

implicit def catsBimonadForFunction0: Bimonad[Function0]

Attributes

Source
Invariant.scala
implicit def catsContravariantForHash: Contravariant[Hash]

Attributes

Source
Invariant.scala
implicit def catsFlatMapForMap[K]: FlatMap[[_] =>> Map[K, _$6]]

Attributes

Source
Invariant.scala
implicit def catsFlatMapForSortedMap[K]: FlatMap[[_] =>> SortedMap[K, _$7]]

Attributes

Source
Invariant.scala
implicit def catsFunctorForPair: Functor[Tuple2]

Attributes

Source
Invariant.scala
implicit def catsInstancesForList: Monad[List] & Alternative[List] & CoflatMap[List]

Attributes

Source
Invariant.scala
implicit def catsInstancesForTry: MonadThrow[Try] & CoflatMap[Try]

Attributes

Source
Invariant.scala
implicit val catsInvariantBand: Invariant[Band]

Attributes

Source
Invariant.scala
implicit def catsInvariantForIntegral: Invariant[Integral]

Attributes

Source
Invariant.scala
implicit def catsInvariantForNumeric: Invariant[Numeric]

Attributes

Source
Invariant.scala
implicit val catsInvariantGroup: Invariant[Group]

Attributes

Source
Invariant.scala
implicit val catsInvariantMonoid: Invariant[Monoid]

Attributes

Source
Invariant.scala
implicit def catsMonadErrorForEither[A]: MonadError[[_] =>> Either[A, _$5], A]

Attributes

Source
Invariant.scala
implicit def catsMonadForTailRec: Monad[TailRec]

Attributes

Source
Invariant.scala

Inherited implicits

implicit def catsApplicativeForArrow[F[_, _], A](implicit F: Arrow[F]): Applicative[[_] =>> F[A, _$21]]

Attributes

Inherited from:
InvariantInstances2 (hidden)
Source
Invariant.scala
implicit def catsDistributiveForFunction1[I]: Distributive[[_] =>> I => _$16]

Attributes

Inherited from:
InvariantInstances0 (hidden)
Source
Invariant.scala
implicit def catsInstancesForSeq: Monad[Seq] & Alternative[Seq] & CoflatMap[Seq]

Attributes

Inherited from:
InvariantInstances2 (hidden)
Source
Invariant.scala
implicit def catsMonadForFunction1[I]: Monad[[_] =>> I => _$18]

Attributes

Inherited from:
InvariantInstances1 (hidden)
Source
Invariant.scala
final implicit def catsStdCommutativeFlatMapForTuple2[A0](implicit A0: CommutativeSemigroup[A0]): CommutativeFlatMap[[_] =>> (A0, _$32)]
final implicit def catsStdCommutativeFlatMapForTuple3[A0, A1](implicit A0: CommutativeSemigroup[A0], A1: CommutativeSemigroup[A1]): CommutativeFlatMap[[_] =>> (A0, A1, _$34)]
final implicit def catsStdCommutativeMonadForTuple2[A0](implicit A0: CommutativeMonoid[A0]): CommutativeMonad[[_] =>> (A0, _$12)]
final implicit def catsStdCommutativeMonadForTuple3[A0, A1](implicit A0: CommutativeMonoid[A0], A1: CommutativeMonoid[A1]): CommutativeMonad[[_] =>> (A0, A1, _$14)]
final implicit def catsStdCommutativeMonadForTuple4[A0, A1, A2](implicit A0: CommutativeMonoid[A0], A1: CommutativeMonoid[A1], A2: CommutativeMonoid[A2]): CommutativeMonad[[_] =>> (A0, A1, A2, _$16)]
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, _$18)]
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, _$80)]
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, _$81)]
implicit def catsStdFlatMapForTuple2[A0](implicit A0: Semigroup[A0]): FlatMap[[_] =>> (A0, _$72)]
implicit def catsStdFlatMapForTuple3[A0, A1](implicit A0: Semigroup[A0], A1: Semigroup[A1]): FlatMap[[_] =>> (A0, A1, _$73)]
implicit def catsStdFlatMapForTuple4[A0, A1, A2](implicit A0: Semigroup[A0], A1: Semigroup[A1], A2: Semigroup[A2]): FlatMap[[_] =>> (A0, A1, A2, _$74)]
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, _$75)]
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, _$76)]
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, _$77)]
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, _$78)]
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, _$79)]
final implicit def catsStdInstancesForTuple10[A0, A1, A2, A3, A4, A5, A6, A7, A8]: Comonad[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, A8, _$10)]

Attributes

Inherited from:
NTupleMonadInstances (hidden)
Source
NTupleMonadInstances.scala
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, _$11)]

Attributes

Inherited from:
NTupleMonadInstances (hidden)
Source
NTupleMonadInstances.scala
final implicit def catsStdInstancesForTuple2[A0]: Comonad[[_] =>> (A0, _$2)]

Attributes

Inherited from:
NTupleMonadInstances (hidden)
Source
NTupleMonadInstances.scala
final implicit def catsStdInstancesForTuple3[A0, A1]: Comonad[[_] =>> (A0, A1, _$3)]

Attributes

Inherited from:
NTupleMonadInstances (hidden)
Source
NTupleMonadInstances.scala
final implicit def catsStdInstancesForTuple4[A0, A1, A2]: Comonad[[_] =>> (A0, A1, A2, _$4)]

Attributes

Inherited from:
NTupleMonadInstances (hidden)
Source
NTupleMonadInstances.scala
final implicit def catsStdInstancesForTuple5[A0, A1, A2, A3]: Comonad[[_] =>> (A0, A1, A2, A3, _$5)]

Attributes

Inherited from:
NTupleMonadInstances (hidden)
Source
NTupleMonadInstances.scala
final implicit def catsStdInstancesForTuple6[A0, A1, A2, A3, A4]: Comonad[[_] =>> (A0, A1, A2, A3, A4, _$6)]

Attributes

Inherited from:
NTupleMonadInstances (hidden)
Source
NTupleMonadInstances.scala
final implicit def catsStdInstancesForTuple7[A0, A1, A2, A3, A4, A5]: Comonad[[_] =>> (A0, A1, A2, A3, A4, A5, _$7)]

Attributes

Inherited from:
NTupleMonadInstances (hidden)
Source
NTupleMonadInstances.scala
final implicit def catsStdInstancesForTuple8[A0, A1, A2, A3, A4, A5, A6]: Comonad[[_] =>> (A0, A1, A2, A3, A4, A5, A6, _$8)]

Attributes

Inherited from:
NTupleMonadInstances (hidden)
Source
NTupleMonadInstances.scala
final implicit def catsStdInstancesForTuple9[A0, A1, A2, A3, A4, A5, A6, A7]: Comonad[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, _$9)]

Attributes

Inherited from:
NTupleMonadInstances (hidden)
Source
NTupleMonadInstances.scala
implicit def catsStdInvariantForTuple10[A0, A1, A2, A3, A4, A5, A6, A7, A8]: Invariant[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, A8, _$90)]
implicit def catsStdInvariantForTuple11[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9]: Invariant[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, _$91)]
implicit def catsStdInvariantForTuple2[A0]: Invariant[[_] =>> (A0, _$82)]
implicit def catsStdInvariantForTuple3[A0, A1]: Invariant[[_] =>> (A0, A1, _$83)]
implicit def catsStdInvariantForTuple4[A0, A1, A2]: Invariant[[_] =>> (A0, A1, A2, _$84)]
implicit def catsStdInvariantForTuple5[A0, A1, A2, A3]: Invariant[[_] =>> (A0, A1, A2, A3, _$85)]
implicit def catsStdInvariantForTuple6[A0, A1, A2, A3, A4]: Invariant[[_] =>> (A0, A1, A2, A3, A4, _$86)]
implicit def catsStdInvariantForTuple7[A0, A1, A2, A3, A4, A5]: Invariant[[_] =>> (A0, A1, A2, A3, A4, A5, _$87)]
implicit def catsStdInvariantForTuple8[A0, A1, A2, A3, A4, A5, A6]: Invariant[[_] =>> (A0, A1, A2, A3, A4, A5, A6, _$88)]
implicit def catsStdInvariantForTuple9[A0, A1, A2, A3, A4, A5, A6, A7]: Invariant[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, _$89)]
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, _$68)]
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, _$70)]
implicit def catsStdMonadForTuple2[A0](implicit A0: Monoid[A0]): Monad[[_] =>> (A0, _$52)]
implicit def catsStdMonadForTuple3[A0, A1](implicit A0: Monoid[A0], A1: Monoid[A1]): Monad[[_] =>> (A0, A1, _$54)]
implicit def catsStdMonadForTuple4[A0, A1, A2](implicit A0: Monoid[A0], A1: Monoid[A1], A2: Monoid[A2]): Monad[[_] =>> (A0, A1, A2, _$56)]
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, _$58)]
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, _$60)]
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, _$62)]
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, _$64)]
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, _$66)]

Deprecated and Inherited implicits

Generated with