Object

tuco.free

basicterminalio

Related Doc: package free

Permalink

object basicterminalio

Algebra and free monad for primitive operations over a net.wimpi.telnetd.io.BasicTerminalIO.

Source
basicterminalio.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Grouped
  2. Alphabetic
  3. By Inheritance
Inherited
  1. basicterminalio
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type BasicTerminalIOIO[A] = Free[BasicTerminalIOOp, A]

    Permalink

    Free monad over a free functor of BasicTerminalIOOp; abstractly, a computation that consumes a net.wimpi.telnetd.io.BasicTerminalIO and produces a value of type A.

  2. implicit class BasicTerminalIOIOOps[A] extends AnyRef

    Permalink

    Syntax for BasicTerminalIOIO.

  3. sealed trait BasicTerminalIOOp[A] extends AnyRef

    Permalink

    Sum type of primitive operations over a net.wimpi.telnetd.io.BasicTerminalIO.

Value Members

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

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  4. object BasicTerminalIOOp

    Permalink

    Module of constructors for BasicTerminalIOOp.

    Module of constructors for BasicTerminalIOOp. These are rarely useful outside of the implementation; prefer the smart constructors provided by the basicterminalio module.

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  6. def attempt[A](a: BasicTerminalIOIO[A]): BasicTerminalIOIO[Either[Throwable, A]]

    Permalink

    Lift a BasicTerminalIOIO[A] into an exception-capturing BasicTerminalIOIO[Throwable Either A].

  7. val bell: BasicTerminalIOIO[Unit]

    Permalink

  8. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  9. val close: BasicTerminalIOIO[Unit]

    Permalink

  10. def defineScrollRegion(a: Int, b: Int): BasicTerminalIOIO[Boolean]

    Permalink

  11. def delay[A](a: ⇒ A): BasicTerminalIOIO[A]

    Permalink

    Non-strict unit for capturing effects.

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  14. val eraseLine: BasicTerminalIOIO[Unit]

    Permalink

  15. val eraseScreen: BasicTerminalIOIO[Unit]

    Permalink

  16. val eraseToBeginOfLine: BasicTerminalIOIO[Unit]

    Permalink

  17. val eraseToBeginOfScreen: BasicTerminalIOIO[Unit]

    Permalink

  18. val eraseToEndOfLine: BasicTerminalIOIO[Unit]

    Permalink

  19. val eraseToEndOfScreen: BasicTerminalIOIO[Unit]

    Permalink

  20. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  21. val flush: BasicTerminalIOIO[Unit]

    Permalink

  22. def forceBold(a: Boolean): BasicTerminalIOIO[Unit]

    Permalink

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

    Permalink
    Definition Classes
    AnyRef → Any
  24. val getColumns: BasicTerminalIOIO[Int]

    Permalink

  25. val getRows: BasicTerminalIOIO[Int]

    Permalink

  26. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  27. val homeCursor: BasicTerminalIOIO[Unit]

    Permalink

  28. def interpK[M[_]](implicit arg0: Sync[M]): ~>[BasicTerminalIOOp, [γ$2$]Kleisli[M, BasicTerminalIO, γ$2$]]

    Permalink

    Natural transformation from BasicTerminalIOOp to Kleisli for the given M, consuming a net.wimpi.telnetd.io.BasicTerminalIO.

  29. val isAutoflushing: BasicTerminalIOIO[Boolean]

    Permalink

  30. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  31. val isLineWrapping: BasicTerminalIOIO[Boolean]

    Permalink

  32. val isSignalling: BasicTerminalIOIO[Boolean]

    Permalink

  33. def lift[Op[_], A, J](j: J, action: Free[Op, A])(implicit mod: Aux[Op, J]): BasicTerminalIOIO[A]

    Permalink

    Lift a different type of program that has a default Kleisli interpreter.

  34. def moveCursor(a: Int, b: Int): BasicTerminalIOIO[Unit]

    Permalink

  35. def moveDown(a: Int): BasicTerminalIOIO[Unit]

    Permalink

  36. def moveLeft(a: Int): BasicTerminalIOIO[Unit]

    Permalink

  37. def moveRight(a: Int): BasicTerminalIOIO[Unit]

    Permalink

  38. def moveUp(a: Int): BasicTerminalIOIO[Unit]

    Permalink

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

    Permalink
    Definition Classes
    AnyRef
  40. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  41. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  42. def raw[A](f: (BasicTerminalIO) ⇒ A): BasicTerminalIOIO[A]

    Permalink

    Backdoor for arbitrary computations on the underlying BasicTerminalIO.

  43. val read: BasicTerminalIOIO[Int]

    Permalink

  44. val resetAttributes: BasicTerminalIOIO[Unit]

    Permalink

  45. val resetTerminal: BasicTerminalIOIO[Unit]

    Permalink

  46. val restoreCursor: BasicTerminalIOIO[Unit]

    Permalink

  47. def setAutoflushing(a: Boolean): BasicTerminalIOIO[Unit]

    Permalink

  48. def setBackgroundColor(a: Int): BasicTerminalIOIO[Unit]

    Permalink

  49. def setBlink(a: Boolean): BasicTerminalIOIO[Unit]

    Permalink

  50. def setBold(a: Boolean): BasicTerminalIOIO[Unit]

    Permalink

  51. def setCursor(a: Int, b: Int): BasicTerminalIOIO[Unit]

    Permalink

  52. val setDefaultTerminal: BasicTerminalIOIO[Unit]

    Permalink

  53. def setForegroundColor(a: Int): BasicTerminalIOIO[Unit]

    Permalink

  54. def setItalic(a: Boolean): BasicTerminalIOIO[Unit]

    Permalink

  55. def setLinewrapping(a: Boolean): BasicTerminalIOIO[Unit]

    Permalink

  56. def setSignalling(a: Boolean): BasicTerminalIOIO[Unit]

    Permalink

  57. def setTerminal(a: String): BasicTerminalIOIO[Unit]

    Permalink

  58. def setUnderlined(a: Boolean): BasicTerminalIOIO[Unit]

    Permalink

  59. val storeCursor: BasicTerminalIOIO[Unit]

    Permalink

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

    Permalink
    Definition Classes
    AnyRef
  61. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  62. def trans[M[_]](c: BasicTerminalIO)(implicit arg0: Sync[M]): ~>[BasicTerminalIOIO, M]

    Permalink

    Natural transformation from BasicTerminalIOIO to M, given a net.wimpi.telnetd.io.BasicTerminalIO.

  63. def transK[M[_]](implicit arg0: Sync[M]): ~>[BasicTerminalIOIO, [γ$3$]Kleisli[M, BasicTerminalIO, γ$3$]]

    Permalink

    Natural transformation from BasicTerminalIOIO to Kleisli for the given M, consuming a net.wimpi.telnetd.io.BasicTerminalIO.

  64. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  67. def write(a: String): BasicTerminalIOIO[Unit]

    Permalink

  68. def write(a: Char): BasicTerminalIOIO[Unit]

    Permalink

  69. def write(a: Byte): BasicTerminalIOIO[Unit]

    Permalink

Inherited from AnyRef

Inherited from Any

Algebra

Constructors (Lifting)

Constructors (Primitives)

Ungrouped