implicit object TacticMonad extends Monad[Tactic]
Ordering
- Alphabetic
- By Inheritance
Inherited
- TacticMonad
- Monad
- Applicative
- FlatMap
- Apply
- ApplyArityFunctions
- Cartesian
- Functor
- Invariant
- Serializable
- Serializable
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
>>[A, B](fa: Tactic[A])(fb: Tactic[B]): Tactic[B]
- Definition Classes
- FlatMap
- Annotations
- @inline()
-
def
>>=[A, B](fa: Tactic[A])(f: (A) ⇒ Tactic[B]): Tactic[B]
- Definition Classes
- FlatMap
-
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
- 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[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
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
composeContravariant[G[_]](implicit arg0: Contravariant[G]): Contravariant[[α]Tactic[G[α]]]
- Definition Classes
- Functor → Invariant
-
def
composeFilter[G[_]](implicit arg0: FunctorFilter[G]): FunctorFilter[[α]Tactic[G[α]]]
- Definition Classes
- Functor
-
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: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
flatMap[A, B](fa: Tactic[A])(f: (A) ⇒ Tactic[B]): Tactic[B]
- Definition Classes
- TacticMonad → FlatMap
-
def
flatten[A](ffa: Tactic[Tactic[A]]): Tactic[A]
- Definition Classes
- FlatMap
-
def
followedBy[A, B](fa: Tactic[A])(fb: Tactic[B]): Tactic[B]
- Definition Classes
- FlatMap
-
def
followedByEval[A, B](fa: Tactic[A])(fb: Eval[Tactic[B]]): Tactic[B]
- Definition Classes
- FlatMap
-
def
fproduct[A, B](fa: Tactic[A])(f: (A) ⇒ B): Tactic[(A, B)]
- Definition Classes
- Functor
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
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)(fi: (B) ⇒ A): Tactic[B]
- Definition Classes
- Functor → Invariant
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
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
- 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
- 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()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
product[A, B](fa: Tactic[A], fb: Tactic[B]): Tactic[(A, B)]
- Definition Classes
- FlatMap → Apply → Cartesian
-
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
-
def
sequence[G[_], A](as: G[Tactic[A]])(implicit G: Traverse[G]): Tactic[G[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
traverse[A, G[_], B](value: G[A])(f: (A) ⇒ Tactic[B])(implicit G: Traverse[G]): Tactic[G[B]]
- Definition Classes
- Applicative
-
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
void[A](fa: Tactic[A]): Tactic[Unit]
- Definition Classes
- Functor
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
def
widen[A, B >: A](fa: Tactic[A]): Tactic[B]
- Definition Classes
- Functor
This is the API documentation for GAPT.
The main package is at.logic.gapt.