# ArrowMonads

#### trait ArrowMonads extends ApplicativeArrows with Monads

Linear Supertypes
Ordering
1. Alphabetic
2. By inheritance
Inherited
1. ArrowMonads
2. Monads
3. ApplicativeArrows
4. Arrows
5. UnitFunctors
6. Functors
7. Units
8. AnyRef
9. Any
Implicitly
1. by StringAdd
2. by StringFormat
3. by Ensuring
4. by ArrowAssoc
1. Hide All
2. Show all
Learn more about member selection
Visibility
1. Public
2. All

### Type Members

1. #### trait ApplicativeArrow[-A, +B] extends Arrow[A, B]

Definition Classes
ApplicativeArrows
2. #### abstract type Arr[-A, +B] <: ApplicativeArrow[A, B] with Monad[B]

Definition Classes
ArrowMonadsApplicativeArrowsArrows
3. #### trait Arrow[-A, +B] extends Functor[B]

Definition Classes
Arrows
4. #### trait Functor[+A] extends rules.Functor[A]

Definition Classes
Functors
5. #### type M[+B] = Arr[Nothing, B]

Definition Classes
ArrowsFunctorsUnits
6. #### trait Monad[+A] extends Functor[A] with rules.Monad[A]

Definition Classes
Monads
7. #### trait ZeroFunctor extends Functor[Nothing]

Definition Classes
Functors
8. #### trait ZeroMonad extends Monad[Nothing] with ZeroFunctor

Definition Classes
Monads

### Abstract Value Members

1. #### abstract def app[A, B]: Arr[(Arr[A, B], A), B]

Definition Classes
ApplicativeArrows
2. #### abstract def arrow[A, B](f: (A) ⇒ B): Arr[A, B]

Definition Classes
Arrows

### Concrete Value Members

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

Definition Classes
AnyRef
2. #### final def !=(arg0: Any): Boolean

Definition Classes
Any
3. #### final def ##(): Int

Definition Classes
AnyRef → Any
4. #### def +(other: String): String

Implicit information
This member is added by an implicit conversion from ArrowMonads to StringAdd[ArrowMonads] performed by method StringAdd in scala.Predef.
Definition Classes
StringAdd
5. #### def ->[B](y: B): (ArrowMonads, B)

Implicit information
This member is added by an implicit conversion from ArrowMonads to ArrowAssoc[ArrowMonads] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
6. #### final def ==(arg0: AnyRef): Boolean

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

Definition Classes
Any
8. #### final def asInstanceOf[T0]: T0

Definition Classes
Any
9. #### def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
10. #### def diag[A]: Arr[A, (A, A)]

Definition Classes
Arrows
11. #### def ensuring(cond: (ArrowMonads) ⇒ Boolean, msg: ⇒ Any): ArrowMonads

Implicit information
This member is added by an implicit conversion from ArrowMonads to Ensuring[ArrowMonads] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
12. #### def ensuring(cond: (ArrowMonads) ⇒ Boolean): ArrowMonads

Implicit information
This member is added by an implicit conversion from ArrowMonads to Ensuring[ArrowMonads] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
13. #### def ensuring(cond: Boolean, msg: ⇒ Any): ArrowMonads

Implicit information
This member is added by an implicit conversion from ArrowMonads to Ensuring[ArrowMonads] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
14. #### def ensuring(cond: Boolean): ArrowMonads

Implicit information
This member is added by an implicit conversion from ArrowMonads to Ensuring[ArrowMonads] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
15. #### final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
17. #### def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
18. #### def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from ArrowMonads to StringFormat[ArrowMonads] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
19. #### final def getClass(): Class[_]

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

Definition Classes
AnyRef → Any
21. #### final def isInstanceOf[T0]: Boolean

Definition Classes
Any
22. #### final def ne(arg0: AnyRef): Boolean

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

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

Definition Classes
AnyRef
25. #### final def synchronized[T0](arg0: ⇒ T0): T0

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

Definition Classes
AnyRef → Any
27. #### def unit[A](a: ⇒ A): M[A]

Definition Classes
ArrowMonadsArrowsUnitFunctorsUnits
28. #### def unit: M[Unit]

Definition Classes
UnitFunctorsUnits
29. #### final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )
32. #### def →[B](y: B): (ArrowMonads, B)

Implicit information
This member is added by an implicit conversion from ArrowMonads to ArrowAssoc[ArrowMonads] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc