From b34355df7c51024563dd050b5a315038fde2d545 Mon Sep 17 00:00:00 2001 From: Oleg Grenrus Date: Tue, 16 Apr 2019 13:09:23 +0300 Subject: [PATCH] Implement forgotten mappend --- servant/src/Servant/Types/SourceT.hs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/servant/src/Servant/Types/SourceT.hs b/servant/src/Servant/Types/SourceT.hs index b3a9db31..879313f9 100644 --- a/servant/src/Servant/Types/SourceT.hs +++ b/servant/src/Servant/Types/SourceT.hs @@ -102,6 +102,7 @@ instance Functor m => Semigroup (SourceT m a) where -- fromStepT (Effect (Just Stop)) instance Functor m => Monoid (SourceT m a) where mempty = fromStepT mempty + mappend = (<>) -- | Doesn't generate 'Error' constructors. 'SourceT' doesn't shrink. instance (QC.Arbitrary a, Monad m) => QC.Arbitrary (SourceT m a) where @@ -179,6 +180,7 @@ instance Functor m => Semigroup (StepT m a) where -- instance Functor m => Monoid (StepT m a) where mempty = Stop + mappend = (<>) -- | Doesn't generate 'Error' constructors. instance (QC.Arbitrary a, Monad m) => QC.Arbitrary (StepT m a) where