IdrisDoc
: Effect.Logging.Default.LogRes
Index
Effect.Logging.Default.LogRes
free_n
:
(
rec
:
LogRes
) ->
Nat
getLevel
:
(
rec
:
LogRes
) ->
LogLevel
(
free_n
rec
)
set_getLevel
:
(
getLevel
:
LogLevel
n
) -> (
rec
:
LogRes
) ->
LogRes