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 IOToST[A](io: IO[A]): ST[IvoryTower, A]

   An IO action is an ST action.

5. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

6. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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

8. final def eq(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

9. def equals(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

10. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

11. def getChar: IO[Char]

    Reads a character from standard input.

    Reads a character from standard input.

    Definition Classes

    IOStd

12. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

13. def hashCode(): Int

    Definition Classes

    AnyRef → Any

14. def idLiftControl[M[_], A](f: (RunInBase[M, M]) ⇒ M[A])(implicit m: Monad[M]): M[A]

15. def io[A](f: (Tower[IvoryTower]) ⇒ Free.Trampoline[(Tower[IvoryTower], A)]): IO[A]

    Construct an IO action from a world-transition function.

16. val ioUnit: IO[Unit]

    An IO action that does nothing.

17. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

18. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

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

20. final def notify(): Unit

    Definition Classes

    AnyRef

21. final def notifyAll(): Unit

    Definition Classes

    AnyRef

22. 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.

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

    Definition Classes

    IOStd

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

    Writes a character to standard output.

    Writes a character to standard output.

    Definition Classes

    IOStd

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

    Definition Classes

    IOStd

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

    Writes a string to standard output.

    Writes a string to standard output.

    Definition Classes

    IOStd

27. 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

28. def readLn: IO[String]

    Reads a line of standard input.

    Reads a line of standard input.

    Definition Classes

    IOStd

29. 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.

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

    Definition Classes

    AnyRef

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

    Throw the given error in the IO monad.

32. def toString(): String

    Definition Classes

    AnyRef → Any

33. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

35. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )