IdrisDoc: Effect.Logging.Category.LogRes

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