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