object IO extends IOInstances
- Source
- IO.scala
- Alphabetic
- By Inheritance
- IO
- IOInstances
- IOInstances0
- IOInstances1
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- implicit def IOMonoid[A](implicit A: Monoid[A]): Monoid[IO[A]]
- Definition Classes
- IOInstances0
- implicit def IOSemigroup[A](implicit A: Semigroup[A]): Semigroup[IO[A]]
- Definition Classes
- IOInstances1
- implicit def IOToST[A](io: IO[A]): ST[IvoryTower, A]
An IO action is an ST action.
- def apply[A](a: => A): IO[A]
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def controlIO[M[_], A](f: (RunInBase[M, IO]) => IO[M[A]])(implicit M: MonadControlIO[M]): M[A]
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def getChar: IO[Char]
Reads a character from standard input.
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- 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
- implicit val iOLiftIO: LiftIO[IO]
- Definition Classes
- IOInstances1
- def idLiftControl[M[_], A](f: (RunInBase[M, M]) => M[A])(implicit m: Monad[M]): M[A]
- def io[A](f: (Tower[IvoryTower]) => Free.Trampoline[(Tower[IvoryTower], A)]): IO[A]
Construct an IO action from a world-transition function.
- implicit val ioCatchable: Catchable[IO]
- Definition Classes
- IOInstances
- implicit val ioMonad: Monad[IO] with BindRec[IO]
- Definition Classes
- IOInstances1
- implicit val ioMonadCatchIO: MonadCatchIO[IO]
- Definition Classes
- IOInstances
- implicit val ioMonadIO: MonadIO[IO]
- Definition Classes
- IOInstances0
- val ioUnit: IO[Unit]
An IO action that does nothing.
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def newIORef[A](a: => A): IO[IORef[A]]
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- 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.
- def put[A](a: A)(implicit S: Show[A]): IO[Unit]
- def putChar(c: Char): IO[Unit]
Writes a character to standard output.
- def putLn[A](a: A)(implicit S: Show[A]): IO[Unit]
- def putStr(s: String): IO[Unit]
Writes a string to standard output.
- def putStrLn(s: String): IO[Unit]
Writes a string to standard output, followed by a newline.
- def readLn: IO[String]
Reads a line of standard input.
- 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.
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def tailrecM[A, B](a: A)(f: (A) => IO[\/[A, B]]): IO[B]
- def throwIO[A](e: Throwable): IO[A]
Throw the given error in the IO monad.
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()