IdrisDoc: Effect.Logging.Category.LogRes

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