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. Protected

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[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  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 flatMap[A, B](fa: Tactic[A])(f: (A) => Tactic[B]): Tactic[B]
    Definition Classes
    TacticMonad → FlatMap
  43. def flatTap[A, B](fa: Tactic[A])(f: (A) => Tactic[B]): Tactic[A]
    Definition Classes
    FlatMap
  44. def flatten[A](ffa: Tactic[Tactic[A]]): Tactic[A]
    Definition Classes
    FlatMap
  45. final def fmap[A, B](fa: Tactic[A])(f: (A) => B): Tactic[B]
    Definition Classes
    Functor
  46. def foreverM[A, B](fa: Tactic[A]): Tactic[B]
    Definition Classes
    FlatMap
  47. def fproduct[A, B](fa: Tactic[A])(f: (A) => B): Tactic[(A, B)]
    Definition Classes
    Functor
  48. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  49. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  50. def ifA[A](fcond: Tactic[Boolean])(ifTrue: Tactic[A], ifFalse: Tactic[A]): Tactic[A]
    Definition Classes
    Apply
  51. def ifF[A](fb: Tactic[Boolean])(ifTrue: => A, ifFalse: => A): Tactic[A]
    Definition Classes
    Functor
  52. def ifM[B](fa: Tactic[Boolean])(ifTrue: => Tactic[B], ifFalse: => Tactic[B]): Tactic[B]
    Definition Classes
    FlatMap
  53. def imap[A, B](fa: Tactic[A])(f: (A) => B)(g: (B) => A): Tactic[B]
    Definition Classes
    Functor → Invariant
  54. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  55. def iterateForeverM[A, B](a: A)(f: (A) => Tactic[A]): Tactic[B]
    Definition Classes
    FlatMap
  56. def iterateUntil[A](f: Tactic[A])(p: (A) => Boolean): Tactic[A]
    Definition Classes
    Monad
  57. def iterateUntilM[A](init: A)(f: (A) => Tactic[A])(p: (A) => Boolean): Tactic[A]
    Definition Classes
    Monad
  58. def iterateWhile[A](f: Tactic[A])(p: (A) => Boolean): Tactic[A]
    Definition Classes
    Monad
  59. def iterateWhileM[A](init: A)(f: (A) => Tactic[A])(p: (A) => Boolean): Tactic[A]
    Definition Classes
    Monad
  60. def lift[A, B](f: (A) => B): (Tactic[A]) => Tactic[B]
    Definition Classes
    Functor
  61. def map[A, B](fa: Tactic[A])(f: (A) => B): Tactic[B]
    Definition Classes
    Monad → Applicative → Functor
  62. 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
  63. 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
  64. 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
  65. 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
  66. 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
  67. 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
  68. 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
  69. 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
  70. 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
  71. 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
  72. def map2[A, B, Z](fa: Tactic[A], fb: Tactic[B])(f: (A, B) => Z): Tactic[Z]
    Definition Classes
    FlatMap → Apply
  73. 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
  74. 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
  75. 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
  76. def map2Eval[A, B, Z](fa: Tactic[A], fb: Eval[Tactic[B]])(f: (A, B) => Z): Eval[Tactic[Z]]
    Definition Classes
    Apply
  77. 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
  78. 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
  79. 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
  80. 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
  81. 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
  82. 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
  83. 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
  84. def mproduct[A, B](fa: Tactic[A])(f: (A) => Tactic[B]): Tactic[(A, B)]
    Definition Classes
    FlatMap
  85. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  86. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  87. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  88. def point[A](a: A): Tactic[A]
    Definition Classes
    InvariantMonoidal
  89. def product[A, B](fa: Tactic[A], fb: Tactic[B]): Tactic[(A, B)]
    Definition Classes
    FlatMap → Apply → Semigroupal
  90. def productL[A, B](fa: Tactic[A])(fb: Tactic[B]): Tactic[A]
    Definition Classes
    FlatMap → Apply
  91. def productLEval[A, B](fa: Tactic[A])(fb: Eval[Tactic[B]]): Tactic[A]
    Definition Classes
    FlatMap
  92. def productR[A, B](fa: Tactic[A])(fb: Tactic[B]): Tactic[B]
    Definition Classes
    FlatMap → Apply
  93. def productREval[A, B](fa: Tactic[A])(fb: Eval[Tactic[B]]): Tactic[B]
    Definition Classes
    FlatMap
  94. def pure[A](x: A): Tactic[A]
    Definition Classes
    TacticMonad → Applicative
  95. def replicateA[A](n: Int, fa: Tactic[A]): Tactic[List[A]]
    Definition Classes
    Applicative
  96. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  97. def tailRecM[A, B](a: A)(f: (A) => Tactic[Either[A, B]]): Tactic[B]
    Definition Classes
    TacticMonad → FlatMap
  98. def toString(): String
    Definition Classes
    AnyRef → Any
  99. 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
  100. 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
  101. 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
  102. 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
  103. 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
  104. 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
  105. 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
  106. 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
  107. 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
  108. 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
  109. def tuple2[A, B](f1: Tactic[A], f2: Tactic[B]): Tactic[(A, B)]
    Definition Classes
    ApplyArityFunctions
  110. 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
  111. 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
  112. 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
  113. def tuple3[A0, A1, A2, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2]): Tactic[(A0, A1, A2)]
    Definition Classes
    ApplyArityFunctions
  114. 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
  115. 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
  116. 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
  117. 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
  118. 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
  119. 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
  120. def tupleLeft[A, B](fa: Tactic[A], b: B): Tactic[(B, A)]
    Definition Classes
    Functor
  121. def tupleRight[A, B](fa: Tactic[A], b: B): Tactic[(A, B)]
    Definition Classes
    Functor
  122. def unit: Tactic[Unit]
    Definition Classes
    Applicative → InvariantMonoidal
  123. def unlessA[A](cond: Boolean)(f: => Tactic[A]): Tactic[Unit]
    Definition Classes
    Applicative
  124. def untilDefinedM[A](foa: Tactic[Option[A]]): Tactic[A]
    Definition Classes
    FlatMap
  125. def untilM[G[_], A](f: Tactic[A])(cond: => Tactic[Boolean])(implicit G: Alternative[G]): Tactic[G[A]]
    Definition Classes
    Monad
  126. def untilM_[A](f: Tactic[A])(cond: => Tactic[Boolean]): Tactic[Unit]
    Definition Classes
    Monad
  127. def unzip[A, B](fab: Tactic[(A, B)]): (Tactic[A], Tactic[B])
    Definition Classes
    Functor
  128. def void[A](fa: Tactic[A]): Tactic[Unit]
    Definition Classes
    Functor
  129. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  130. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  131. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  132. def whenA[A](cond: Boolean)(f: => Tactic[A]): Tactic[Unit]
    Definition Classes
    Applicative
  133. def whileM[G[_], A](p: Tactic[Boolean])(body: => Tactic[A])(implicit G: Alternative[G]): Tactic[G[A]]
    Definition Classes
    Monad
  134. def whileM_[A](p: Tactic[Boolean])(body: => Tactic[A]): Tactic[Unit]
    Definition Classes
    Monad
  135. def widen[A, B >: A](fa: Tactic[A]): Tactic[B]
    Definition Classes
    Functor

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

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