cats.Invariant
See theInvariant companion object
Must obey the laws defined in cats.laws.InvariantLaws.
Attributes
- Companion:
- object
- Source:
- Invariant.scala
- Graph
- Supertypes
- Known subtypes
- trait Contravariant[F]trait ContravariantSemigroupal[F]trait ContravariantMonoidal[F]trait Functor[F]trait Apply[F]trait Applicative[F]trait CommutativeApplicative[F]trait CommutativeMonad[F]trait Monad[F]trait Bimonad[F]trait StackSafeMonad[F]trait NonEmptyAlternative[F]trait Alternative[F]trait CommutativeApply[F]trait CommutativeFlatMap[F]trait FlatMap[F]trait CoflatMap[F]trait Comonad[F]trait Distributive[F]trait Traverse[F]trait NonEmptyTraverse[F]trait InvariantSemigroupal[F]trait InvariantMonoidal[F]
- Self type
- Invariant[F]