Skip to content
Snippets Groups Projects
Verified Commit aef39a58 authored by jan.hamal.dvorak's avatar jan.hamal.dvorak
Browse files

Make NoteLevel a Monoid

parent 7327a1b6
No related branches found
No related tags found
No related merge requests found
......@@ -128,7 +128,13 @@ where
= NoteError
| NoteNeutral
| NoteSuccess
deriving (Eq, Ord)
deriving (Eq, Ord, Show)
instance Semigroup NoteLevel where
(<>) = min
instance Monoid NoteLevel where
mempty = NoteSuccess
newtype FormT l m a
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment