scalaz-core/scalaz/BijectionT

BijectionT

final
class BijectionT[F[_], G[_], A, B]
Companion
object
class Object
trait Matchable
class Any
BijectionT[F, G, A, B]

Value members

Concrete methods

def ***[C, D](g: Bijection[C, D])(implicit evF: F[B] === Id[B], evG: G[A] === Id[A]): Bijection[(A, C), (B, D)]
def <=<[C](that: BijectionT[F, G, C, A])(implicit FM: Bind[F], GM: Bind[G]): BijectionT[F, G, C, B]

alias for compose

alias for compose

def >=>[C](that: BijectionT[F, G, B, C])(implicit M: Bind[F], GM: Bind[G]): BijectionT[F, G, A, C]

alias for andThen

alias for andThen

def ^^^[C, D](g: Bijection[C, D])(implicit evF: F[B] === Id[B], evG: G[A] === Id[A]): Bijection[A \/ C, B \/ D]
def andThen[C](that: BijectionT[F, G, B, C])(implicit M: Bind[F], GM: Bind[G]): BijectionT[F, G, A, C]
def bimap[C, X[_, _], D](g: Bijection[C, D])(implicit F: Bifunctor[X], evF: F[B] === Id[B], evG: G[A] === Id[A]): Bijection[X[A, C], X[B, D]]
def compose[C](g: BijectionT[F, G, C, A])(implicit FM: Bind[F], GM: Bind[G]): BijectionT[F, G, C, B]
def flip: BijectionT[G, F, B, A]
def from(b: B): G[A]
def fromK: Kleisli[G, B, A]
def lens(implicit evF: F[B] === Id[B], evG: G[A] === Id[A]): Lens[A, B]
def partial(implicit evF: F[B] === Id[B], evG: G[A] === Id[A]): PLens[A, B]
def to(a: A): F[B]
def toK: Kleisli[F, A, B]
def unary_~(implicit evF: F[B] === Id[B], evG: G[A] === Id[A]): PLens[A, B]

alias for partial

alias for partial