object IO extends IOInstances
- Source
- IO.scala
- Alphabetic
- By Inheritance
- IO
- IOInstances
- IOInstances0
- IOInstances1
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
- 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: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
getChar: IO[Char]
Reads a character from standard input.
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
def
hoistRunInBase[F[_], G[_]](r: RunInBase[G, IO])(implicit iso: Isomorphism.<~>[F, G]): 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
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
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( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )