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: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

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

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

    Definition Classes
    Any
  6. implicit def IOMonoid[A](implicit A: Monoid[A]): Monoid[IO[A]]

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

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

  10. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  11. def clone(): AnyRef

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

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

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

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

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

    Reads a character from standard input.

    Reads a character from standard input.

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

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

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

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

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

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

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

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

    An IO action that does nothing.

    An IO action that does nothing.

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

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

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

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

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

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

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

    Writes a character to standard output.

    Writes a character to standard output.

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

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

    Writes a string to standard output.

    Writes a string to standard output.

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

    Reads a line of standard input.

    Reads a line of standard input.

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

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

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  44. 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