Merge pull request #2682 from jfdm/log-eff-updates
Removed 'erroneous' Show instance for `LogRes`.
commit89f49b8881dd373348c86efaf80ad67587522e1a
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateThu 1 Oct 2015, 13:57 (11 years ago)
parent18e4b21e973421
libs/effects/Effect/Logging/Category.idr−3
@@ -25,9 +25,6 @@ record LogRes (a : Type) where
2525 getLevel : LogLevel n
2626 getCategories : List a
2727
28−instance (Show a) => Show (LogRes a) where
29− show (MkLogRes l cs) = unwords ["Log Settings:", show l, show cs]
30−
3128instance Default (LogRes a) where
3229 default = MkLogRes OFF Nil
3330