IO - scalaz.effect.IO

Type Members

type RunInBase[M[_], Base[_]] = Forall[[α](M[α]) ⇒ Base[M[α]]]

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
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[[γ]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]
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[[α]RegionT[α, 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](f: (A) ⇒ IO[\/[A, B]])(a: A): 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( ... )

IO

Related Docs: class IO | package effect

object IO extends IOInstances

Type Members

type RunInBase[M[_], Base[_]] = Forall[[α](M[α]) ⇒ Base[M[α]]]

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

implicit def IOMonoid[A](implicit A: Monoid[A]): Monoid[IO[A]]

implicit def IOSemigroup[A](implicit A: Semigroup[A]): Semigroup[IO[A]]

implicit def IOToST[A](io: IO[A]): ST[IvoryTower, A]

def apply[A](a: ⇒ A): IO[A]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def controlIO[M[_], A](f: (RunInBase[M, IO]) ⇒ IO[M[A]])(implicit M: MonadControlIO[M]): M[A]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def getChar: IO[Char]

final def getClass(): Class[_]

def hashCode(): Int

implicit val iOLiftIO: LiftIO[IO]

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]

implicit val ioCatchable: Catchable[IO]

implicit val ioMonad: Monad[IO] with BindRec[IO]

implicit val ioMonadCatchIO: MonadCatchIO[IO]

implicit val ioMonadIO: MonadIO[IO]

val ioUnit: IO[Unit]

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

def newIORef[A](a: ⇒ A): IO[IORef[A]]

final def notify(): Unit

final def notifyAll(): Unit

def onExit[S, P[_]](finalizer: IO[Unit])(implicit arg0: MonadIO[P]): RegionT[S, P, FinalizerHandle[[γ]RegionT[S, P, γ]]]

def put[A](a: A)(implicit S: Show[A]): IO[Unit]

def putChar(c: Char): IO[Unit]

def putLn[A](a: A)(implicit S: Show[A]): IO[Unit]

def putStr(s: String): IO[Unit]

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

def readLn: IO[String]

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

final def synchronized[T0](arg0: ⇒ T0): T0

def tailrecM[A, B](f: (A) ⇒ IO[\/[A, B]])(a: A): IO[B]

def throwIO[A](e: Throwable): IO[A]

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from IOInstances

Inherited from IOInstances0

Inherited from IOInstances1

Inherited from AnyRef

Inherited from Any

Ungrouped