IdrisDoc: Effect.Logging.Default.LogRes

Effect.Logging.Default.LogRes

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