o

gapt.proofs.gaptic

TacticMonad

implicit object TacticMonad extends Monad[Tactic]

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TacticMonad
  2. Monad
  3. Applicative
  4. InvariantMonoidal
  5. FlatMap
  6. Apply
  7. ApplyArityFunctions
  8. InvariantSemigroupal
  9. Semigroupal
  10. Functor
  11. Invariant
  12. Serializable
  13. AnyRef
  14. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def *>[A, B](fa: Tactic[A])(fb: Tactic[B]): Tactic[B]
    Definition Classes
    Apply
    Annotations
    @inline()
  4. final def <*[A, B](fa: Tactic[A])(fb: Tactic[B]): Tactic[A]
    Definition Classes
    Apply
    Annotations
    @inline()
  5. final def <*>[A, B](ff: Tactic[(A) => B])(fa: Tactic[A]): Tactic[B]
    Definition Classes
    Apply
    Annotations
    @inline()
  6. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  7. def ap[A, B](ff: Tactic[(A) => B])(fa: Tactic[A]): Tactic[B]
    Definition Classes
    FlatMap → Apply
  8. def ap10[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, Z](f: Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  9. def ap11[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, Z](f: Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  10. def ap12[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, Z](f: Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  11. def ap13[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, Z](f: Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  12. def ap14[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, Z](f: Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  13. def ap15[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, Z](f: Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  14. def ap16[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, Z](f: Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  15. def ap17[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, Z](f: Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15], f16: Tactic[A16]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  16. def ap18[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, Z](f: Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15], f16: Tactic[A16], f17: Tactic[A17]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  17. def ap19[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, Z](f: Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15], f16: Tactic[A16], f17: Tactic[A17], f18: Tactic[A18]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  18. def ap2[A, B, Z](ff: Tactic[(A, B) => Z])(fa: Tactic[A], fb: Tactic[B]): Tactic[Z]
    Definition Classes
    FlatMap → Apply
  19. def ap20[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, Z](f: Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15], f16: Tactic[A16], f17: Tactic[A17], f18: Tactic[A18], f19: Tactic[A19]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  20. def ap21[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, Z](f: Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15], f16: Tactic[A16], f17: Tactic[A17], f18: Tactic[A18], f19: Tactic[A19], f20: Tactic[A20]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  21. def ap22[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, Z](f: Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15], f16: Tactic[A16], f17: Tactic[A17], f18: Tactic[A18], f19: Tactic[A19], f20: Tactic[A20], f21: Tactic[A21]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  22. def ap3[A0, A1, A2, Z](f: Tactic[(A0, A1, A2) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  23. def ap4[A0, A1, A2, A3, Z](f: Tactic[(A0, A1, A2, A3) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  24. def ap5[A0, A1, A2, A3, A4, Z](f: Tactic[(A0, A1, A2, A3, A4) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  25. def ap6[A0, A1, A2, A3, A4, A5, Z](f: Tactic[(A0, A1, A2, A3, A4, A5) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  26. def ap7[A0, A1, A2, A3, A4, A5, A6, Z](f: Tactic[(A0, A1, A2, A3, A4, A5, A6) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  27. def ap8[A0, A1, A2, A3, A4, A5, A6, A7, Z](f: Tactic[(A0, A1, A2, A3, A4, A5, A6, A7) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  28. def ap9[A0, A1, A2, A3, A4, A5, A6, A7, A8, Z](f: Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8) => Z])(f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8]): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  29. def as[A, B](fa: Tactic[A], b: B): Tactic[B]
    Definition Classes
    Functor
  30. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  31. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  32. def compose[G[_]](implicit arg0: Applicative[G]): Applicative[[α]Tactic[G[α]]]
    Definition Classes
    Applicative
  33. def compose[G[_]](implicit arg0: Apply[G]): Apply[[α]Tactic[G[α]]]
    Definition Classes
    Apply
  34. def compose[G[_]](implicit arg0: Functor[G]): Functor[[α]Tactic[G[α]]]
    Definition Classes
    Functor
  35. def compose[G[_]](implicit arg0: Invariant[G]): Invariant[[α]Tactic[G[α]]]
    Definition Classes
    Invariant
  36. def composeApply[G[_]](implicit arg0: Apply[G]): InvariantSemigroupal[[α]Tactic[G[α]]]
    Definition Classes
    InvariantSemigroupal
  37. def composeContravariant[G[_]](implicit arg0: Contravariant[G]): Contravariant[[α]Tactic[G[α]]]
    Definition Classes
    Functor → Invariant
  38. def composeContravariantMonoidal[G[_]](implicit arg0: ContravariantMonoidal[G]): ContravariantMonoidal[[α]Tactic[G[α]]]
    Definition Classes
    Applicative
  39. def composeFunctor[G[_]](implicit arg0: Functor[G]): Invariant[[α]Tactic[G[α]]]
    Definition Classes
    Invariant
  40. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  41. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  42. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  43. def flatMap[A, B](fa: Tactic[A])(f: (A) => Tactic[B]): Tactic[B]
    Definition Classes
    TacticMonad → FlatMap
  44. def flatTap[A, B](fa: Tactic[A])(f: (A) => Tactic[B]): Tactic[A]
    Definition Classes
    FlatMap
  45. def flatten[A](ffa: Tactic[Tactic[A]]): Tactic[A]
    Definition Classes
    FlatMap
  46. final def fmap[A, B](fa: Tactic[A])(f: (A) => B): Tactic[B]
    Definition Classes
    Functor
  47. def foreverM[A, B](fa: Tactic[A]): Tactic[B]
    Definition Classes
    FlatMap
  48. def fproduct[A, B](fa: Tactic[A])(f: (A) => B): Tactic[(A, B)]
    Definition Classes
    Functor
  49. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  50. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  51. def ifA[A](fcond: Tactic[Boolean])(ifTrue: Tactic[A], ifFalse: Tactic[A]): Tactic[A]
    Definition Classes
    Apply
  52. def ifF[A](fb: Tactic[Boolean])(ifTrue: => A, ifFalse: => A): Tactic[A]
    Definition Classes
    Functor
  53. def ifM[B](fa: Tactic[Boolean])(ifTrue: => Tactic[B], ifFalse: => Tactic[B]): Tactic[B]
    Definition Classes
    FlatMap
  54. def imap[A, B](fa: Tactic[A])(f: (A) => B)(g: (B) => A): Tactic[B]
    Definition Classes
    Functor → Invariant
  55. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  56. def iterateForeverM[A, B](a: A)(f: (A) => Tactic[A]): Tactic[B]
    Definition Classes
    FlatMap
  57. def iterateUntil[A](f: Tactic[A])(p: (A) => Boolean): Tactic[A]
    Definition Classes
    Monad
  58. def iterateUntilM[A](init: A)(f: (A) => Tactic[A])(p: (A) => Boolean): Tactic[A]
    Definition Classes
    Monad
  59. def iterateWhile[A](f: Tactic[A])(p: (A) => Boolean): Tactic[A]
    Definition Classes
    Monad
  60. def iterateWhileM[A](init: A)(f: (A) => Tactic[A])(p: (A) => Boolean): Tactic[A]
    Definition Classes
    Monad
  61. def lift[A, B](f: (A) => B): (Tactic[A]) => Tactic[B]
    Definition Classes
    Functor
  62. def map[A, B](fa: Tactic[A])(f: (A) => B): Tactic[B]
    Definition Classes
    Monad → Applicative → Functor
  63. def map10[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  64. def map11[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  65. def map12[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  66. def map13[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  67. def map14[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  68. def map15[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  69. def map16[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  70. def map17[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15], f16: Tactic[A16])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  71. def map18[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15], f16: Tactic[A16], f17: Tactic[A17])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  72. def map19[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15], f16: Tactic[A16], f17: Tactic[A17], f18: Tactic[A18])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  73. def map2[A, B, Z](fa: Tactic[A], fb: Tactic[B])(f: (A, B) => Z): Tactic[Z]
    Definition Classes
    FlatMap → Apply
  74. def map20[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15], f16: Tactic[A16], f17: Tactic[A17], f18: Tactic[A18], f19: Tactic[A19])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  75. def map21[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15], f16: Tactic[A16], f17: Tactic[A17], f18: Tactic[A18], f19: Tactic[A19], f20: Tactic[A20])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  76. def map22[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15], f16: Tactic[A16], f17: Tactic[A17], f18: Tactic[A18], f19: Tactic[A19], f20: Tactic[A20], f21: Tactic[A21])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  77. def map2Eval[A, B, Z](fa: Tactic[A], fb: Eval[Tactic[B]])(f: (A, B) => Z): Eval[Tactic[Z]]
    Definition Classes
    Apply
  78. def map3[A0, A1, A2, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2])(f: (A0, A1, A2) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  79. def map4[A0, A1, A2, A3, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3])(f: (A0, A1, A2, A3) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  80. def map5[A0, A1, A2, A3, A4, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4])(f: (A0, A1, A2, A3, A4) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  81. def map6[A0, A1, A2, A3, A4, A5, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5])(f: (A0, A1, A2, A3, A4, A5) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  82. def map7[A0, A1, A2, A3, A4, A5, A6, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6])(f: (A0, A1, A2, A3, A4, A5, A6) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  83. def map8[A0, A1, A2, A3, A4, A5, A6, A7, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7])(f: (A0, A1, A2, A3, A4, A5, A6, A7) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  84. def map9[A0, A1, A2, A3, A4, A5, A6, A7, A8, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8) => Z): Tactic[Z]
    Definition Classes
    ApplyArityFunctions
  85. def mproduct[A, B](fa: Tactic[A])(f: (A) => Tactic[B]): Tactic[(A, B)]
    Definition Classes
    FlatMap
  86. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  87. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  88. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  89. def point[A](a: A): Tactic[A]
    Definition Classes
    InvariantMonoidal
  90. def product[A, B](fa: Tactic[A], fb: Tactic[B]): Tactic[(A, B)]
    Definition Classes
    FlatMap → Apply → Semigroupal
  91. def productL[A, B](fa: Tactic[A])(fb: Tactic[B]): Tactic[A]
    Definition Classes
    FlatMap → Apply
  92. def productLEval[A, B](fa: Tactic[A])(fb: Eval[Tactic[B]]): Tactic[A]
    Definition Classes
    FlatMap
  93. def productR[A, B](fa: Tactic[A])(fb: Tactic[B]): Tactic[B]
    Definition Classes
    FlatMap → Apply
  94. def productREval[A, B](fa: Tactic[A])(fb: Eval[Tactic[B]]): Tactic[B]
    Definition Classes
    FlatMap
  95. def pure[A](x: A): Tactic[A]
    Definition Classes
    TacticMonad → Applicative
  96. def replicateA[A](n: Int, fa: Tactic[A]): Tactic[List[A]]
    Definition Classes
    Applicative
  97. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  98. def tailRecM[A, B](a: A)(f: (A) => Tactic[Either[A, B]]): Tactic[B]
    Definition Classes
    TacticMonad → FlatMap
  99. def toString(): String
    Definition Classes
    AnyRef → Any
  100. def tuple10[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9]): Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9)]
    Definition Classes
    ApplyArityFunctions
  101. def tuple11[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10]): Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10)]
    Definition Classes
    ApplyArityFunctions
  102. def tuple12[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11]): Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11)]
    Definition Classes
    ApplyArityFunctions
  103. def tuple13[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12]): Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12)]
    Definition Classes
    ApplyArityFunctions
  104. def tuple14[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13]): Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13)]
    Definition Classes
    ApplyArityFunctions
  105. def tuple15[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14]): Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14)]
    Definition Classes
    ApplyArityFunctions
  106. def tuple16[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15]): Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15)]
    Definition Classes
    ApplyArityFunctions
  107. def tuple17[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15], f16: Tactic[A16]): Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16)]
    Definition Classes
    ApplyArityFunctions
  108. def tuple18[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15], f16: Tactic[A16], f17: Tactic[A17]): Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17)]
    Definition Classes
    ApplyArityFunctions
  109. def tuple19[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15], f16: Tactic[A16], f17: Tactic[A17], f18: Tactic[A18]): Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18)]
    Definition Classes
    ApplyArityFunctions
  110. def tuple2[A, B](f1: Tactic[A], f2: Tactic[B]): Tactic[(A, B)]
    Definition Classes
    ApplyArityFunctions
  111. def tuple20[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15], f16: Tactic[A16], f17: Tactic[A17], f18: Tactic[A18], f19: Tactic[A19]): Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19)]
    Definition Classes
    ApplyArityFunctions
  112. def tuple21[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15], f16: Tactic[A16], f17: Tactic[A17], f18: Tactic[A18], f19: Tactic[A19], f20: Tactic[A20]): Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20)]
    Definition Classes
    ApplyArityFunctions
  113. def tuple22[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8], f9: Tactic[A9], f10: Tactic[A10], f11: Tactic[A11], f12: Tactic[A12], f13: Tactic[A13], f14: Tactic[A14], f15: Tactic[A15], f16: Tactic[A16], f17: Tactic[A17], f18: Tactic[A18], f19: Tactic[A19], f20: Tactic[A20], f21: Tactic[A21]): Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21)]
    Definition Classes
    ApplyArityFunctions
  114. def tuple3[A0, A1, A2, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2]): Tactic[(A0, A1, A2)]
    Definition Classes
    ApplyArityFunctions
  115. def tuple4[A0, A1, A2, A3, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3]): Tactic[(A0, A1, A2, A3)]
    Definition Classes
    ApplyArityFunctions
  116. def tuple5[A0, A1, A2, A3, A4, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4]): Tactic[(A0, A1, A2, A3, A4)]
    Definition Classes
    ApplyArityFunctions
  117. def tuple6[A0, A1, A2, A3, A4, A5, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5]): Tactic[(A0, A1, A2, A3, A4, A5)]
    Definition Classes
    ApplyArityFunctions
  118. def tuple7[A0, A1, A2, A3, A4, A5, A6, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6]): Tactic[(A0, A1, A2, A3, A4, A5, A6)]
    Definition Classes
    ApplyArityFunctions
  119. def tuple8[A0, A1, A2, A3, A4, A5, A6, A7, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7]): Tactic[(A0, A1, A2, A3, A4, A5, A6, A7)]
    Definition Classes
    ApplyArityFunctions
  120. def tuple9[A0, A1, A2, A3, A4, A5, A6, A7, A8, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2], f3: Tactic[A3], f4: Tactic[A4], f5: Tactic[A5], f6: Tactic[A6], f7: Tactic[A7], f8: Tactic[A8]): Tactic[(A0, A1, A2, A3, A4, A5, A6, A7, A8)]
    Definition Classes
    ApplyArityFunctions
  121. def tupleLeft[A, B](fa: Tactic[A], b: B): Tactic[(B, A)]
    Definition Classes
    Functor
  122. def tupleRight[A, B](fa: Tactic[A], b: B): Tactic[(A, B)]
    Definition Classes
    Functor
  123. def unit: Tactic[Unit]
    Definition Classes
    Applicative → InvariantMonoidal
  124. def unlessA[A](cond: Boolean)(f: => Tactic[A]): Tactic[Unit]
    Definition Classes
    Applicative
  125. def untilDefinedM[A](foa: Tactic[Option[A]]): Tactic[A]
    Definition Classes
    FlatMap
  126. def untilM[G[_], A](f: Tactic[A])(cond: => Tactic[Boolean])(implicit G: Alternative[G]): Tactic[G[A]]
    Definition Classes
    Monad
  127. def untilM_[A](f: Tactic[A])(cond: => Tactic[Boolean]): Tactic[Unit]
    Definition Classes
    Monad
  128. def unzip[A, B](fab: Tactic[(A, B)]): (Tactic[A], Tactic[B])
    Definition Classes
    Functor
  129. def void[A](fa: Tactic[A]): Tactic[Unit]
    Definition Classes
    Functor
  130. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  131. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  132. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  133. def whenA[A](cond: Boolean)(f: => Tactic[A]): Tactic[Unit]
    Definition Classes
    Applicative
  134. def whileM[G[_], A](p: Tactic[Boolean])(body: => Tactic[A])(implicit G: Alternative[G]): Tactic[G[A]]
    Definition Classes
    Monad
  135. def whileM_[A](p: Tactic[Boolean])(body: => Tactic[A]): Tactic[Unit]
    Definition Classes
    Monad
  136. def widen[A, B >: A](fa: Tactic[A]): Tactic[B]
    Definition Classes
    Functor

Inherited from Monad[Tactic]

Inherited from Applicative[Tactic]

Inherited from InvariantMonoidal[Tactic]

Inherited from FlatMap[Tactic]

Inherited from Apply[Tactic]

Inherited from ApplyArityFunctions[Tactic]

Inherited from Semigroupal[Tactic]

Inherited from Functor[Tactic]

Inherited from Invariant[Tactic]

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped