@@ -25,9 +25,6 @@ record LogRes (a : Type) where
25 getLevel : LogLevel n
25 getLevel : LogLevel n
26 getCategories : List a
26 getCategories : List a
28−instance (Show a) => Show (LogRes a) where
29− show (MkLogRes l cs) = unwords ["Log Settings:", show l, show cs]
31instance Default (LogRes a) where
28instance Default (LogRes a) where
32 default = MkLogRes OFF Nil
29 default = MkLogRes OFF Nil