Do not fully saturate the type synonyms
If we define type Serial a = SerialT IO a, then we cannot use Serial where we
need SerialT IO.
commita615989f940a7c8898cfa5672a907586aae9f0a2
authorHarendra Kumar <harendra.kumar@gmail.com>
dateSat 27 Oct 2018, 00:27 (8 years ago)
parent30a1700
src/Streamly/Streams/Ahead.hs+1−1
@@ -625,7 +625,7 @@ newtype AheadT m a = AheadT {getAheadT :: Stream m a}
625625-- 'AheadT' documentation for more details.
626626--
627627-- @since 0.3.0
628−type Ahead a = AheadT IO a
628+type Ahead = AheadT IO
629629
630630-- | Fix the type of a polymorphic stream as 'AheadT'.
631631--
src/Streamly/Streams/Async.hs+2−2
@@ -641,7 +641,7 @@ newtype AsyncT m a = AsyncT {getAsyncT :: Stream m a}
641641-- type @a@. See 'AsyncT' documentation for more details.
642642--
643643-- @since 0.2.0
644−type Async a = AsyncT IO a
644+type Async = AsyncT IO
645645
646646-- | Fix the type of a polymorphic stream as 'AsyncT'.
647647--
@@ -768,7 +768,7 @@ newtype WAsyncT m a = WAsyncT {getWAsyncT :: Stream m a}
768768-- See 'WAsyncT' documentation for more details.
769769--
770770-- @since 0.2.0
771−type WAsync a = WAsyncT IO a
771+type WAsync = WAsyncT IO
772772
773773-- | Fix the type of a polymorphic stream as 'WAsyncT'.
774774--
src/Streamly/Streams/Parallel.hs+1−1
@@ -331,7 +331,7 @@ newtype ParallelT m a = ParallelT {getParallelT :: Stream m a}
331331-- See 'ParallelT' documentation for more details.
332332--
333333-- @since 0.2.0
334−type Parallel a = ParallelT IO a
334+type Parallel = ParallelT IO
335335
336336-- | Fix the type of a polymorphic stream as 'ParallelT'.
337337--
src/Streamly/Streams/Serial.hs+2−2
@@ -127,7 +127,7 @@ newtype SerialT m a = SerialT {getSerialT :: Stream m a}
127127-- for more details.
128128--
129129-- @since 0.2.0
130−type Serial a = SerialT IO a
130+type Serial = SerialT IO
131131
132132-- |
133133-- @since 0.1.0
@@ -247,7 +247,7 @@ newtype WSerialT m a = WSerialT {getWSerialT :: Stream m a}
247247-- documentation for more details.
248248--
249249-- @since 0.2.0
250−type WSerial a = WSerialT IO a
250+type WSerial = WSerialT IO
251251
252252-- |
253253-- @since 0.1.0
src/Streamly/Streams/Zip.hs+2−2
@@ -82,7 +82,7 @@ type ZipStream = ZipSerialM
8282-- | An IO stream whose applicative instance zips streams serially.
8383--
8484-- @since 0.2.0
85−type ZipSerial a = ZipSerialM IO a
85+type ZipSerial = ZipSerialM IO
8686
8787-- | Fix the type of a polymorphic stream as 'ZipSerialM'.
8888--
@@ -171,7 +171,7 @@ newtype ZipAsyncM m a = ZipAsyncM {getZipAsyncM :: Stream m a}
171171-- | An IO stream whose applicative instance zips streams wAsyncly.
172172--
173173-- @since 0.2.0
174−type ZipAsync a = ZipAsyncM IO a
174+type ZipAsync = ZipAsyncM IO
175175
176176-- | Fix the type of a polymorphic stream as 'ZipAsyncM'.
177177--