cats-docs
2.9.0
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
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

Members list

Concise view

Type members

Classlikes

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

Attributes

Source:
Invariant.scala
Graph
Supertypes
trait Ops[F, A]
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 Ops[F[_], A] extends Serializable

Attributes

Source:
Invariant.scala
Graph
Supertypes
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]
trait ToInvariantOps extends Serializable

Attributes

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

Deprecated classlikes

object nonInheritedOps extends ToInvariantOps

Attributes

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

Attributes

Deprecated
true
Source:
Invariant.scala
Graph
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 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 val catsInvariantBand: Invariant[Band]

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 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 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)]
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)]
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)]
final implicit def catsStdInstancesForTuple2[A0]: Comonad[[_] =>> (A0, _$2)]
final implicit def catsStdInstancesForTuple3[A0, A1]: Comonad[[_] =>> (A0, A1, _$3)]
final implicit def catsStdInstancesForTuple4[A0, A1, A2]: Comonad[[_] =>> (A0, A1, A2, _$4)]
final implicit def catsStdInstancesForTuple5[A0, A1, A2, A3]: Comonad[[_] =>> (A0, A1, A2, A3, _$5)]
final implicit def catsStdInstancesForTuple6[A0, A1, A2, A3, A4]: Comonad[[_] =>> (A0, A1, A2, A3, A4, _$6)]
final implicit def catsStdInstancesForTuple7[A0, A1, A2, A3, A4, A5]: Comonad[[_] =>> (A0, A1, A2, A3, A4, A5, _$7)]
final implicit def catsStdInstancesForTuple8[A0, A1, A2, A3, A4, A5, A6]: Comonad[[_] =>> (A0, A1, A2, A3, A4, A5, A6, _$8)]
final implicit def catsStdInstancesForTuple9[A0, A1, A2, A3, A4, A5, A6, A7]: Comonad[[_] =>> (A0, A1, A2, A3, A4, A5, A6, A7, _$9)]
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
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL