tmm-utils-cats/au.id.tmm.utilities.cats.classes/InvariantK

InvariantK

object InvariantK
Companion:
class
class Object
trait Matchable
class Any

Type members

Classlikes

trait MonadErrorE[E]
final class Ops[T[_[_]], F[_]]
trait ToInvariantKOps

Value members

Concrete methods

def apply[T[_[_]]](implicit T: InvariantK[T]): InvariantK[T]

Implicits

Implicits

implicit val tmmUtilsInvariantKForFunctor: InvariantK[[F[_]] =>> Functor[F]]
implicit val tmmUtilsInvariantKForMonad: InvariantK[[F[_]] =>> Monad[F]]
implicit val tmmUtilsInvariantKForMonoidK: InvariantK[[F[_]] =>> MonoidK[F]]