TheseT

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. def &&&[AA >: A, C](t: TheseT[F, AA, C])(implicit M: Semigroup[AA], F: Apply[F]): TheseT[F, AA, (B, C)]

5. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

6. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

7. def a(implicit F: Functor[F]): OptionT[F, A]

8. def append[AA >: A, BB >: B](that: ⇒ TheseT[F, AA, BB])(implicit F: Apply[F], SA: Semigroup[AA], SB: Semigroup[BB]): TheseT[F, AA, BB]

9. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

10. def b(implicit F: Functor[F]): OptionT[F, B]

11. def bimap[C, D](f: (A) ⇒ C, g: (B) ⇒ D)(implicit F: Functor[F]): TheseT[F, C, D]

12. def bitraverse[G[_], C, D](f: (A) ⇒ G[C], g: (B) ⇒ G[D])(implicit F: Traverse[F], G: Applicative[G]): G[TheseT[F, C, D]]

13. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

14. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

15. def exists(p: (B) ⇒ Boolean)(implicit F: Functor[F]): F[Boolean]

16. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

17. def flatMap[AA >: A, C](f: (B) ⇒ TheseT[F, AA, C])(implicit M: Monad[F], S: Semigroup[AA]): TheseT[F, AA, C]

18. def flatMapF[AA >: A, C](f: (B) ⇒ F[\&/[AA, C]])(implicit M: Monad[F], S: Semigroup[AA]): TheseT[F, AA, C]

19. def fold[X](s: (A) ⇒ X, t: (B) ⇒ X, q: (A, B) ⇒ X)(implicit F: Functor[F]): F[X]

20. def foldRight[Z](z: ⇒ Z)(f: (B, ⇒ Z) ⇒ Z)(implicit F: Foldable[F]): Z

21. def forall(p: (B) ⇒ Boolean)(implicit F: Functor[F]): F[Boolean]

22. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

23. def getOrElse(default: ⇒ B)(implicit F: Functor[F]): F[B]

24. def isBoth(implicit F: Functor[F]): F[Boolean]

25. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

26. def isThat(implicit F: Functor[F]): F[Boolean]

27. def isThis(implicit F: Functor[F]): F[Boolean]

28. def leftMap[C](f: (A) ⇒ C)(implicit F: Functor[F]): TheseT[F, C, B]

29. def map[C](f: (B) ⇒ C)(implicit F: Functor[F]): TheseT[F, A, C]

30. def mapT[G[_], C, D](f: (F[\&/[A, B]]) ⇒ G[\&/[C, D]]): TheseT[G, C, D]

31. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

32. final def notify(): Unit

    Definition Classes

    AnyRef

33. final def notifyAll(): Unit

    Definition Classes

    AnyRef

34. def onlyBoth(implicit F: Functor[F]): OptionT[F, (A, B)]

35. def onlyThat(implicit F: Functor[F]): OptionT[F, B]

36. def onlyThis(implicit F: Functor[F]): OptionT[F, A]

37. def onlyThisOrThat(implicit F: Functor[F]): OptionT[F, \/[A, B]]

38. def pad(implicit F: Functor[F]): F[(Option[A], Option[B])]

39. val run: F[\&/[A, B]]

40. def show(implicit SA: Show[A], SB: Show[B], F: Functor[F]): F[Cord]

41. def swap(implicit F: Functor[F]): TheseT[F, B, A]

42. def swapped[AA, BB](k: (\&/[B, A]) ⇒ \&/[BB, AA])(implicit F: Functor[F]): TheseT[F, AA, BB]

43. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

44. def toList(implicit F: Functor[F]): ListT[F, B]

45. def traverse[G[_], AA >: A, D](g: (B) ⇒ G[D])(implicit F: Traverse[F], G: Applicative[G]): G[TheseT[F, AA, D]]

46. def unary_~(implicit F: Functor[F]): TheseT[F, B, A]

47. def valueOr[BB >: B](x: (A) ⇒ BB)(implicit M: Semigroup[BB], F: Functor[F]): F[BB]

48. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

49. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

50. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

51. def |(default: ⇒ B)(implicit F: Functor[F]): F[B]

52. def ~[AA, BB](k: (\&/[B, A]) ⇒ \&/[BB, AA])(implicit F: Functor[F]): TheseT[F, AA, BB]