9353c2f · streamly · git.iko.soy

git.iko.soy/streamly

on master help sign in

Fix build for GHC 7.10 and 8.0

9353c2fHarendra Kumar7 years ago

src/Streamly/Streams/StreamK/Type.hs+25−25

compare with master

unifiedsplit

@@ -624,20 +624,20 @@ augmentS :: IsStream t

624augmentS g xs = g cons xs

625

626{-# RULES "augmentS/nil"

627− forall (g :: (a -> t m a -> t m a) -> t m a -> t m a)

627+ forall (g :: (a -> t m a -> t m a) -> t m a -> t m a).

628− . augmentS g nil = buildS g

628+ augmentS g nil = buildS g

629−#-}

629+ #-}

630

631{-# RULES "foldrS/augmentS"

632− forall k z xs (g :: (a -> t m a -> t m a) -> t m a -> t m a)

632+ forall k z xs (g :: (a -> t m a -> t m a) -> t m a -> t m a).

633− . foldrS k z (augmentS g xs) = g k (foldrS k z xs)

633+ foldrS k z (augmentS g xs) = g k (foldrS k z xs)

634−#-}

634+ #-}

635

636{-# RULES "augmentS/buildS"

637− forall (g :: (a -> t m a -> t m a) -> t m a -> t m a)

637+ forall (g :: (a -> t m a -> t m a) -> t m a -> t m a)

638− (h :: (a -> t m a -> t m a) -> t m a -> t m a)

638+ (h :: (a -> t m a -> t m a) -> t m a -> t m a).

639− . augmentS g (buildS h) = buildS (\c n -> g c (h c n))

639+ augmentS g (buildS h) = buildS (\c n -> g c (h c n))

640−#-}

640+ #-}

641

642{-# INLINE_NORMAL augmentSM #-}

643augmentSM :: (IsStream t, MonadAsync m)

@@ -645,20 +645,20 @@ augmentSM :: (IsStream t, MonadAsync m)

645augmentSM g xs = g consM xs

646

647{-# RULES "augmentSM/nil"

648− forall (g :: (m a -> t m a -> t m a) -> t m a -> t m a)

648+ forall (g :: (m a -> t m a -> t m a) -> t m a -> t m a).

649− . augmentSM g nil = buildSM g

649+ augmentSM g nil = buildSM g

650−#-}

650+ #-}

651

652{-# RULES "foldrSM/augmentSM"

653− forall k z xs (g :: (m a -> t m a -> t m a) -> t m a -> t m a)

653+ forall k z xs (g :: (m a -> t m a -> t m a) -> t m a -> t m a).

654− . foldrSM k z (augmentSM g xs) = g k (foldrSM k z xs)

654+ foldrSM k z (augmentSM g xs) = g k (foldrSM k z xs)

655−#-}

655+ #-}

656

657{-# RULES "augmentSM/buildSM"

658− forall (g :: (m a -> t m a -> t m a) -> t m a -> t m a)

658+ forall (g :: (m a -> t m a -> t m a) -> t m a -> t m a)

659− (h :: (m a -> t m a -> t m a) -> t m a -> t m a)

659+ (h :: (m a -> t m a -> t m a) -> t m a -> t m a).

660− . augmentSM g (buildSM h) = buildSM (\c n -> g c (h c n))

660+ augmentSM g (buildSM h) = buildSM (\c n -> g c (h c n))

661−#-}

661+ #-}

662

663-------------------------------------------------------------------------------

664-- Experimental foldrM/buildM

@@ -711,7 +711,7 @@ foldrMKWith f step acc g = go g

711 -> m r

712 )).

713 foldrM step acc (buildM g) = foldrMKWith foldStream step acc g

714−#-}

714+ #-}

715

716{-# RULES "foldrM/sharedM"

717 forall step acc (g :: (forall r.

@@ -721,7 +721,7 @@ foldrMKWith f step acc g = go g

721 -> m r

722 )).

723 foldrM step acc (sharedM g) = foldrMKWith foldStreamShared step acc g

724−#-}

724+ #-}

725

726------------------------------------------------------------------------------

727-- Semigroup

@@ -774,7 +774,7 @@ mapFB c f = \x ys -> c (f x) ys

774{-# RULES

775"mapFB/mapFB" forall c f g. mapFB (mapFB c f) g = mapFB c (f . g)

776"mapFB/id" forall c. mapFB c (\x -> x) = c

777−#-}

777+ #-}

778

779{-# INLINE map #-}

780map :: IsStream t => (a -> b) -> t m a -> t m b

@@ -799,8 +799,8 @@ mapMFB :: Monad m => (m b -> t m b -> t m b) -> (a -> m b) -> m a -> t m b -> t

799mapMFB c f = \x ys -> c (x >>= f) ys

800

801{-# RULES

802−"mapMFB/mapMFB" forall c f g. mapMFB (mapMFB c f) g = mapMFB c (f >=> g)

802+ "mapMFB/mapMFB" forall c f g. mapMFB (mapMFB c f) g = mapMFB c (f >=> g)

803−#-}

803+ #-}

804-- XXX These rules may never fire because pure/return type class rules will

805-- fire first.

806{-

stack-7.10.yaml+2

@@ -12,6 +12,8 @@ extra-deps:

12 - basement-0.0.7

13 - deepseq-1.4.4.0

14 - typed-process-0.2.4.0@sha256:fb1574481a394bec4f49016fc42f2404cea4acf5b129329459dae5e416da560e

15+ - network-3.1.0.0@sha256:85b36fea1dfe92af91b38224d6ea84eb0b17c03d9aed0260413be226722b0cd2

16+

15flags: {}

17flags: {}

16extra-package-dbs: []

18extra-package-dbs: []

17# For mac ports installed SDL library on Mac OS X

19# For mac ports installed SDL library on Mac OS X

stack-8.0.yaml+1

@@ -9,6 +9,7 @@ extra-deps:

9 - basement-0.0.4

10 - deepseq-1.4.4.0

11 - typed-process-0.2.4.0@sha256:fb1574481a394bec4f49016fc42f2404cea4acf5b129329459dae5e416da560e

12+ - network-3.1.0.0@sha256:85b36fea1dfe92af91b38224d6ea84eb0b17c03d9aed0260413be226722b0cd2

13flags: {}

14flags: {}

14extra-package-dbs: []

15extra-package-dbs: []