Fixed namespace issue with Default Logging Effect
commit9562ae8fd9fc8c922abe11175d0adb46af00f1a3
authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk>
dateSun 14 Jun 2015, 22:36 (11 years ago)
parent59f7f98
libs/effects/Effect/Logging/Default.idr+1−1
@@ -11,7 +11,7 @@
1111||| In this effect the resource we are computing over is the logging
1212||| level itself and the list of categories to show.
1313|||
14−module Effect.Logging
14+module Effect.Logging.Default
1515
1616import Effects
1717import public Effect.Logging.Level