git.iko.soy/streamly
on master help sign in
Update design/inlining.md
7876f59Harendra Kumar
design/inlining.md+1−1
compare with master
unifiedsplit
@@ -36,7 +36,7 @@ i.e. phase 0, 1 and 2. We have defined them as follows in `inline.h`:
36unfoldr :: (Monad m, IsStream t) => (b -> Maybe (a, b)) -> b -> t m a
36unfoldr :: (Monad m, IsStream t) => (b -> Maybe (a, b)) -> b -> t m a
37unfoldr step seed = fromStreamS (S.unfoldr step seed)
37unfoldr step seed = fromStreamS (S.unfoldr step seed)
38{-# RULES "unfoldr fallback to StreamK" [1]
38{-# RULES "unfoldr fallback to StreamK" [1]
39− forall a b. S.toStreamK (S.unfoldr a b) = K.unfoldr a b #-}```
39+ forall a b. S.toStreamK (S.unfoldr a b) = K.unfoldr a b #-}
40```
40```
41
41
42* Assuming that `fromStreamK/toStreamK` have been removed in the
42* Assuming that `fromStreamK/toStreamK` have been removed in the