Verified Commit 6a84e6d8 authored by Camil Staps's avatar Camil Staps 🙂

And fix Data.Monoid

parent de19b0b2
Pipeline #8116 passed with stage
in 1 minute and 50 seconds
......@@ -7,14 +7,14 @@ import qualified StdList
class Semigroup a where
mappend :: !a a -> a
mconcat :: !.[a] -> a
mconcat xs :== 'StdList'.foldr mappend mempty xs
(<++>) infixr 6 :: a a -> a | Semigroup a
(<++>) ma mb :== mappend ma mb
class Monoid a | Semigroup a where
mempty :: a
(<++>) infixr 6 :: a a -> a
(<++>) ma mb :== mappend ma mb
mconcat :: !.[a] -> a | Monoid a
mconcat xs :== 'StdList'.foldr mappend mempty xs
instance Semigroup [a]
instance Semigroup (a -> b) | Semigroup b
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment