git.iko.soy/streamly
on master help sign in
Do not fully saturate the type synonyms
a615989Harendra Kumar
src/Streamly/Streams/Ahead.hs+1−1
compare with master
unifiedsplit
@@ -625,7 +625,7 @@ newtype AheadT m a = AheadT {getAheadT :: Stream m a}
625-- 'AheadT' documentation for more details.
625-- 'AheadT' documentation for more details.
626--
626--
627-- @since 0.3.0
627-- @since 0.3.0
628−type Ahead a = AheadT IO a
628+type Ahead = AheadT IO
629
629
630-- | Fix the type of a polymorphic stream as 'AheadT'.
630-- | Fix the type of a polymorphic stream as 'AheadT'.
631--
631--
src/Streamly/Streams/Async.hs+2−2
@@ -641,7 +641,7 @@ newtype AsyncT m a = AsyncT {getAsyncT :: Stream m a}
641-- type @a@. See 'AsyncT' documentation for more details.
641-- type @a@. See 'AsyncT' documentation for more details.
642--
642--
643-- @since 0.2.0
643-- @since 0.2.0
644−type Async a = AsyncT IO a
644+type Async = AsyncT IO
645
645
646-- | Fix the type of a polymorphic stream as 'AsyncT'.
646-- | Fix the type of a polymorphic stream as 'AsyncT'.
647--
647--
@@ -768,7 +768,7 @@ newtype WAsyncT m a = WAsyncT {getWAsyncT :: Stream m a}
768-- See 'WAsyncT' documentation for more details.
768-- See 'WAsyncT' documentation for more details.
769--
769--
770-- @since 0.2.0
770-- @since 0.2.0
771−type WAsync a = WAsyncT IO a
771+type WAsync = WAsyncT IO
772
772
773-- | Fix the type of a polymorphic stream as 'WAsyncT'.
773-- | Fix the type of a polymorphic stream as 'WAsyncT'.
774--
774--
src/Streamly/Streams/Parallel.hs+1−1
@@ -331,7 +331,7 @@ newtype ParallelT m a = ParallelT {getParallelT :: Stream m a}
331-- See 'ParallelT' documentation for more details.
331-- See 'ParallelT' documentation for more details.
332--
332--
333-- @since 0.2.0
333-- @since 0.2.0
334−type Parallel a = ParallelT IO a
334+type Parallel = ParallelT IO
335
335
336-- | Fix the type of a polymorphic stream as 'ParallelT'.
336-- | Fix the type of a polymorphic stream as 'ParallelT'.
337--
337--
src/Streamly/Streams/Serial.hs+2−2
@@ -127,7 +127,7 @@ newtype SerialT m a = SerialT {getSerialT :: Stream m a}
127-- for more details.
127-- for more details.
128--
128--
129-- @since 0.2.0
129-- @since 0.2.0
130−type Serial a = SerialT IO a
130+type Serial = SerialT IO
131
131
132-- |
132-- |
133-- @since 0.1.0
133-- @since 0.1.0
@@ -247,7 +247,7 @@ newtype WSerialT m a = WSerialT {getWSerialT :: Stream m a}
247-- documentation for more details.
247-- documentation for more details.
248--
248--
249-- @since 0.2.0
249-- @since 0.2.0
250−type WSerial a = WSerialT IO a
250+type WSerial = WSerialT IO
251
251
252-- |
252-- |
253-- @since 0.1.0
253-- @since 0.1.0
src/Streamly/Streams/Zip.hs+2−2
@@ -82,7 +82,7 @@ type ZipStream = ZipSerialM
82-- | An IO stream whose applicative instance zips streams serially.
82-- | An IO stream whose applicative instance zips streams serially.
83--
83--
84-- @since 0.2.0
84-- @since 0.2.0
85−type ZipSerial a = ZipSerialM IO a
85+type ZipSerial = ZipSerialM IO
86
86
87-- | Fix the type of a polymorphic stream as 'ZipSerialM'.
87-- | Fix the type of a polymorphic stream as 'ZipSerialM'.
88--
88--
@@ -171,7 +171,7 @@ newtype ZipAsyncM m a = ZipAsyncM {getZipAsyncM :: Stream m a}
171-- | An IO stream whose applicative instance zips streams wAsyncly.
171-- | An IO stream whose applicative instance zips streams wAsyncly.
172--
172--
173-- @since 0.2.0
173-- @since 0.2.0
174−type ZipAsync a = ZipAsyncM IO a
174+type ZipAsync = ZipAsyncM IO
175
175
176-- | Fix the type of a polymorphic stream as 'ZipAsyncM'.
176-- | Fix the type of a polymorphic stream as 'ZipAsyncM'.
177--
177--