t

# BindLaw 

#### trait BindLaw extends ApplyLaw

Source
Bind.scala
Linear Supertypes
Known Subclasses
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. BindLaw
2. ApplyLaw
3. FunctorLaw
4. InvariantFunctorLaw
5. AnyRef
6. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### Value Members

1. final def !=(arg0: Any)
Definition Classes
AnyRef → Any
2. final def ##(): Int
Definition Classes
AnyRef → Any
3. final def ==(arg0: Any)
Definition Classes
AnyRef → Any
4. def apLikeDerived[A, B](fa: F[A], f: F[(A) ⇒ B])(implicit FB: Equal[F[B]])

`ap` is consistent with `bind`.

5. final def asInstanceOf[T0]: T0
Definition Classes
Any
6. def associativeBind[A, B, C](fa: F[A], f: (A) ⇒ F[B], g: (B) ⇒ F[C])(implicit FC: Equal[F[C]])

As with semigroups, monadic effects only change when their order is changed, not when the order in which they're combined changes.

7. def clone()
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws( ... ) @native()
8. def composite[A, B, C](fa: F[A], f1: (A) ⇒ B, f2: (B) ⇒ C)(implicit FC: Equal[F[C]])

A series of maps may be freely rewritten as a single map on a composed function.

A series of maps may be freely rewritten as a single map on a composed function.

Definition Classes
FunctorLaw
9. def composition[A, B, C](fbc: F[(B) ⇒ C], fab: F[(A) ⇒ B], fa: F[A])(implicit FC: Equal[F[C]])

Lifted functions can be fused.

Lifted functions can be fused.

Definition Classes
ApplyLaw
10. final def eq(arg0: AnyRef)
Definition Classes
AnyRef
11. def equals(arg0: Any)
Definition Classes
AnyRef → Any
12. def finalize(): Unit
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
13. final def getClass(): Class[_]
Definition Classes
AnyRef → Any
Annotations
@native()
14. def hashCode(): Int
Definition Classes
AnyRef → Any
Annotations
@native()
15. def identity[A](fa: F[A])(implicit FA: Equal[F[A]])

The identity function, lifted, is a no-op.

The identity function, lifted, is a no-op.

Definition Classes
FunctorLaw
16. def invariantComposite[A, B, C](fa: F[A], f1: (A) ⇒ B, g1: (B) ⇒ A, f2: (B) ⇒ C, g2: (C) ⇒ B)(implicit FC: Equal[F[C]])
Definition Classes
InvariantFunctorLaw
17. def invariantIdentity[A](fa: F[A])(implicit FA: Equal[F[A]])
Definition Classes
InvariantFunctorLaw
18. final def isInstanceOf[T0]
Definition Classes
Any
19. final def ne(arg0: AnyRef)
Definition Classes
AnyRef
20. final def notify(): Unit
Definition Classes
AnyRef
Annotations
@native()
21. final def notifyAll(): Unit
Definition Classes
AnyRef
Annotations
@native()
22. final def synchronized[T0](arg0: ⇒ T0): T0
Definition Classes
AnyRef
23. def toString()
Definition Classes
AnyRef → Any
24. final def wait(): Unit
Definition Classes
AnyRef
Annotations
@throws( ... )
25. final def wait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws( ... )
26. final def wait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@throws( ... ) @native()