eeva/servant
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Implement forgotten mappend

Browse source
This commit is contained in:
Oleg Grenrus 2019-04-16 13:09:23 +03:00
parent e5f0e7b799
commit b34355df7c
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
servant/src/Servant/Types/SourceT.hs
View file

@ -102,6 +102,7 @@ instance Functor m => Semigroup (SourceT m a) where
-- fromStepT (Effect (Just Stop)) -- fromStepT (Effect (Just Stop))
instance Functor m => Monoid (SourceT m a) where instance Functor m => Monoid (SourceT m a) where
mempty = fromStepT mempty mempty = fromStepT mempty
mappend = (<>)
-- | Doesn't generate 'Error' constructors. 'SourceT' doesn't shrink. -- | Doesn't generate 'Error' constructors. 'SourceT' doesn't shrink.
instance (QC.Arbitrary a, Monad m) => QC.Arbitrary (SourceT m a) where 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 instance Functor m => Monoid (StepT m a) where
mempty = Stop mempty = Stop
mappend = (<>)
-- | Doesn't generate 'Error' constructors. -- | Doesn't generate 'Error' constructors.
instance (QC.Arbitrary a, Monad m) => QC.Arbitrary (StepT m a) where instance (QC.Arbitrary a, Monad m) => QC.Arbitrary (StepT m a) where