IdrisDoc: Effect.Logging.Default.LogRes

Effect.Logging.Default.LogRes

free_n : (rec : LogRes) -> Nat
getLevel : (rec : LogRes) -> LogLevel (free_n rec)
set_getLevel : (getLevel : LogLevel n) -> (rec : LogRes) -> LogRes