InvariantK

perspective.InvariantK
See theInvariantK companion object
trait InvariantK[F[_[_], _]]

Attributes

Companion
object
Source
InvariantK.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ContravariantK[F]
trait FunctorK[F]
trait ApplyK[F]
trait ApplicativeK[F]
trait MonadK[F]
trait TraverseK[F]
Show all

Members list

Extensions

Extensions

extension [A[_], C](fa: F[A, C])
def imapK[B[_]](f: FunctionK[A, B])(g: FunctionK[B, A]): F[B, C]

A higher kinded equivalent of cats.Invariant.imap.

A higher kinded equivalent of cats.Invariant.imap.

Attributes

Source
InvariantK.scala