IdrisDoc
: Effect.Logging.Category.LogRes
Index
Effect.Logging.Category.LogRes
set_getLevel
:
(
getLevel
:
LogLevel
n
) -> (
rec
:
LogRes
a
) ->
LogRes
a
set_getCategories
:
(
getCategories
:
List
a
) -> (
rec
:
LogRes
a
) ->
LogRes
a
param_a
:
(
rec
:
LogRes
a
) ->
Type
getLevel
:
(
rec
:
LogRes
a
) ->
LogLevel
(
free_n
rec
)
getCategories
:
(
rec
:
LogRes
a
) ->
List
a
free_n
:
(
rec
:
LogRes
a
) ->
Nat