implicit object TacticMonad extends Monad[Tactic]
Ordering
- Alphabetic
- By Inheritance
Inherited
- TacticMonad
- Monad
- Applicative
- InvariantMonoidal
- FlatMap
- Apply
- ApplyArityFunctions
- InvariantSemigroupal
- Semigroupal
- Functor
- Invariant
- Serializable
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def *>[A, B](fa: Tactic[A])(fb: Tactic[B]): Tactic[B]
- Definition Classes
- Apply
- Annotations
- @inline()
- final def <*[A, B](fa: Tactic[A])(fb: Tactic[B]): Tactic[A]
- Definition Classes
- Apply
- Annotations
- @inline()
- final def <*>[A, B](ff: Tactic[(A) => B])(fa: Tactic[A]): Tactic[B]
- Definition Classes
- Apply
- Annotations
- @inline()
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def ap[A, B](ff: Tactic[(A) => B])(fa: Tactic[A]): Tactic[B]
- Definition Classes
- FlatMap → Apply
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- def ap2[A, B, Z](ff: Tactic[(A, B) => Z])(fa: Tactic[A], fb: Tactic[B]): Tactic[Z]
- Definition Classes
- FlatMap → Apply
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- def as[A, B](fa: Tactic[A], b: B): Tactic[B]
- Definition Classes
- Functor
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
- def compose[G[_]](implicit arg0: Applicative[G]): Applicative[[α]Tactic[G[α]]]
- Definition Classes
- Applicative
- def compose[G[_]](implicit arg0: Apply[G]): Apply[[α]Tactic[G[α]]]
- Definition Classes
- Apply
- def compose[G[_]](implicit arg0: Functor[G]): Functor[[α]Tactic[G[α]]]
- Definition Classes
- Functor
- def compose[G[_]](implicit arg0: Invariant[G]): Invariant[[α]Tactic[G[α]]]
- Definition Classes
- Invariant
- def composeApply[G[_]](implicit arg0: Apply[G]): InvariantSemigroupal[[α]Tactic[G[α]]]
- Definition Classes
- InvariantSemigroupal
- def composeContravariant[G[_]](implicit arg0: Contravariant[G]): Contravariant[[α]Tactic[G[α]]]
- Definition Classes
- Functor → Invariant
- def composeContravariantMonoidal[G[_]](implicit arg0: ContravariantMonoidal[G]): ContravariantMonoidal[[α]Tactic[G[α]]]
- Definition Classes
- Applicative
- def composeFunctor[G[_]](implicit arg0: Functor[G]): Invariant[[α]Tactic[G[α]]]
- Definition Classes
- Invariant
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def flatMap[A, B](fa: Tactic[A])(f: (A) => Tactic[B]): Tactic[B]
- Definition Classes
- TacticMonad → FlatMap
- def flatTap[A, B](fa: Tactic[A])(f: (A) => Tactic[B]): Tactic[A]
- Definition Classes
- FlatMap
- def flatten[A](ffa: Tactic[Tactic[A]]): Tactic[A]
- Definition Classes
- FlatMap
- final def fmap[A, B](fa: Tactic[A])(f: (A) => B): Tactic[B]
- Definition Classes
- Functor
- def foreverM[A, B](fa: Tactic[A]): Tactic[B]
- Definition Classes
- FlatMap
- def fproduct[A, B](fa: Tactic[A])(f: (A) => B): Tactic[(A, B)]
- Definition Classes
- Functor
- def fproductLeft[A, B](fa: Tactic[A])(f: (A) => B): Tactic[(B, A)]
- Definition Classes
- Functor
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def ifElseM[A](branches: (Tactic[Boolean], Tactic[A])*)(els: Tactic[A]): Tactic[A]
- Definition Classes
- Monad
- def ifF[A](fb: Tactic[Boolean])(ifTrue: => A, ifFalse: => A): Tactic[A]
- Definition Classes
- Functor
- def ifM[B](fa: Tactic[Boolean])(ifTrue: => Tactic[B], ifFalse: => Tactic[B]): Tactic[B]
- Definition Classes
- FlatMap
- def imap[A, B](fa: Tactic[A])(f: (A) => B)(g: (B) => A): Tactic[B]
- Definition Classes
- Functor → Invariant
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def iterateForeverM[A, B](a: A)(f: (A) => Tactic[A]): Tactic[B]
- Definition Classes
- FlatMap
- def iterateUntil[A](f: Tactic[A])(p: (A) => Boolean): Tactic[A]
- Definition Classes
- Monad
- def iterateUntilM[A](init: A)(f: (A) => Tactic[A])(p: (A) => Boolean): Tactic[A]
- Definition Classes
- Monad
- def iterateWhile[A](f: Tactic[A])(p: (A) => Boolean): Tactic[A]
- Definition Classes
- Monad
- def iterateWhileM[A](init: A)(f: (A) => Tactic[A])(p: (A) => Boolean): Tactic[A]
- Definition Classes
- Monad
- def lift[A, B](f: (A) => B): (Tactic[A]) => Tactic[B]
- Definition Classes
- Functor
- def map[A, B](fa: Tactic[A])(f: (A) => B): Tactic[B]
- Definition Classes
- Monad → Applicative → Functor
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- def map2[A, B, Z](fa: Tactic[A], fb: Tactic[B])(f: (A, B) => Z): Tactic[Z]
- Definition Classes
- FlatMap → Apply
- 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
- 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
- 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
- def map2Eval[A, B, Z](fa: Tactic[A], fb: Eval[Tactic[B]])(f: (A, B) => Z): Eval[Tactic[Z]]
- Definition Classes
- FlatMap → Apply
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- def mproduct[A, B](fa: Tactic[A])(f: (A) => Tactic[B]): Tactic[(A, B)]
- Definition Classes
- FlatMap
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- def point[A](a: A): Tactic[A]
- Definition Classes
- InvariantMonoidal
- def product[A, B](fa: Tactic[A], fb: Tactic[B]): Tactic[(A, B)]
- Definition Classes
- FlatMap → Apply → Semigroupal
- def productL[A, B](fa: Tactic[A])(fb: Tactic[B]): Tactic[A]
- Definition Classes
- FlatMap → Apply
- def productLEval[A, B](fa: Tactic[A])(fb: Eval[Tactic[B]]): Tactic[A]
- Definition Classes
- FlatMap
- def productR[A, B](fa: Tactic[A])(fb: Tactic[B]): Tactic[B]
- Definition Classes
- FlatMap → Apply
- def productREval[A, B](fa: Tactic[A])(fb: Eval[Tactic[B]]): Tactic[B]
- Definition Classes
- FlatMap
- def pure[A](x: A): Tactic[A]
- Definition Classes
- TacticMonad → Applicative
- def replicateA[A](n: Int, fa: Tactic[A]): Tactic[List[A]]
- Definition Classes
- Applicative
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def tailRecM[A, B](a: A)(f: (A) => Tactic[Either[A, B]]): Tactic[B]
- Definition Classes
- TacticMonad → FlatMap
- def toString(): String
- Definition Classes
- AnyRef → Any
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- def tuple2[A, B](f1: Tactic[A], f2: Tactic[B]): Tactic[(A, B)]
- Definition Classes
- ApplyArityFunctions
- 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
- 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
- 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
- def tuple3[A0, A1, A2, Z](f0: Tactic[A0], f1: Tactic[A1], f2: Tactic[A2]): Tactic[(A0, A1, A2)]
- Definition Classes
- ApplyArityFunctions
- 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
- 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
- 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
- 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
- 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
- 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
- def tupleLeft[A, B](fa: Tactic[A], b: B): Tactic[(B, A)]
- Definition Classes
- Functor
- def tupleRight[A, B](fa: Tactic[A], b: B): Tactic[(A, B)]
- Definition Classes
- Functor
- def unit: Tactic[Unit]
- Definition Classes
- Applicative → InvariantMonoidal
- def unlessA[A](cond: Boolean)(f: => Tactic[A]): Tactic[Unit]
- Definition Classes
- Applicative
- def untilDefinedM[A](foa: Tactic[Option[A]]): Tactic[A]
- Definition Classes
- FlatMap
- def untilM[G[_], A](f: Tactic[A])(cond: => Tactic[Boolean])(implicit G: Alternative[G]): Tactic[G[A]]
- Definition Classes
- Monad
- def untilM_[A](f: Tactic[A])(cond: => Tactic[Boolean]): Tactic[Unit]
- Definition Classes
- Monad
- def unzip[A, B](fab: Tactic[(A, B)]): (Tactic[A], Tactic[B])
- Definition Classes
- Functor
- def void[A](fa: Tactic[A]): Tactic[Unit]
- Definition Classes
- Functor
- 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
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- def whenA[A](cond: Boolean)(f: => Tactic[A]): Tactic[Unit]
- Definition Classes
- Applicative
- def whileM[G[_], A](p: Tactic[Boolean])(body: => Tactic[A])(implicit G: Alternative[G]): Tactic[G[A]]
- Definition Classes
- Monad
- def whileM_[A](p: Tactic[Boolean])(body: => Tactic[A]): Tactic[Unit]
- Definition Classes
- Monad
- def widen[A, B >: A](fa: Tactic[A]): Tactic[B]
- Definition Classes
- Functor
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated
- def ifA[A](fcond: Tactic[Boolean])(ifTrue: Tactic[A], ifFalse: Tactic[A]): Tactic[A]
- Definition Classes
- Apply
- Annotations
- @deprecated
- Deprecated
(Since version 2.6.2) Dangerous method, use ifM (a flatMap) or ifF (a map) instead
This is the API documentation for GAPT.
The main package is gapt.