git.iko.soy/Idris-dev
on master help sign in
Fixed namespace issue with Default Logging Effect
9562ae8Jan de Muijnck-Hughes
libs/effects/Effect/Logging/Default.idr+1−1
compare with master
unifiedsplit
@@ -11,7 +11,7 @@
11||| In this effect the resource we are computing over is the logging
11||| In this effect the resource we are computing over is the logging
12||| level itself and the list of categories to show.
12||| level itself and the list of categories to show.
13|||
13|||
14−module Effect.Logging
14+module Effect.Logging.Default
15
15
16import Effects
16import Effects
17import public Effect.Logging.Level
17import public Effect.Logging.Level