object BijectionT extends BijectionTInstances
- Source
- BijectionT.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- BijectionT
- BijectionTInstances
- BijectionTInstances0
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- type <@>[A, B] = BijectionT[Id.Id, Id.Id, A, B]
- type Bijection[A, B] = BijectionT[Id.Id, Id.Id, A, B]
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- 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]
- implicit def bijectionTCategory[F[_], G[_]](implicit F0: Monad[F], G0: Monad[G]): Category[[γ$3$, δ$4$]BijectionT[F, G, γ$3$, δ$4$]]
- Definition Classes
- BijectionTInstances
- implicit def bijectionTSplit[F[_], G[_]](implicit F0: Bind[F], G0: Bind[G]): Split[[γ$1$, δ$2$]BijectionT[F, G, γ$1$, δ$2$]]
- Definition Classes
- BijectionTInstances0
- def clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws(classOf[java.lang.CloneNotSupportedException])
- def curryB[A, B, C]: Bijection[(A, B) ⇒ C, (A) ⇒ (B) ⇒ C]
- def eitherB[A]: Bijection[\/[A, A], (Boolean, A)]
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def liftBijection[F[_], G[_], A, B](t: (A) ⇒ B, f: (B) ⇒ A)(implicit PF: Applicative[F], PG: Applicative[G]): BijectionT[F, G, A, B]
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- 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))))))]
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws(classOf[java.lang.InterruptedException])
- 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)]