scalaz/scalaz/BijectionT

BijectionT

object BijectionT extends BijectionTInstances
Companion
class
class Object
trait Matchable
class Any

Type members

Types

type <@>[A, B] = Bijection[A, B]
type Bijection[A, B] = BijectionT[Id, Id, A, B]

Value members

Concrete methods

def bijection[F[_], G[_], A, B](t: A => F[B], f: B => G[A]): BijectionT[F, G, A, B]
def bijectionId[F[_], G[_], A](implicit PF: Applicative[F], PG: Applicative[G]): BijectionT[F, G, A, A]
def curryB[A, B, C]: Bijection[(A, B) => C, A => B => C]
def eitherB[A]: Bijection[A \/ A, (Boolean, A)]
def liftBijection[F[_], G[_], A, B](t: A => B, f: B => A)(implicit PF: Applicative[F], PG: Applicative[G]): BijectionT[F, G, A, B]
def tuple3B[A, B, C]: Bijection[(A, B, C), (A, (B, C))]
def tuple4B[A, B, C, D]: Bijection[(A, B, C, D), (A, (B, (C, D)))]
def tuple5B[A, B, C, D, E]: Bijection[(A, B, C, D, E), (A, (B, (C, (D, E))))]
def tuple6B[A, B, C, D, E, H]: Bijection[(A, B, C, D, E, H), (A, (B, (C, (D, (E, H)))))]
def tuple7B[A, B, C, D, E, H, I]: Bijection[(A, B, C, D, E, H, I), (A, (B, (C, (D, (E, (H, I))))))]
def zipB[X[_], A, B](implicit Z: Zip[X], U: Unzip[X]): Bijection[(X[A], X[B]), X[(A, B)]]
def zipEndoB[A, B]: Bijection[(Endo[A], Endo[B]), Endo[(A, B)]]
def zipListB[A, B]: Bijection[(List[A], List[B]), List[(A, B)]]
def zipReaderB[T, A, B]: Bijection[(T => A, T => B), T => (A, B)]

Implicits

Inherited implicits

implicit
def bijectionTCategory[F[_], G[_]](implicit F0: Monad[F], G0: Monad[G]): Category[[_, _] =>> BijectionT[F, G, _$27, _$28]]
Inherited from
BijectionTInstances
implicit
def bijectionTSplit[F[_], G[_]](implicit F0: Bind[F], G0: Bind[G]): Split[[_, _] =>> BijectionT[F, G, _$23, _$24]]
Inherited from
BijectionTInstances0