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