Skip to content

Commit 2c78a06

Browse files
author
Daniel Casanueva
committed
Generalize type of Servant.Types.SourceT.source to any foldable.
1 parent 1fba9dc commit 2c78a06

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

servant/src/Servant/Types/SourceT.hs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -212,7 +212,7 @@ instance (QC.Arbitrary a, Monad m) => QC.Arbitrary (StepT m a) where
212212
-- >>> source "foo" :: SourceT Identity Char
213213
-- fromStepT (Effect (Identity (Yield 'f' (Yield 'o' (Yield 'o' Stop)))))
214214
--
215-
source :: [a] -> SourceT m a
215+
source :: Foldable f => f a -> SourceT m a
216216
source = fromStepT . foldr Yield Stop
217217

218218
-- | Get the answers.

0 commit comments

Comments
 (0)