@@ -102,6 +102,7 @@ instance Functor m => Semigroup (SourceT m a) where
102-- fromStepT (Effect (Just Stop))
102-- fromStepT (Effect (Just Stop))
103instance Functor m => Monoid (SourceT m a) where
103instance Functor m => Monoid (SourceT m a) where
104 mempty = fromStepT mempty
104 mempty = fromStepT mempty
106-- | Doesn't generate 'Error' constructors. 'SourceT' doesn't shrink.
107-- | Doesn't generate 'Error' constructors. 'SourceT' doesn't shrink.
107instance (QC.Arbitrary a, Monad m) => QC.Arbitrary (SourceT m a) where
108instance (QC.Arbitrary a, Monad m) => QC.Arbitrary (SourceT m a) where
@@ -179,6 +180,7 @@ instance Functor m => Semigroup (StepT m a) where
180instance Functor m => Monoid (StepT m a) where
181instance Functor m => Monoid (StepT m a) where
181 mempty = Stop
182 mempty = Stop
183-- | Doesn't generate 'Error' constructors.
185-- | Doesn't generate 'Error' constructors.
184instance (QC.Arbitrary a, Monad m) => QC.Arbitrary (StepT m a) where
186instance (QC.Arbitrary a, Monad m) => QC.Arbitrary (StepT m a) where