# BindingInstances

### Related Doc: package Binding

#### implicit object BindingInstances extends Monad[Binding]

Source
Binding.scala
Linear Supertypes
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. BindingInstances
3. Bind
4. Applicative
5. Apply
6. Functor
7. InvariantFunctor
8. AnyRef
9. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### Type Members

1. #### trait ApplicativeLaw extends scalaz.Applicative.ApplyLaw

Definition Classes
Applicative
2. #### trait ApplyLaw extends scalaz.Apply.FunctorLaw

Definition Classes
Apply
3. #### trait BindLaw extends scalaz.Bind.ApplyLaw

Definition Classes
Bind
4. #### trait FunctorLaw extends scalaz.Functor.InvariantFunctorLaw

Definition Classes
Functor
5. #### trait InvariantFunctorLaw extends AnyRef

Definition Classes
InvariantFunctor

Definition Classes

### Value Members

1. #### final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
2. #### final def ##(): Int

Definition Classes
AnyRef → Any
3. #### final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
4. #### def ap[A, B](fa: ⇒ Binding[A])(f: ⇒ Binding[(A) ⇒ B]): Binding[B]

Definition Classes
Bind → Apply
5. #### def ap2[A, B, C](fa: ⇒ Binding[A], fb: ⇒ Binding[B])(f: Binding[(A, B) ⇒ C]): Binding[C]

Definition Classes
Apply
6. #### def ap3[A, B, C, D](fa: ⇒ Binding[A], fb: ⇒ Binding[B], fc: ⇒ Binding[C])(f: Binding[(A, B, C) ⇒ D]): Binding[D]

Definition Classes
Apply
7. #### def ap4[A, B, C, D, E](fa: ⇒ Binding[A], fb: ⇒ Binding[B], fc: ⇒ Binding[C], fd: ⇒ Binding[D])(f: Binding[(A, B, C, D) ⇒ E]): Binding[E]

Definition Classes
Apply
8. #### def ap5[A, B, C, D, E, R](fa: ⇒ Binding[A], fb: ⇒ Binding[B], fc: ⇒ Binding[C], fd: ⇒ Binding[D], fe: ⇒ Binding[E])(f: Binding[(A, B, C, D, E) ⇒ R]): Binding[R]

Definition Classes
Apply
9. #### def ap6[A, B, C, D, E, FF, R](fa: ⇒ Binding[A], fb: ⇒ Binding[B], fc: ⇒ Binding[C], fd: ⇒ Binding[D], fe: ⇒ Binding[E], ff: ⇒ Binding[FF])(f: Binding[(A, B, C, D, E, FF) ⇒ R]): Binding[R]

Definition Classes
Apply
10. #### def ap7[A, B, C, D, E, FF, G, R](fa: ⇒ Binding[A], fb: ⇒ Binding[B], fc: ⇒ Binding[C], fd: ⇒ Binding[D], fe: ⇒ Binding[E], ff: ⇒ Binding[FF], fg: ⇒ Binding[G])(f: Binding[(A, B, C, D, E, FF, G) ⇒ R]): Binding[R]

Definition Classes
Apply
11. #### def ap8[A, B, C, D, E, FF, G, H, R](fa: ⇒ Binding[A], fb: ⇒ Binding[B], fc: ⇒ Binding[C], fd: ⇒ Binding[D], fe: ⇒ Binding[E], ff: ⇒ Binding[FF], fg: ⇒ Binding[G], fh: ⇒ Binding[H])(f: Binding[(A, B, C, D, E, FF, G, H) ⇒ R]): Binding[R]

Definition Classes
Apply
12. #### def apF[A, B](f: ⇒ Binding[(A) ⇒ B]): (Binding[A]) ⇒ Binding[B]

Definition Classes
Apply
13. #### def applicativeLaw: ApplicativeLaw

Definition Classes
Applicative
14. #### val applicativeSyntax: ApplicativeSyntax[Binding]

Definition Classes
Applicative
15. #### def apply[A, B](fa: Binding[A])(f: (A) ⇒ B): Binding[B]

Definition Classes
Functor
16. #### def apply10[A, B, C, D, E, FF, G, H, I, J, R](fa: ⇒ Binding[A], fb: ⇒ Binding[B], fc: ⇒ Binding[C], fd: ⇒ Binding[D], fe: ⇒ Binding[E], ff: ⇒ Binding[FF], fg: ⇒ Binding[G], fh: ⇒ Binding[H], fi: ⇒ Binding[I], fj: ⇒ Binding[J])(f: (A, B, C, D, E, FF, G, H, I, J) ⇒ R): Binding[R]

Definition Classes
Apply
17. #### def apply11[A, B, C, D, E, FF, G, H, I, J, K, R](fa: ⇒ Binding[A], fb: ⇒ Binding[B], fc: ⇒ Binding[C], fd: ⇒ Binding[D], fe: ⇒ Binding[E], ff: ⇒ Binding[FF], fg: ⇒ Binding[G], fh: ⇒ Binding[H], fi: ⇒ Binding[I], fj: ⇒ Binding[J], fk: ⇒ Binding[K])(f: (A, B, C, D, E, FF, G, H, I, J, K) ⇒ R): Binding[R]

Definition Classes
Apply
18. #### def apply12[A, B, C, D, E, FF, G, H, I, J, K, L, R](fa: ⇒ Binding[A], fb: ⇒ Binding[B], fc: ⇒ Binding[C], fd: ⇒ Binding[D], fe: ⇒ Binding[E], ff: ⇒ Binding[FF], fg: ⇒ Binding[G], fh: ⇒ Binding[H], fi: ⇒ Binding[I], fj: ⇒ Binding[J], fk: ⇒ Binding[K], fl: ⇒ Binding[L])(f: (A, B, C, D, E, FF, G, H, I, J, K, L) ⇒ R): Binding[R]

Definition Classes
Apply
19. #### def apply2[A, B, C](fa: ⇒ Binding[A], fb: ⇒ Binding[B])(f: (A, B) ⇒ C): Binding[C]

Definition Classes
Applicative → Apply
20. #### def apply3[A, B, C, D](fa: ⇒ Binding[A], fb: ⇒ Binding[B], fc: ⇒ Binding[C])(f: (A, B, C) ⇒ D): Binding[D]

Definition Classes
Apply
21. #### def apply4[A, B, C, D, E](fa: ⇒ Binding[A], fb: ⇒ Binding[B], fc: ⇒ Binding[C], fd: ⇒ Binding[D])(f: (A, B, C, D) ⇒ E): Binding[E]

Definition Classes
Apply
22. #### def apply5[A, B, C, D, E, R](fa: ⇒ Binding[A], fb: ⇒ Binding[B], fc: ⇒ Binding[C], fd: ⇒ Binding[D], fe: ⇒ Binding[E])(f: (A, B, C, D, E) ⇒ R): Binding[R]

Definition Classes
Apply
23. #### def apply6[A, B, C, D, E, FF, R](fa: ⇒ Binding[A], fb: ⇒ Binding[B], fc: ⇒ Binding[C], fd: ⇒ Binding[D], fe: ⇒ Binding[E], ff: ⇒ Binding[FF])(f: (A, B, C, D, E, FF) ⇒ R): Binding[R]

Definition Classes
Apply
24. #### def apply7[A, B, C, D, E, FF, G, R](fa: ⇒ Binding[A], fb: ⇒ Binding[B], fc: ⇒ Binding[C], fd: ⇒ Binding[D], fe: ⇒ Binding[E], ff: ⇒ Binding[FF], fg: ⇒ Binding[G])(f: (A, B, C, D, E, FF, G) ⇒ R): Binding[R]

Definition Classes
Apply
25. #### def apply8[A, B, C, D, E, FF, G, H, R](fa: ⇒ Binding[A], fb: ⇒ Binding[B], fc: ⇒ Binding[C], fd: ⇒ Binding[D], fe: ⇒ Binding[E], ff: ⇒ Binding[FF], fg: ⇒ Binding[G], fh: ⇒ Binding[H])(f: (A, B, C, D, E, FF, G, H) ⇒ R): Binding[R]

Definition Classes
Apply
26. #### def apply9[A, B, C, D, E, FF, G, H, I, R](fa: ⇒ Binding[A], fb: ⇒ Binding[B], fc: ⇒ Binding[C], fd: ⇒ Binding[D], fe: ⇒ Binding[E], ff: ⇒ Binding[FF], fg: ⇒ Binding[G], fh: ⇒ Binding[H], fi: ⇒ Binding[I])(f: (A, B, C, D, E, FF, G, H, I) ⇒ R): Binding[R]

Definition Classes
Apply
27. #### def applyApplicative: Applicative[[α]\/[Binding[α], α]]

Definition Classes
Apply
28. #### def applyLaw: ApplyLaw

Definition Classes
Apply
29. #### val applySyntax: ApplySyntax[Binding]

Definition Classes
Apply
30. #### final def asInstanceOf[T0]: T0

Definition Classes
Any
31. #### def bicompose[G[_, _]](implicit arg0: Bifunctor[G]): Bifunctor[[α, β]Binding[G[α, β]]]

Definition Classes
Functor
32. #### def bind[A, B](fa: Binding[A])(f: (A) ⇒ Binding[B]): Binding[B]

Definition Classes
BindingInstances → Bind
33. #### def bindLaw: BindLaw

Definition Classes
Bind
34. #### val bindSyntax: BindSyntax[Binding]

Definition Classes
Bind
35. #### def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
36. #### def compose[G[_]](implicit G0: Applicative[G]): Applicative[[α]Binding[G[α]]]

Definition Classes
Applicative
37. #### def compose[G[_]](implicit G0: Apply[G]): Apply[[α]Binding[G[α]]]

Definition Classes
Apply
38. #### def compose[G[_]](implicit G0: Functor[G]): Functor[[α]Binding[G[α]]]

Definition Classes
Functor
39. #### def counzip[A, B](a: \/[Binding[A], Binding[B]]): Binding[\/[A, B]]

Definition Classes
Functor
40. #### final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
41. #### def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
42. #### def filterM[A](l: List[A])(f: (A) ⇒ Binding[Boolean]): Binding[List[A]]

Definition Classes
Applicative
43. #### def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
44. #### def flip: Applicative[Binding]

Definition Classes
Applicative
45. #### def forever[A, B](fa: Binding[A]): Binding[B]

Definition Classes
Bind
46. #### def fpair[A](fa: Binding[A]): Binding[(A, A)]

Definition Classes
Functor
47. #### def fproduct[A, B](fa: Binding[A])(f: (A) ⇒ B): Binding[(A, B)]

Definition Classes
Functor
48. #### def functorLaw: FunctorLaw

Definition Classes
Functor
49. #### val functorSyntax: FunctorSyntax[Binding]

Definition Classes
Functor
50. #### final def getClass(): Class[_]

Definition Classes
AnyRef → Any
51. #### def hashCode(): Int

Definition Classes
AnyRef → Any
52. #### def icompose[G[_]](implicit G0: Contravariant[G]): Contravariant[[α]Binding[G[α]]]

Definition Classes
Functor
53. #### def ifM[B](value: Binding[Boolean], ifTrue: ⇒ Binding[B], ifFalse: ⇒ Binding[B]): Binding[B]

Definition Classes
BindingInstances → Bind
54. #### def invariantFunctorLaw: InvariantFunctorLaw

Definition Classes
InvariantFunctor
55. #### val invariantFunctorSyntax: InvariantFunctorSyntax[Binding]

Definition Classes
InvariantFunctor
56. #### final def isInstanceOf[T0]: Boolean

Definition Classes
Any
57. #### def iterateUntil[A](f: Binding[A])(p: (A) ⇒ Boolean): Binding[A]

Definition Classes
58. #### def iterateWhile[A](f: Binding[A])(p: (A) ⇒ Boolean): Binding[A]

Definition Classes
59. #### def join[A](ffa: Binding[Binding[A]]): Binding[A]

Definition Classes
Bind
60. #### def lift[A, B](f: (A) ⇒ B): (Binding[A]) ⇒ Binding[B]

Definition Classes
Functor
61. #### def lift10[A, B, C, D, E, FF, G, H, I, J, R](f: (A, B, C, D, E, FF, G, H, I, J) ⇒ R): (Binding[A], Binding[B], Binding[C], Binding[D], Binding[E], Binding[FF], Binding[G], Binding[H], Binding[I], Binding[J]) ⇒ Binding[R]

Definition Classes
Apply
62. #### def lift11[A, B, C, D, E, FF, G, H, I, J, K, R](f: (A, B, C, D, E, FF, G, H, I, J, K) ⇒ R): (Binding[A], Binding[B], Binding[C], Binding[D], Binding[E], Binding[FF], Binding[G], Binding[H], Binding[I], Binding[J], Binding[K]) ⇒ Binding[R]

Definition Classes
Apply
63. #### def lift12[A, B, C, D, E, FF, G, H, I, J, K, L, R](f: (A, B, C, D, E, FF, G, H, I, J, K, L) ⇒ R): (Binding[A], Binding[B], Binding[C], Binding[D], Binding[E], Binding[FF], Binding[G], Binding[H], Binding[I], Binding[J], Binding[K], Binding[L]) ⇒ Binding[R]

Definition Classes
Apply
64. #### def lift2[A, B, C](f: (A, B) ⇒ C): (Binding[A], Binding[B]) ⇒ Binding[C]

Definition Classes
Apply
65. #### def lift3[A, B, C, D](f: (A, B, C) ⇒ D): (Binding[A], Binding[B], Binding[C]) ⇒ Binding[D]

Definition Classes
Apply
66. #### def lift4[A, B, C, D, E](f: (A, B, C, D) ⇒ E): (Binding[A], Binding[B], Binding[C], Binding[D]) ⇒ Binding[E]

Definition Classes
Apply
67. #### def lift5[A, B, C, D, E, R](f: (A, B, C, D, E) ⇒ R): (Binding[A], Binding[B], Binding[C], Binding[D], Binding[E]) ⇒ Binding[R]

Definition Classes
Apply
68. #### def lift6[A, B, C, D, E, FF, R](f: (A, B, C, D, E, FF) ⇒ R): (Binding[A], Binding[B], Binding[C], Binding[D], Binding[E], Binding[FF]) ⇒ Binding[R]

Definition Classes
Apply
69. #### def lift7[A, B, C, D, E, FF, G, R](f: (A, B, C, D, E, FF, G) ⇒ R): (Binding[A], Binding[B], Binding[C], Binding[D], Binding[E], Binding[FF], Binding[G]) ⇒ Binding[R]

Definition Classes
Apply
70. #### def lift8[A, B, C, D, E, FF, G, H, R](f: (A, B, C, D, E, FF, G, H) ⇒ R): (Binding[A], Binding[B], Binding[C], Binding[D], Binding[E], Binding[FF], Binding[G], Binding[H]) ⇒ Binding[R]

Definition Classes
Apply
71. #### def lift9[A, B, C, D, E, FF, G, H, I, R](f: (A, B, C, D, E, FF, G, H, I) ⇒ R): (Binding[A], Binding[B], Binding[C], Binding[D], Binding[E], Binding[FF], Binding[G], Binding[H], Binding[I]) ⇒ Binding[R]

Definition Classes
Apply
72. #### def map[A, B](fa: Binding[A])(f: (A) ⇒ B): Binding[B]

Definition Classes
BindingInstances → Monad → Applicative → Functor
73. #### def mapply[A, B](a: A)(f: Binding[(A) ⇒ B]): Binding[B]

Definition Classes
Functor

Definition Classes

Definition Classes
76. #### def mproduct[A, B](fa: Binding[A])(f: (A) ⇒ Binding[B]): Binding[(A, B)]

Definition Classes
Bind
77. #### final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
78. #### final def notify(): Unit

Definition Classes
AnyRef
79. #### final def notifyAll(): Unit

Definition Classes
AnyRef
80. #### def point[A](a: ⇒ A): Binding[A]

Definition Classes
BindingInstances → Applicative
Annotations
@inline()

Definition Classes
82. #### def product[G[_]](implicit G0: Bind[G]): Bind[[α](Binding[α], G[α])]

Definition Classes
Bind
83. #### def product[G[_]](implicit G0: Applicative[G]): Applicative[[α](Binding[α], G[α])]

Definition Classes
Applicative
84. #### def product[G[_]](implicit G0: Apply[G]): Apply[[α](Binding[α], G[α])]

Definition Classes
Apply
85. #### def product[G[_]](implicit G0: Functor[G]): Functor[[α](Binding[α], G[α])]

Definition Classes
Functor
86. #### final def pure[A](a: ⇒ A): Binding[A]

Definition Classes
Applicative
87. #### def replicateM[A](n: Int, fa: Binding[A]): Binding[List[A]]

Definition Classes
Applicative
88. #### def replicateM_[A](n: Int, fa: Binding[A]): Binding[Unit]

Definition Classes
Applicative
89. #### def sequence[A, G[_]](as: G[Binding[A]])(implicit arg0: Traverse[G]): Binding[G[A]]

Definition Classes
Applicative
90. #### def sequence1[A, G[_]](as: G[Binding[A]])(implicit arg0: Traverse1[G]): Binding[G[A]]

Definition Classes
Apply
91. #### def strengthL[A, B](a: A, f: Binding[B]): Binding[(A, B)]

Definition Classes
Functor
92. #### def strengthR[A, B](f: Binding[A], b: B): Binding[(A, B)]

Definition Classes
Functor
93. #### final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
94. #### def toString(): String

Definition Classes
AnyRef → Any
95. #### def traverse[A, G[_], B](value: G[A])(f: (A) ⇒ Binding[B])(implicit G: Traverse[G]): Binding[G[B]]

Definition Classes
Applicative
96. #### def traverse1[A, G[_], B](value: G[A])(f: (A) ⇒ Binding[B])(implicit G: Traverse1[G]): Binding[G[B]]

Definition Classes
Apply
97. #### def tuple2[A, B](fa: ⇒ Binding[A], fb: ⇒ Binding[B]): Binding[(A, B)]

Definition Classes
Apply
98. #### def tuple3[A, B, C](fa: ⇒ Binding[A], fb: ⇒ Binding[B], fc: ⇒ Binding[C]): Binding[(A, B, C)]

Definition Classes
Apply
99. #### def tuple4[A, B, C, D](fa: ⇒ Binding[A], fb: ⇒ Binding[B], fc: ⇒ Binding[C], fd: ⇒ Binding[D]): Binding[(A, B, C, D)]

Definition Classes
Apply
100. #### def tuple5[A, B, C, D, E](fa: ⇒ Binding[A], fb: ⇒ Binding[B], fc: ⇒ Binding[C], fd: ⇒ Binding[D], fe: ⇒ Binding[E]): Binding[(A, B, C, D, E)]

Definition Classes
Apply
101. #### def unlessM[A](cond: Boolean)(f: ⇒ Binding[A]): Binding[Unit]

Definition Classes
Applicative
102. #### def untilM[G[_], A](f: Binding[A], cond: ⇒ Binding[Boolean])(implicit G: MonadPlus[G]): Binding[G[A]]

Definition Classes
103. #### def untilM_[A](f: Binding[A], cond: ⇒ Binding[Boolean]): Binding[Unit]

Definition Classes
104. #### def void[A](fa: Binding[A]): Binding[Unit]

Definition Classes
Functor
105. #### final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
106. #### final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
107. #### final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
108. #### def whenM[A](cond: Boolean)(f: ⇒ Binding[A]): Binding[Unit]

Definition Classes
Applicative
109. #### def whileM[G[_], A](p: Binding[Boolean], body: ⇒ Binding[A])(implicit G: MonadPlus[G]): Binding[G[A]]

Definition Classes
110. #### def whileM_[A](p: Binding[Boolean], body: ⇒ Binding[A]): Binding[Unit]

Definition Classes
111. #### def widen[A, B](fa: Binding[A])(implicit ev: <~<[A, B]): Binding[B]

Definition Classes
Functor
112. #### def xmap[A, B](fa: Binding[A], f: (A) ⇒ B, g: (B) ⇒ A): Binding[B]

Definition Classes
Functor → InvariantFunctor
113. #### def xmapb[A, B](ma: Binding[A])(b: Bijection[A, B]): Binding[B]

Definition Classes
InvariantFunctor
114. #### def xmapi[A, B](ma: Binding[A])(iso: scalaz.Isomorphism.<=>[A, B]): Binding[B]

Definition Classes
InvariantFunctor