trait IOFunctions extends IOStd
- Alphabetic
- By Inheritance
- IOFunctions
- IOStd
- 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
IOToST[A](io: IO[A]): ST[IvoryTower, A]
An IO action is an ST action.
-
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]
-
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 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.
-
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[[α]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.
-
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.
-
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.
-
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( ... )