Packages

object KleisliIO

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. KleisliIO
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

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. final def _1[E, A, B]: KleisliIO[E, (A, B), A]

    Returns an effectful function that extracts out the first element of a tuple.

  5. final def _2[E, A, B]: KleisliIO[E, (A, B), B]

    Returns an effectful function that extracts out the second element of a tuple.

  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  8. final def compose[E, A, B, C](second: KleisliIO[E, B, C], first: KleisliIO[E, A, B]): KleisliIO[E, A, C]

    See KleisliIO.compose

  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. final def fail[E](e: E): KleisliIO[E, Any, Nothing]

    Returns a KleisliIO representing a failure with the specified E.

  12. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. final def flatMap[E, A, B, C](fa: KleisliIO[E, A, B], f: (B) ⇒ KleisliIO[E, A, C]): KleisliIO[E, A, C]

    See @KleisliIO.flatMap

  14. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  15. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. final def identity[A]: KleisliIO[Nothing, A, A]

    Returns the identity effectful function, which performs no effects and merely returns its input unmodified.

  17. final def ifNotThen[E, A](cond: KleisliIO[E, A, Boolean])(then0: KleisliIO[E, A, A]): KleisliIO[E, A, A]

    Returns a new effectful function that passes an A to the condition, and if the condition returns false, passes the A to the then0 function, but otherwise returns the original A unmodified.

  18. final def ifThen[E, A](cond: KleisliIO[E, A, Boolean])(then0: KleisliIO[E, A, A]): KleisliIO[E, A, A]

    Returns a new effectful function that passes an A to the condition, and if the condition returns true, passes the A to the then0 function, but otherwise returns the original A unmodified.

  19. final def ifThenElse[E, A, B](cond: KleisliIO[E, A, Boolean])(then0: KleisliIO[E, A, B])(else0: KleisliIO[E, A, B]): KleisliIO[E, A, B]

    Returns a new effectful function that passes an A to the condition, and if the condition returns true, passes the A to the then0 function, but if the condition returns false, passes the A to the else0 function.

  20. final def impure[E, A, B](catcher: PartialFunction[Throwable, E])(f: (A) ⇒ B): KleisliIO[E, A, B]

    Lifts an impure function into KleisliIO, converting throwables into the specified error type E.

  21. final def impureVoid[A, B](f: (A) ⇒ B): KleisliIO[Nothing, A, B]

    Lifts an impure function into KleisliIO, assuming any throwables are non-recoverable and do not need to be converted into errors.

  22. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  23. final def join[E, A, B, C](l: KleisliIO[E, A, B], r: KleisliIO[E, C, B]): KleisliIO[E, Either[A, C], B]

    See KleisliIO.|||

  24. final def left[E, A, B, C](k: KleisliIO[E, A, B]): KleisliIO[E, Either[A, C], Either[B, C]]

    See KleisliIO.left

  25. final def lift[A, B](f: (A) ⇒ B): KleisliIO[Nothing, A, B]

    Lifts a pure A => B into KleisliIO.

  26. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  27. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  28. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  29. final def point[B](b: ⇒ B): KleisliIO[Nothing, Any, B]

    Lifts a value into the monad formed by KleisliIO.

  30. final def pure[E, A, B](f: (A) ⇒ IO[E, B]): KleisliIO[E, A, B]

    Lifts a pure A => IO[E, B] into KleisliIO.

  31. final def right[E, A, B, C](k: KleisliIO[E, A, B]): KleisliIO[E, Either[C, A], Either[C, B]]

    See KleisliIO.left

  32. final def swap[E, A, B]: KleisliIO[E, (A, B), (B, A)]

    Returns an effectful function that merely swaps the elements in a Tuple2.

  33. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  34. final def test[E, A](k: KleisliIO[E, A, Boolean]): KleisliIO[E, A, Either[A, A]]

    Returns a new effectful function that passes an A to the condition, and if the condition returns true, returns Left(a), but if the condition returns false, returns Right(a).

  35. def toString(): String
    Definition Classes
    AnyRef → Any
  36. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  39. final def whileDo[E, A](check: KleisliIO[E, A, Boolean])(body: KleisliIO[E, A, A]): KleisliIO[E, A, A]

    Returns a new effectful function that passes an A to the condition, and if the condition returns true, passes the A through the body to yield a new A, which repeats until the condition returns false.

    Returns a new effectful function that passes an A to the condition, and if the condition returns true, passes the A through the body to yield a new A, which repeats until the condition returns false. This is the KleisliIO equivalent of a while(cond) { body } loop.

  40. final def zipWith[E, A, B, C, D](l: KleisliIO[E, A, B], r: KleisliIO[E, A, C])(f: (B, C) ⇒ D): KleisliIO[E, A, D]

    See KleisliIO.zipWith

Inherited from AnyRef

Inherited from Any

Ungrouped