Control.RIO.Mock.Logging

Definitions

record Mock : Type

  A mock logging utility.

Totality: total
Visibility: public export
Constructor: 

MkMock : IORef (SnocList (LogLevel, Lazy String)) -> Mock

Projection: 

.ref : Mock -> IORef (SnocList (LogLevel, Lazy String))

.ref : Mock -> IORef (SnocList (LogLevel, Lazy String))

Totality: total
Visibility: public export

ref : Mock -> IORef (SnocList (LogLevel, Lazy String))

Totality: total
Visibility: public export

mkMock : IO Mock

  Creates a mock logging facility

Totality: total
Visibility: export

logging : Mock -> Logger

Totality: total
Visibility: export