object BijectionT extends BijectionTInstances
- Source
- BijectionT.scala
- Alphabetic
- By Inheritance
- BijectionT
- BijectionTInstances
- BijectionTInstances0
- AnyRef
- Any
- Hide All
- Show All
- 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[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
- 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[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( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
- 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)]