scalaz/scalaz/IsomorphismsLow0

IsomorphismsLow0

sealed abstract
class IsomorphismsLow0 extends IsomorphismsLow1
class Object
trait Matchable
class Any

Implicits

Implicits

implicit
def isoNaturalRefl[F[_]]: F <none> F

Natural isomorphism is reflexive

Natural isomorphism is reflexive

implicit
def isoRefl[A]: A <none> A

Set isomorphism is reflexive

Set isomorphism is reflexive

Inherited implicits

implicit
def isoCommutative[A, B](implicit i: A <none> B): B <none> A

Set isomorphism is commutative

Set isomorphism is commutative

Inherited from
IsomorphismsLow1
implicit
def isoNaturalCommutative[F[_], G[_]](implicit i: F <none> G): G <none> F

Natural isomorphism is commutative

Natural isomorphism is commutative

Inherited from
IsomorphismsLow1