root/scalaz/Isomorphisms/Iso2

Iso2

trait Iso2[Arr[_[_], _[_]], F[_], G[_]]

Isomorphism for arrows of kind (* -> ) -> ( -> *) -> *

class Object
trait Matchable
class Any
Iso2[Arr, F, G]

Value members

Abstract methods

def from: Arr[G, F]
def to: Arr[F, G]

Concrete methods

def %~(f: NaturalTransformation[G, G])(implicit FG: Liskov[Arr[F, G], NaturalTransformation[F, G]], GF: Liskov[Arr[G, F], NaturalTransformation[G, F]]): NaturalTransformation[F, F]
def flip: Iso2[Arr, G, F]
def unlift[A](implicit FG: Liskov[Arr[F, G], NaturalTransformation[F, G]], GF: Liskov[Arr[G, F], NaturalTransformation[G, F]]): IsoSet[F[A], G[A]]