object IO extends IOInstances with IOFunctions
- Source
- IO.scala
- Alphabetic
- By Inheritance
- IO
- IOFunctions
- IOStd
- IOInstances
- IOInstances0
- IOInstances1
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
type
RunInBase[M[_], Base[_]] = Forall[[B](M[B]) ⇒ Base[M[B]]]
- Definition Classes
- IOFunctions
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.
An IO action is an ST action.
- Definition Classes
- IOFunctions
- 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
- @native() @throws( ... )
-
def
controlIO[M[_], A](f: (RunInBase[M, IO]) ⇒ IO[M[A]])(implicit M: MonadControlIO[M]): M[A]
- Definition Classes
- IOFunctions
-
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.
Reads a character from standard input.
- Definition Classes
- IOStd
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
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]
- Definition Classes
- IOFunctions
-
def
io[A](f: (Tower[IvoryTower]) ⇒ Free.Trampoline[(Tower[IvoryTower], A)]): IO[A]
Construct an IO action from a world-transition function.
Construct an IO action from a world-transition function.
- Definition Classes
- IOFunctions
-
implicit
val
ioCatchable: Catchable[IO]
- Definition Classes
- IOInstances
-
implicit
val
ioMonad: Monad[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.
An IO action that does nothing.
- Definition Classes
- IOFunctions
-
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]]
- Definition Classes
- IOFunctions
-
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[[α]RegionT[S, P, α]]]
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.
- Definition Classes
- IOFunctions
-
def
put[A](a: A)(implicit S: Show[A]): IO[Unit]
- Definition Classes
- IOStd
-
def
putChar(c: Char): IO[Unit]
Writes a character to standard output.
Writes a character to standard output.
- Definition Classes
- IOStd
-
def
putLn[A](a: A)(implicit S: Show[A]): IO[Unit]
- Definition Classes
- IOStd
-
def
putStr(s: String): IO[Unit]
Writes a string to standard output.
Writes a string to standard output.
- Definition Classes
- IOStd
-
def
putStrLn(s: String): IO[Unit]
Writes a string to standard output, followed by a newline.
Writes a string to standard output, followed by a newline.
- Definition Classes
- IOStd
-
def
readLn: IO[String]
Reads a line of standard input.
Reads a line of standard input.
- Definition Classes
- IOStd
-
def
runRegionT[P[_], A](r: Forall[[S]RegionT[S, 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.
- Definition Classes
- IOFunctions
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
throwIO[A](e: Throwable): IO[A]
Throw the given error in the IO monad.
Throw the given error in the IO monad.
- Definition Classes
- IOFunctions
-
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
- @native() @throws( ... )