perspective
0.3.0
DocsAPI
Generated with
perspective/perspective/InvariantK

InvariantK

perspective.InvariantK
See theInvariantK companion trait
object InvariantK

Attributes

Companion
trait
Source
InvariantK.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
InvariantK.type

Members list

Givens

Givens

given composeCatsInside[F[_[_]], G[_]](using F: InvariantKC[F], G: Invariant[G]): composeCatsInside[F, G]

Attributes

Source
InvariantK.scala
given composeCatsOutside[F[_], G[_[_]]](using F: Invariant[F], G: InvariantKC[G]): composeCatsOutside[F, G]

Attributes

Source
InvariantK.scala
given composeId[F[_], X](using F: Invariant[F]): InvariantKC[[H[_]] =>> F[H[X]]]

Attributes

Source
InvariantK.scala
given idInstanceC[A]: InvariantKC[IdFC[A]]

Attributes

Source
InvariantK.scala
Generated with