streams 0.1.1 → 0.2

raw patch · 2 files changed

+15/−4 lines, 2 files

Files

• Data/Stream/Branching.hs +13/−3
• streams.cabal +2/−1

@@ -18,17 +18,19 @@    , tail   -- Stream f a -> f (Stream f a)    , tails  -- Stream f a -> Stream f (Stream f a)    , inits1 -- Stream f a -> Stream f (NonEmpty a)-   , unfold -- +   , scanr  -- (a -> f b -> b) -> Stream f a -> Stream f b+   , scanl  -- (a -> b -> a) -> a -> Stream f b -> Stream f a+   , unfold   ) where -import Prelude hiding (head, tail)+import Prelude hiding (head, tail, scanr, scanl)  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)+import Data.Stream.NonEmpty hiding (tail, tails, unfold, head, scanr, scanl) import qualified Data.Stream.NonEmpty as NonEmpty  #ifdef GHC_TYPEABLE@@ -54,6 +56,14 @@ -- | equivalent to inits sans the initial [] context inits1 :: Functor f => Stream f a -> Stream f (NonEmpty a) inits1 (a :< as) = (a :| []) :< (fmap (NonEmpty.cons a) . inits1 <$> as)++scanr :: Functor f => (a -> f b -> b) -> Stream f a -> Stream f b+scanr f (a :< as) = f a (head <$> bs) :< bs+  where bs = scanr f <$> as++scanl :: Functor f => (a -> b -> a) -> a -> Stream f b -> Stream f a +scanl f z (b :< bs) = z' :< fmap (scanl f z') bs+  where z' = f z b  instance Functor f => Functor (Stream f) where   fmap f (a :< as) = f a :< fmap (fmap f) as

@@ -1,6 +1,6 @@ name:          streams category:      Control, Comonads-version:       0.1.1+version:       0.2 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE@@ -63,6 +63,7 @@   /Changes since 0.1/:    .   * A number of strictness issues with 'NonEmpty' were fixed+  .   * More documentation  source-repository head