Iso

trait Iso[Arr[_, _], A, B]

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

class Object
trait Matchable
class Any
Iso[Arr, A, B]

Value members

Abstract methods

def from: Arr[B, A]
def to: Arr[A, B]

Concrete methods

def %~(f: Arr[B, B])(implicit C: Compose[Arr]): Arr[A, A]
def flip: Iso[Arr, B, A]