object Invariant extends ScalaVersionSpecificInvariantInstances with InvariantInstances0 with Serializable
- Annotations
- @suppressUnusedImportWarningForScalaVersionSpecific()
- Source
- Invariant.scala
- Alphabetic
- By Inheritance
- Invariant
- Serializable
- Serializable
- InvariantInstances0
- InvariantInstances1
- InvariantInstances2
- TupleInstances0
- TupleInstances1
- TupleInstances2
- NTupleMonadInstances
- NTupleMonadInstances1
- NTupleMonadInstances2
- NTupleMonadInstances3
- NTupleMonadInstances4
- NTupleMonadInstances5
- ScalaVersionSpecificInvariantInstances
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
- trait AllOps[F[_], A] extends Ops[F, A]
- trait Ops[F[_], A] extends Serializable
- trait ToInvariantOps extends Serializable
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
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()
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
implicit
def
catsApplicativeForArrow[F[_, _], A](implicit F: Arrow[F]): Applicative[[β$9$]F[A, β$9$]]
- Definition Classes
- InvariantInstances2
- implicit def catsBimonadForFunction0: Bimonad[Function0]
-
implicit
def
catsContravariantForFunction1[R]: Contravariant[[α$5$](α$5$) ⇒ R]
- Definition Classes
- InvariantInstances0
- implicit def catsContravariantForHash: Contravariant[Hash]
- implicit def catsContravariantMonoidalForEq: ContravariantMonoidal[Eq]
- implicit def catsContravariantMonoidalForEquiv: ContravariantMonoidal[Equiv]
- implicit def catsContravariantMonoidalForFunction1[R](implicit arg0: Monoid[R]): ContravariantMonoidal[[α$3$](α$3$) ⇒ R]
- implicit def catsContravariantMonoidalForOrder: ContravariantMonoidal[Order]
- implicit def catsContravariantMonoidalForOrdering: ContravariantMonoidal[Ordering]
- implicit def catsContravariantMonoidalForPartialOrder: ContravariantMonoidal[PartialOrder]
- implicit def catsContravariantMonoidalForPartialOrdering: ContravariantMonoidal[PartialOrdering]
-
implicit
def
catsDistributiveForFunction0: Distributive[Function0]
- Definition Classes
- InvariantInstances0
-
implicit
def
catsDistributiveForFunction1[I]: Distributive[[β$6$](I) ⇒ β$6$]
- Definition Classes
- InvariantInstances0
- implicit def catsFlatMapForMap[K]: FlatMap[[β$1$]Map[K, β$1$]]
- implicit def catsFlatMapForSortedMap[K]: FlatMap[[β$2$]SortedMap[K, β$2$]]
- implicit def catsFunctorForPair: Functor[[P](P, P)]
- implicit def catsInstancesForId: Distributive[Id] with Bimonad[Id] with CommutativeMonad[Id] with NonEmptyTraverse[Id]
- implicit def catsInstancesForList: Monad[List] with Alternative[List] with CoflatMap[List]
- implicit def catsInstancesForOption: MonadError[Option, Unit] with Alternative[Option] with CoflatMap[Option] with CommutativeMonad[Option]
- implicit def catsInstancesForQueue: Monad[Queue] with Alternative[Queue] with CoflatMap[Queue]
-
implicit
def
catsInstancesForSeq: Monad[Seq] with Alternative[Seq] with CoflatMap[Seq]
- Definition Classes
- InvariantInstances2
-
implicit
def
catsInstancesForStream: Monad[Stream] with Alternative[Stream] with CoflatMap[Stream]
- Definition Classes
- ScalaVersionSpecificInvariantInstances
- implicit def catsInstancesForTry: MonadThrow[Try] with CoflatMap[Try]
- implicit def catsInstancesForVector: Monad[Vector] with Alternative[Vector] with CoflatMap[Vector]
- implicit val catsInvariantBand: Invariant[Band]
- implicit val catsInvariantBoundedSemilattice: Invariant[BoundedSemilattice]
- implicit val catsInvariantCommutativeGroup: Invariant[CommutativeGroup]
- implicit val catsInvariantCommutativeMonoid: Invariant[CommutativeMonoid]
- implicit def catsInvariantForFractional: Invariant[Fractional]
- implicit def catsInvariantForIntegral: Invariant[Integral]
- implicit def catsInvariantForNumeric: Invariant[Numeric]
- implicit val catsInvariantGroup: Invariant[Group]
- implicit val catsInvariantMonoid: Invariant[Monoid]
- implicit def catsInvariantMonoidalForCommutativeSemigroup: InvariantMonoidal[CommutativeSemigroup]
- implicit def catsInvariantMonoidalForSemigroup: InvariantMonoidal[Semigroup]
- implicit def catsInvariantSemigroupalForMonoid: InvariantSemigroupal[Monoid]
- implicit val catsInvariantSemilattice: Invariant[Semilattice]
- implicit def catsMonadErrorForEither[A]: MonadError[[β$0$]Either[A, β$0$], A]
-
implicit
def
catsMonadForFunction1[I]: Monad[[β$8$](I) ⇒ β$8$]
- Definition Classes
- InvariantInstances1
- implicit def catsMonadForTailRec: Monad[TailRec]
-
implicit final
def
catsStdCommutativeFlatMapForTuple1: CommutativeFlatMap[Tuple1]
- Definition Classes
- NTupleMonadInstances2
-
implicit final
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[[κ$46$](A0, A1, A2, A3, A4, A5, A6, A7, A8, κ$46$)]
- Definition Classes
- NTupleMonadInstances2
-
implicit final
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[[λ$48$](A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, λ$48$)]
- Definition Classes
- NTupleMonadInstances2
-
implicit final
def
catsStdCommutativeFlatMapForTuple2[A0](implicit A0: CommutativeSemigroup[A0]): CommutativeFlatMap[[β$30$](A0, β$30$)]
- Definition Classes
- NTupleMonadInstances2
-
implicit final
def
catsStdCommutativeFlatMapForTuple3[A0, A1](implicit A0: CommutativeSemigroup[A0], A1: CommutativeSemigroup[A1]): CommutativeFlatMap[[γ$32$](A0, A1, γ$32$)]
- Definition Classes
- NTupleMonadInstances2
-
implicit final
def
catsStdCommutativeFlatMapForTuple4[A0, A1, A2](implicit A0: CommutativeSemigroup[A0], A1: CommutativeSemigroup[A1], A2: CommutativeSemigroup[A2]): CommutativeFlatMap[[δ$34$](A0, A1, A2, δ$34$)]
- Definition Classes
- NTupleMonadInstances2
-
implicit final
def
catsStdCommutativeFlatMapForTuple5[A0, A1, A2, A3](implicit A0: CommutativeSemigroup[A0], A1: CommutativeSemigroup[A1], A2: CommutativeSemigroup[A2], A3: CommutativeSemigroup[A3]): CommutativeFlatMap[[ε$36$](A0, A1, A2, A3, ε$36$)]
- Definition Classes
- NTupleMonadInstances2
-
implicit final
def
catsStdCommutativeFlatMapForTuple6[A0, A1, A2, A3, A4](implicit A0: CommutativeSemigroup[A0], A1: CommutativeSemigroup[A1], A2: CommutativeSemigroup[A2], A3: CommutativeSemigroup[A3], A4: CommutativeSemigroup[A4]): CommutativeFlatMap[[ζ$38$](A0, A1, A2, A3, A4, ζ$38$)]
- Definition Classes
- NTupleMonadInstances2
-
implicit final
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[[η$40$](A0, A1, A2, A3, A4, A5, η$40$)]
- Definition Classes
- NTupleMonadInstances2
-
implicit final
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[[θ$42$](A0, A1, A2, A3, A4, A5, A6, θ$42$)]
- Definition Classes
- NTupleMonadInstances2
-
implicit final
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[[ι$44$](A0, A1, A2, A3, A4, A5, A6, A7, ι$44$)]
- Definition Classes
- NTupleMonadInstances2
-
implicit final
def
catsStdCommutativeMonadForTuple1: CommutativeMonad[Tuple1]
- Definition Classes
- NTupleMonadInstances1
-
implicit final
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[[κ$26$](A0, A1, A2, A3, A4, A5, A6, A7, A8, κ$26$)]
- Definition Classes
- NTupleMonadInstances1
-
implicit final
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[[λ$28$](A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, λ$28$)]
- Definition Classes
- NTupleMonadInstances1
-
implicit final
def
catsStdCommutativeMonadForTuple2[A0](implicit A0: CommutativeMonoid[A0]): CommutativeMonad[[β$10$](A0, β$10$)]
- Definition Classes
- NTupleMonadInstances1
-
implicit final
def
catsStdCommutativeMonadForTuple3[A0, A1](implicit A0: CommutativeMonoid[A0], A1: CommutativeMonoid[A1]): CommutativeMonad[[γ$12$](A0, A1, γ$12$)]
- Definition Classes
- NTupleMonadInstances1
-
implicit final
def
catsStdCommutativeMonadForTuple4[A0, A1, A2](implicit A0: CommutativeMonoid[A0], A1: CommutativeMonoid[A1], A2: CommutativeMonoid[A2]): CommutativeMonad[[δ$14$](A0, A1, A2, δ$14$)]
- Definition Classes
- NTupleMonadInstances1
-
implicit final
def
catsStdCommutativeMonadForTuple5[A0, A1, A2, A3](implicit A0: CommutativeMonoid[A0], A1: CommutativeMonoid[A1], A2: CommutativeMonoid[A2], A3: CommutativeMonoid[A3]): CommutativeMonad[[ε$16$](A0, A1, A2, A3, ε$16$)]
- Definition Classes
- NTupleMonadInstances1
-
implicit final
def
catsStdCommutativeMonadForTuple6[A0, A1, A2, A3, A4](implicit A0: CommutativeMonoid[A0], A1: CommutativeMonoid[A1], A2: CommutativeMonoid[A2], A3: CommutativeMonoid[A3], A4: CommutativeMonoid[A4]): CommutativeMonad[[ζ$18$](A0, A1, A2, A3, A4, ζ$18$)]
- Definition Classes
- NTupleMonadInstances1
-
implicit final
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[[η$20$](A0, A1, A2, A3, A4, A5, η$20$)]
- Definition Classes
- NTupleMonadInstances1
-
implicit final
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[[θ$22$](A0, A1, A2, A3, A4, A5, A6, θ$22$)]
- Definition Classes
- NTupleMonadInstances1
-
implicit final
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[[ι$24$](A0, A1, A2, A3, A4, A5, A6, A7, ι$24$)]
- Definition Classes
- NTupleMonadInstances1
-
implicit
def
catsStdFlatMapForTuple1: FlatMap[Tuple1]
- Definition Classes
- 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[[κ$78$](A0, A1, A2, A3, A4, A5, A6, A7, A8, κ$78$)]
- Definition Classes
- 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[[λ$79$](A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, λ$79$)]
- Definition Classes
- NTupleMonadInstances4
-
implicit
def
catsStdFlatMapForTuple2[A0](implicit A0: Semigroup[A0]): FlatMap[[β$70$](A0, β$70$)]
- Definition Classes
- NTupleMonadInstances4
-
implicit
def
catsStdFlatMapForTuple3[A0, A1](implicit A0: Semigroup[A0], A1: Semigroup[A1]): FlatMap[[γ$71$](A0, A1, γ$71$)]
- Definition Classes
- NTupleMonadInstances4
-
implicit
def
catsStdFlatMapForTuple4[A0, A1, A2](implicit A0: Semigroup[A0], A1: Semigroup[A1], A2: Semigroup[A2]): FlatMap[[δ$72$](A0, A1, A2, δ$72$)]
- Definition Classes
- NTupleMonadInstances4
-
implicit
def
catsStdFlatMapForTuple5[A0, A1, A2, A3](implicit A0: Semigroup[A0], A1: Semigroup[A1], A2: Semigroup[A2], A3: Semigroup[A3]): FlatMap[[ε$73$](A0, A1, A2, A3, ε$73$)]
- Definition Classes
- 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[[ζ$74$](A0, A1, A2, A3, A4, ζ$74$)]
- Definition Classes
- 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[[η$75$](A0, A1, A2, A3, A4, A5, η$75$)]
- Definition Classes
- 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[[θ$76$](A0, A1, A2, A3, A4, A5, A6, θ$76$)]
- Definition Classes
- 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[[ι$77$](A0, A1, A2, A3, A4, A5, A6, A7, ι$77$)]
- Definition Classes
- NTupleMonadInstances4
-
implicit final
def
catsStdInstancesForTuple1: Comonad[Tuple1]
- Definition Classes
- NTupleMonadInstances
-
implicit final
def
catsStdInstancesForTuple10[A0, A1, A2, A3, A4, A5, A6, A7, A8]: Comonad[[κ$8$](A0, A1, A2, A3, A4, A5, A6, A7, A8, κ$8$)]
- Definition Classes
- NTupleMonadInstances
-
implicit final
def
catsStdInstancesForTuple11[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9]: Comonad[[λ$9$](A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, λ$9$)]
- Definition Classes
- NTupleMonadInstances
-
implicit final
def
catsStdInstancesForTuple2[A0]: Comonad[[β$0$](A0, β$0$)]
- Definition Classes
- NTupleMonadInstances
-
implicit final
def
catsStdInstancesForTuple3[A0, A1]: Comonad[[γ$1$](A0, A1, γ$1$)]
- Definition Classes
- NTupleMonadInstances
-
implicit final
def
catsStdInstancesForTuple4[A0, A1, A2]: Comonad[[δ$2$](A0, A1, A2, δ$2$)]
- Definition Classes
- NTupleMonadInstances
-
implicit final
def
catsStdInstancesForTuple5[A0, A1, A2, A3]: Comonad[[ε$3$](A0, A1, A2, A3, ε$3$)]
- Definition Classes
- NTupleMonadInstances
-
implicit final
def
catsStdInstancesForTuple6[A0, A1, A2, A3, A4]: Comonad[[ζ$4$](A0, A1, A2, A3, A4, ζ$4$)]
- Definition Classes
- NTupleMonadInstances
-
implicit final
def
catsStdInstancesForTuple7[A0, A1, A2, A3, A4, A5]: Comonad[[η$5$](A0, A1, A2, A3, A4, A5, η$5$)]
- Definition Classes
- NTupleMonadInstances
-
implicit final
def
catsStdInstancesForTuple8[A0, A1, A2, A3, A4, A5, A6]: Comonad[[θ$6$](A0, A1, A2, A3, A4, A5, A6, θ$6$)]
- Definition Classes
- NTupleMonadInstances
-
implicit final
def
catsStdInstancesForTuple9[A0, A1, A2, A3, A4, A5, A6, A7]: Comonad[[ι$7$](A0, A1, A2, A3, A4, A5, A6, A7, ι$7$)]
- Definition Classes
- NTupleMonadInstances
-
implicit
def
catsStdInvariantForTuple1: Invariant[Tuple1]
- Definition Classes
- NTupleMonadInstances5
-
implicit
def
catsStdInvariantForTuple10[A0, A1, A2, A3, A4, A5, A6, A7, A8]: Invariant[[κ$88$](A0, A1, A2, A3, A4, A5, A6, A7, A8, κ$88$)]
- Definition Classes
- NTupleMonadInstances5
-
implicit
def
catsStdInvariantForTuple11[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9]: Invariant[[λ$89$](A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, λ$89$)]
- Definition Classes
- NTupleMonadInstances5
-
implicit
def
catsStdInvariantForTuple2[A0]: Invariant[[β$80$](A0, β$80$)]
- Definition Classes
- NTupleMonadInstances5
-
implicit
def
catsStdInvariantForTuple3[A0, A1]: Invariant[[γ$81$](A0, A1, γ$81$)]
- Definition Classes
- NTupleMonadInstances5
-
implicit
def
catsStdInvariantForTuple4[A0, A1, A2]: Invariant[[δ$82$](A0, A1, A2, δ$82$)]
- Definition Classes
- NTupleMonadInstances5
-
implicit
def
catsStdInvariantForTuple5[A0, A1, A2, A3]: Invariant[[ε$83$](A0, A1, A2, A3, ε$83$)]
- Definition Classes
- NTupleMonadInstances5
-
implicit
def
catsStdInvariantForTuple6[A0, A1, A2, A3, A4]: Invariant[[ζ$84$](A0, A1, A2, A3, A4, ζ$84$)]
- Definition Classes
- NTupleMonadInstances5
-
implicit
def
catsStdInvariantForTuple7[A0, A1, A2, A3, A4, A5]: Invariant[[η$85$](A0, A1, A2, A3, A4, A5, η$85$)]
- Definition Classes
- NTupleMonadInstances5
-
implicit
def
catsStdInvariantForTuple8[A0, A1, A2, A3, A4, A5, A6]: Invariant[[θ$86$](A0, A1, A2, A3, A4, A5, A6, θ$86$)]
- Definition Classes
- NTupleMonadInstances5
-
implicit
def
catsStdInvariantForTuple9[A0, A1, A2, A3, A4, A5, A6, A7]: Invariant[[ι$87$](A0, A1, A2, A3, A4, A5, A6, A7, ι$87$)]
- Definition Classes
- NTupleMonadInstances5
-
implicit
def
catsStdMonadForTuple1: Monad[Tuple1]
- Definition Classes
- 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[[κ$66$](A0, A1, A2, A3, A4, A5, A6, A7, A8, κ$66$)]
- Definition Classes
- 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[[λ$68$](A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, λ$68$)]
- Definition Classes
- NTupleMonadInstances3
-
implicit
def
catsStdMonadForTuple2[A0](implicit A0: Monoid[A0]): Monad[[β$50$](A0, β$50$)]
- Definition Classes
- NTupleMonadInstances3
-
implicit
def
catsStdMonadForTuple3[A0, A1](implicit A0: Monoid[A0], A1: Monoid[A1]): Monad[[γ$52$](A0, A1, γ$52$)]
- Definition Classes
- NTupleMonadInstances3
-
implicit
def
catsStdMonadForTuple4[A0, A1, A2](implicit A0: Monoid[A0], A1: Monoid[A1], A2: Monoid[A2]): Monad[[δ$54$](A0, A1, A2, δ$54$)]
- Definition Classes
- NTupleMonadInstances3
-
implicit
def
catsStdMonadForTuple5[A0, A1, A2, A3](implicit A0: Monoid[A0], A1: Monoid[A1], A2: Monoid[A2], A3: Monoid[A3]): Monad[[ε$56$](A0, A1, A2, A3, ε$56$)]
- Definition Classes
- 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[[ζ$58$](A0, A1, A2, A3, A4, ζ$58$)]
- Definition Classes
- 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[[η$60$](A0, A1, A2, A3, A4, A5, η$60$)]
- Definition Classes
- 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[[θ$62$](A0, A1, A2, A3, A4, A5, A6, θ$62$)]
- Definition Classes
- 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[[ι$64$](A0, A1, A2, A3, A4, A5, A6, A7, ι$64$)]
- Definition Classes
- NTupleMonadInstances3
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
Deprecated Value Members
-
def
catsCommutativeFlatMapForTuple2[X](implicit X: CommutativeSemigroup[X]): CommutativeFlatMap[[β$10$](X, β$10$)]
- Definition Classes
- TupleInstances0
- Annotations
- @deprecated
- Deprecated
(Since version 2.4.0) Use catsStdCommutativeFlatMapForTuple2 in cats.instances.NTupleMonadInstances
-
def
catsCommutativeMonadForTuple2[X](implicit X: CommutativeMonoid[X]): CommutativeMonad[[β$7$](X, β$7$)]
- Definition Classes
- InvariantInstances0
- Annotations
- @deprecated
- Deprecated
(Since version 2.4.0) Use catsStdCommutativeMonadForTuple2 in cats.instances.NTupleMonadInstances
-
def
catsComonadForTuple2[A]: Comonad[[β$4$](A, β$4$)]
- Annotations
- @deprecated
- Deprecated
(Since version 2.4.0) Use catsStdInstancesForTuple2 in cats.instances.NTupleMonadInstances
-
def
catsFlatMapForTuple2[X](implicit X: Semigroup[X]): FlatMap[[β$12$](X, β$12$)]
- Definition Classes
- TupleInstances2
- Annotations
- @deprecated
- Deprecated
(Since version 2.4.0) Use catsStdFlatMapForTuple2 on cats.instances.NTupleMonadInstances
-
implicit
def
catsInstancesForFuture(implicit ec: ExecutionContext): MonadThrow[Future] with CoflatMap[Future]
- Deprecated
Any non-pure use of Future with Cats is error prone (particularly the semantics of traverse with regard to execution order are unspecified). We recommend using Cats Effect
IO
as a replacement for every use case of Future. However, at this time there are no plans to remove these instances from Cats.- See also
-
def
catsMonadForTuple2[X](implicit X: Monoid[X]): Monad[[β$11$](X, β$11$)]
- Definition Classes
- TupleInstances1
- Annotations
- @deprecated
- Deprecated
(Since version 2.4.0) Use catsStdMonadForTuple2 in cats.instances.NTupleMonadInstances
-
object
nonInheritedOps extends ToInvariantOps
- Annotations
- @deprecated
- Deprecated
(Since version 2.2.0) Use cats.syntax object imports
-
object
ops
- Annotations
- @deprecated
- Deprecated
(Since version 2.2.0) Use cats.syntax object imports