Packages

object IO extends IOInstances

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IO
  2. IOInstances
  3. IOInstances0
  4. IOInstances1
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. type RunInBase[M[_], Base[_]] = Forall[[α](M[α]) => Base[M[α]]]

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. implicit def IOMonoid[A](implicit A: Monoid[A]): Monoid[IO[A]]
    Definition Classes
    IOInstances0
  5. implicit def IOSemigroup[A](implicit A: Semigroup[A]): Semigroup[IO[A]]
    Definition Classes
    IOInstances1
  6. implicit def IOToST[A](io: IO[A]): ST[IvoryTower, A]

    An IO action is an ST action.

  7. def apply[A](a: => A): IO[A]
  8. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  9. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  10. def controlIO[M[_], A](f: (RunInBase[M, IO]) => IO[M[A]])(implicit M: MonadControlIO[M]): M[A]
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  13. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  14. def getChar: IO[Char]

    Reads a character from standard input.

  15. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. def hoistRunInBase[F[_], G[_]](iso: Isomorphism.<~>[F, G])(r: RunInBase[G, IO]): RunInBase[F, IO]

    Hoist RunInBase given a natural isomorphism between the two functors

  18. implicit val iOLiftIO: LiftIO[IO]
    Definition Classes
    IOInstances1
  19. def idLiftControl[M[_], A](f: (RunInBase[M, M]) => M[A])(implicit m: Monad[M]): M[A]
  20. def io[A](f: (Tower[IvoryTower]) => Free.Trampoline[(Tower[IvoryTower], A)]): IO[A]

    Construct an IO action from a world-transition function.

  21. implicit val ioCatchable: Catchable[IO]
    Definition Classes
    IOInstances
  22. implicit val ioMonad: Monad[IO] with BindRec[IO]
    Definition Classes
    IOInstances1
  23. implicit val ioMonadCatchIO: MonadCatchIO[IO]
    Definition Classes
    IOInstances
  24. implicit val ioMonadIO: MonadIO[IO]
    Definition Classes
    IOInstances0
  25. val ioUnit: IO[Unit]

    An IO action that does nothing.

  26. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  27. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. def newIORef[A](a: => A): IO[IORef[A]]
  29. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  30. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  31. def onExit[S, P[_]](finalizer: IO[Unit])(implicit arg0: MonadIO[P]): RegionT[S, P, FinalizerHandle[[γ$0$]RegionT[S, P, γ$0$]]]

    Register a finalizer in the current region.

    Register a finalizer in the current region. When the region terminates, all registered finalizers will be performed if they're not duplicated to a parent region.

  32. def put[A](a: A)(implicit S: Show[A]): IO[Unit]
  33. def putChar(c: Char): IO[Unit]

    Writes a character to standard output.

  34. def putLn[A](a: A)(implicit S: Show[A]): IO[Unit]
  35. def putStr(s: String): IO[Unit]

    Writes a string to standard output.

  36. def putStrLn(s: String): IO[Unit]

    Writes a string to standard output, followed by a newline.

  37. def readLn: IO[String]

    Reads a line of standard input.

  38. def runRegionT[P[_], A](r: Forall[[α$2$]RegionT[α$2$, P, A]])(implicit arg0: MonadControlIO[P]): P[A]

    Execute a region inside its parent region P.

    Execute a region inside its parent region P. All resources which have been opened in the given region and which haven't been duplicated using "dup", will be closed on exit from this function whether by normal termination or by raising an exception. Also all resources which have been duplicated to this region from a child region are closed on exit if they haven't been duplicated themselves. The Forall quantifier prevents resources from being returned by this function.

  39. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  40. def tailrecM[A, B](a: A)(f: (A) => IO[\/[A, B]]): IO[B]
  41. def throwIO[A](e: Throwable): IO[A]

    Throw the given error in the IO monad.

  42. def toString(): String
    Definition Classes
    AnyRef → Any
  43. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  44. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  45. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from IOInstances

Inherited from IOInstances0

Inherited from IOInstances1

Inherited from AnyRef

Inherited from Any

Ungrouped