Control.RIO.Mock.Console

Definitions

record MockOut : Type

  A mock output console where err out and std out are mutable refs

Totality: total
Visibility: public export
Constructor: 

MkMockOut : IORef (SnocList String) -> IORef (SnocList String) -> MockOut

Projections:

.errOut : MockOut -> IORef (SnocList String)

.stdOut : MockOut -> IORef (SnocList String)

.stdOut : MockOut -> IORef (SnocList String)

Totality: total
Visibility: public export

stdOut : MockOut -> IORef (SnocList String)

Totality: total
Visibility: public export

.errOut : MockOut -> IORef (SnocList String)

Totality: total
Visibility: public export

errOut : MockOut -> IORef (SnocList String)

Totality: total
Visibility: public export

mkMockOut : IO MockOut

  Creates a mock console

Totality: total
Visibility: export

consoleOut : MockOut -> ConsoleOut

  A mock output console, which uses the
  the wrapped mutable refs for simulating
  output.

Totality: total
Visibility: export

record MockIn : Type

  A mock console where err out and std out are mutable refs
  of snoc lists and `getChar` and `getLine` are simulated
  via mutable refs of streams.

Totality: total
Visibility: public export
Constructor: 

MkMockIn : IORef (Stream Char) -> IORef (Stream String) -> MockIn

Projections:

.charIn : MockIn -> IORef (Stream Char)

.lineIn : MockIn -> IORef (Stream String)

.charIn : MockIn -> IORef (Stream Char)

Totality: total
Visibility: public export

charIn : MockIn -> IORef (Stream Char)

Totality: total
Visibility: public export

.lineIn : MockIn -> IORef (Stream String)

Totality: total
Visibility: public export

lineIn : MockIn -> IORef (Stream String)

Totality: total
Visibility: public export

mkMockIn : Stream Char -> Stream String -> IO MockIn

  Creates a mock console

Totality: total
Visibility: export

console : MockIn -> ConsoleIn

  A mock input console, which uses the given streams for
  simulating input

Totality: total
Visibility: export