scalaz.effect

IO

object IO extends IOFunctions with IOInstances

Source
IO.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. IO
  2. IOInstances
  3. IOInstances0
  4. IOInstances1
  5. IOFunctions
  6. IOStd
  7. AnyRef
  8. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. type RunInBase[M[_], Base[_]] = Forall[[B](M[B]) ⇒ Base[M[B]]]

    Definition Classes
    IOFunctions

Value Members

  1. final def !=(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  4. implicit def IOMonoid[A](implicit A: Monoid[A]): Monoid[IO[A]]

    Definition Classes
    IOInstances0
  5. implicit def IOSemigroup[A](implicit A: Semigroup[A]): Semigroup[IO[A]]

    Definition Classes
    IOInstances1
  6. 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
  7. def apply[A](a: ⇒ A): IO[A]

  8. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  9. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  10. def controlIO[M[_], A](f: (RunInBase[M, IO]) ⇒ IO[M[A]])(implicit M: MonadControlIO[M]): M[A]

    Definition Classes
    IOFunctions
  11. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  12. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  13. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  14. def getChar: IO[Char]

    Reads a character from standard input.

    Reads a character from standard input.

    Definition Classes
    IOStd
  15. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  16. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  17. implicit val iOLiftIO: LiftIO[IO]

    Definition Classes
    IOInstances1
  18. def idLiftControl[M[_], A](f: (RunInBase[M, M]) ⇒ M[A])(implicit m: Monad[M]): M[A]

    Definition Classes
    IOFunctions
  19. 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
  20. implicit val ioMonad: Monad[IO]

    Definition Classes
    IOInstances1
  21. implicit val ioMonadCatchIO: MonadCatchIO[IO]

    Definition Classes
    IOInstances
  22. implicit val ioMonadIO: MonadIO[IO]

    Definition Classes
    IOInstances0
  23. val ioUnit: IO[Unit]

    An IO action that does nothing.

    An IO action that does nothing.

    Definition Classes
    IOFunctions
  24. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  25. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  26. def newIORef[A](a: ⇒ A): IO[IORef[A]]

    Definition Classes
    IOFunctions
  27. final def notify(): Unit

    Definition Classes
    AnyRef
  28. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  29. 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
  30. def put[A](a: A)(implicit S: Show[A]): IO[Unit]

    Definition Classes
    IOStd
  31. def putChar(c: Char): IO[Unit]

    Writes a character to standard output.

    Writes a character to standard output.

    Definition Classes
    IOStd
  32. def putLn[A](a: A)(implicit S: Show[A]): IO[Unit]

    Definition Classes
    IOStd
  33. def putStr(s: String): IO[Unit]

    Writes a string to standard output.

    Writes a string to standard output.

    Definition Classes
    IOStd
  34. 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
  35. def readLn: IO[String]

    Reads a line of standard input.

    Reads a line of standard input.

    Definition Classes
    IOStd
  36. 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
  37. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  38. 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
  39. def toString(): String

    Definition Classes
    AnyRef → Any
  40. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  41. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from IOInstances

Inherited from IOInstances0

Inherited from IOInstances1

Inherited from IOFunctions

Inherited from IOStd

Inherited from AnyRef

Inherited from Any

Ungrouped