streams 0.4 → 0.5.0
raw patch · 8 files changed
+2/−29 lines, 8 filesdep ~functor-apply
Dependency ranges changed: functor-apply
Files
- Data/Stream/Branching.hs +0/−3
- Data/Stream/Future.hs +0/−6
- Data/Stream/Future/Skew.hs +0/−3
- Data/Stream/Infinite.hs +0/−3
- Data/Stream/Infinite/Functional/Zipper.hs +0/−3
- Data/Stream/Infinite/Skew.hs +0/−3
- Data/Stream/NonEmpty.hs +0/−6
- streams.cabal +2/−2
Data/Stream/Branching.hs view
@@ -27,7 +27,6 @@ import Control.Applicative import Control.Comonad-import Control.Comonad.Apply import Control.Monad import Data.Functor.Apply import Data.Stream.NonEmpty hiding (tail, tails, unfold, head, scanr, scanl)@@ -84,8 +83,6 @@ (f :< fs) <.> (a :< as) = f a :< ((<.>) <$> fs <.> as) (f :< fs) <. (_ :< as) = f :< ((<. ) <$> fs <.> as) (_ :< fs) .> (a :< as) = a :< (( .>) <$> fs <.> as)--instance Apply f => ComonadApply (Stream f) instance Applicative f => Applicative (Stream f) where pure a = as where as = a :< pure as
Data/Stream/Future.hs view
@@ -24,9 +24,7 @@ import Prelude hiding (head, tail, map, length) import Control.Applicative-import Control.Applicative.Alt import Control.Comonad-import Control.Comonad.Apply import Data.Foldable import Data.Functor.Alt import Data.Traversable@@ -136,14 +134,10 @@ instance Semigroup (Future a) where (<>) = (<!>) -instance ComonadApply Future- instance Applicative Future where pure = Last (<*>) = (<.>) (<* ) = (<. ) ( *>) = ( .>)--instance ApplicativeAlt Future
Data/Stream/Future/Skew.hs view
@@ -48,7 +48,6 @@ import Control.Applicative hiding (empty) import Control.Comonad-import Control.Comonad.Apply import Data.Functor.Alt import Data.Functor.Apply import Data.Foldable hiding (toList)@@ -145,8 +144,6 @@ Tip f :< fs <.> Tip a :< as = f a <| (fs <.> as ) Tip f :< fs <.> Bin _ a la ra :< as = f a <| (fs <.> la :< ra :< as) Tip f :< fs <.> Last (Bin _ a la ra) = f a <| (fs <.> la :< Last ra )--instance ComonadApply Future instance Applicative Future where pure = repeat
Data/Stream/Infinite.hs view
@@ -76,7 +76,6 @@ import Control.Applicative import Control.Comonad-import Control.Comonad.Apply import Data.Char (isSpace) import Data.Data import Data.Functor.Apply@@ -135,8 +134,6 @@ (f :> fs) <.> (a :> as) = f a :> (fs <.> as) as <. _ = as _ .> bs = bs--instance ComonadApply Stream -- | 'repeat' @x@ returns a constant stream, where all elements are -- equal to @x@.
Data/Stream/Infinite/Functional/Zipper.hs view
@@ -51,7 +51,6 @@ import Control.Applicative import Control.Comonad-import Control.Comonad.Apply -- import Data.Char (isSpace) import Data.Data import Data.Functor.Apply@@ -110,8 +109,6 @@ = nf :~ \n -> f n (a (n + dn)) as <. _ = as _ .> bs = bs--instance ComonadApply Zipper instance Applicative Zipper where pure = repeat
Data/Stream/Infinite/Skew.hs view
@@ -44,7 +44,6 @@ import Control.Arrow (first) import Control.Applicative hiding (empty) import Control.Comonad-import Control.Comonad.Apply import Data.Distributive import Data.Functor.Alt import Data.Functor.Apply@@ -129,8 +128,6 @@ fs <.> as = mapWithIndex (\n f -> f (as !! n)) fs as <. _ = as _ .> bs = bs--instance ComonadApply Stream instance Applicative Stream where pure = repeat
Data/Stream/NonEmpty.hs view
@@ -88,9 +88,7 @@ ) import Control.Applicative-import Control.Applicative.Alt import Control.Comonad-import Control.Comonad.Apply import Control.Monad import Data.Functor.Alt import Data.Foldable hiding (toList)@@ -147,13 +145,9 @@ instance Alt NonEmpty where (a :| as) <!> ~(b :| bs) = a :| (as ++ b : bs) -instance ComonadApply NonEmpty- instance Applicative NonEmpty where pure a = a :| [] (<*>) = ap--instance ApplicativeAlt NonEmpty instance Monad NonEmpty where return a = a :| []
streams.cabal view
@@ -1,6 +1,6 @@ name: streams category: Control, Comonads-version: 0.4+version: 0.5.0 license: BSD3 cabal-version: >= 1.6 license-file: LICENSE@@ -75,7 +75,7 @@ build-depends: base >= 4 && < 4.4, comonad >= 0.9 && < 0.10,- functor-apply >= 0.9 && < 0.10,+ functor-apply >= 0.10 && < 0.11, distributive >= 0.1 && < 0.2, semigroups >= 0.3.4 && < 0.4