Isomorphisms

cats.laws.discipline.SemigroupalTests.Isomorphisms
See theIsomorphisms companion trait
object Isomorphisms

Attributes

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

Members list

Implicits

Implicits

implicit def composedInvariant[F[_], G[_]](implicit F: Invariant[F], G: Invariant[G]): Isomorphisms[[α] =>> F[G[α]]]

Attributes

Source
SemigroupalTests.scala
implicit def invariant[F[_]](implicit F: Invariant[F]): Isomorphisms[F]

Attributes

Source
SemigroupalTests.scala