[ANN] streaming-eversion

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
4 messages Options
Reply | Threaded
Open this post in threaded view
|

[ANN] streaming-eversion

Daniel Díaz Carrete
Hi,

I have uploaded a small library to Hackage called streaming-eversion

I was thinking the other day that it would be nice to be able use the various "non-lens decoding functions" from pipes-text directly on the Fold datatype from the foldl package.

In general, I would like to take any pull-based transformation on streams/producers and apply it as a "transducer" that changes the inputs of a Fold.

So I implemented the technique described in the blog post Programmatic translation to iteratees from pull-based code by Paul Chiusano, and it seems to work.

An example of applying a pipes-text decoding function to the inputs of a Fold:

    :{
    import qualified Control.Foldl as L
    import qualified Pipes.Text.Encoding as TE
    import Streaming.Eversion.Pipes

    let adapted = transvertM (pipeTransvertibleM (\producer -> pipeLeftoversE (TE.decodeUtf8 producer))) 
                             (L.generalize L.mconcat) 
    in  runExceptT $ L.foldM adapted ["decode","this"]
    :}
Right "decodethis"




--
Reply | Threaded
Open this post in threaded view
|

Re: [ANN] streaming-eversion

Michael Thompson
I was trying to figure this out and noticed I got a pretty good optimization and also a unification of code if I started from this unpleasantly typed function:


    evertMaster
      :: (Monad m, Monad m1) =>
         (Stream (Of a) (Stream ((->) (Feed a)) m) () -> Stream ((->) (Feed a')) m1 (Of b ()))
         -> FoldM m1 a' b
    evertMaster consumer = FoldM step begin done
        where
        begin = return (consumer cat)
        step str i = case str of       
          Return _ -> error stoppedBeforeEOF
          Step f   -> return (f (Input i))
          Effect m -> m >>= \str' -> step str' i
        done str = do
          e <- inspect str
          case e of
            Left _ -> error stoppedBeforeEOF
            Right f -> do
              e <- inspect (f EOF)
              case e of
                Left (a :> ()) -> return a
                Right _ -> error continuedAfterEOF 
        cat :: Monad m => Stream (Of a) (Stream ((->)(Feed a)) m) ()        
        cat = do
          r <- Effect (Step (Return . Return))
          case r of
              Input a -> Step (a :> cat_ )
              EOF     -> Return ()  

    evert_ :: Eversible a b -> Fold a b
    evert_ (Eversible psi) = Foldl.simplify (evertMaster psi)
    evertM_ :: Monad m => EversibleM m a b -> FoldM m a b
    evertM_ (EversibleM psi) = evertMaster psi
    evertMIO_ :: MonadIO m => EversibleMIO m a b -> FoldM m a b
    evertMIO_ (EversibleMIO psi) = evertMaster psi


This uses the constructors directly for the internal `step` function, which is repeatedly applied, and the internal `cat` stream, which is repeatedly deconstructed. Using the constructors directly is black magic, so some gruesome mistake could emerge on cases more complicated than the trivial one I was testing. It was about 10 times as fast for this case but less of a win in the pure `Fold a b` case

        main = print =<< L.foldM (evertM_ (EversibleM S.sum)) [1..1000000::Int]
    -- main = print =<< L.foldM (evertM (EversibleM S.sum)) [1..1000000::Int]

The more prudent implementation would use `inspect` (~ `runFreeT`) in `step`, pattern matching on the Either, like in `done` above. I think that was still distinctly faster.  Similarly, the 'correct' `cat` / `evertedStreamM` would be like so

    cat :: Monad m => Stream (Of a) (Stream ((->)(Feed a)) m) ()
    cat = do
        r <- lift (yields id)
        case r of
            Input a -> do
                yield a
                cat
            EOF -> return ()


The idea of using `evertedStreamM` like this is pretty amazing. In the `Streaming.Prelude` module there is the dubious `store` function 

      store :: Monad m => (Stream (Of a) (Stream (Of a) m) r -> t) -> Stream (Of a) m r -> t

      store f str = f (copy str)



This is meant to be used at types like 


        

      S.store    :: Monad m => EvertibleM m a b -> Stream (Of a) m r -> Stream (Of a) m (Of b r)

      S.store    :: Monad m => Evertible a b -> Stream (Of a) m r -> Stream (Of a) m (Of b r)


(taking `Evertible` and company as rank-2 type synonyms, not newtypes).  The idea was to permit  you to apply more than one eliminating operation to the same stream of items. You apply a fold and still have your stream! Of course if the eliminations of the stream that you envisage are with `Control.Foldl.Fold(M)`s there is no point in since we already know how to do apply them together, but (as I was thinking) not every elimination reduces to a `Fold` or `FoldM`  The way it uses the `copy` function 

     S.copy :: Monad m =>  Stream (Of a) m r -> Stream (Of a) (Stream (Of a) m) r


is some sort of dual to the way `evert` uses `evertedStream`  I couldn't figure out a simple way of dealing with the differences parallel to `evert` `evertM` `evertMIO`, so basically
I just ended up exporting the equivalent of my `evertMaster` above with some comments on use. I'm not sure there would be any harm by the way in exporting three functions corresponding to `evert(M(IO))` that just take the rank two functions directly. I wasn't having trouble with the 'raw'

    everted_ :: (forall m r. Monad m => Stream (Of a) m r -> m (Of x r)) -> Fold a x
    everted_ phi = evert_ (Eversible phi)

    evertedM_ :: Monad m => (forall t r. (MonadTrans t, Monad (t m)) => Stream (Of a) (t m) r -> t m (Of x r)) -> FoldM m a x
    evertedM_ phi = evertM_ (EversibleM phi)

    evertedMIO_ :: MonadIO m => (forall t r. (MonadTrans t, MonadIO (t m)) => Stream (Of a) (t m) r -> t m (Of x r)) 
                 -> FoldM m a x
    evertedMIO_ phi = evertMIO_ (EversibleMIO phi) 

Then treat the wrapped versions as making complicated cases easier to get past the compiler: you separate out the task of  `Eversible` so that it type checks and so on.  I think edwardk does this sometimes, using both a direct rank-2 version and a wrapped version. 

Sorry, this is a bit of a mess, I still haven't got to figuring out the `Transvertible` bit!

--
Reply | Threaded
Open this post in threaded view
|

Re: [ANN] streaming-eversion

Daniel Díaz Carrete
Ah, I should have realised Stream ((->) (Feed a)) can be used for then iteratee part!

I think I will use your implementation with the constructors exposed, after I understand it better and add a few tests.

In the `Streaming.Prelude` module there is the dubious `store` function 

      store :: Monad m => (Stream (Of a) (Stream (Of a) m) r -> t) -> Stream (Of a) m r -> t

      store f str = f (copy str)



This is meant to be used at types like 


        

      S.store    :: Monad m => EvertibleM m a b -> Stream (Of a) m r -> Stream (Of a) m (Of b r)

      S.store    :: Monad m => Evertible a b -> Stream (Of a) m r -> Stream (Of a) m (Of b r)


(taking `Evertible` and company as rank-2 type synonyms, not newtypes).  The idea was to permit  you to apply more than one eliminating operation to the same stream of items. 
You apply a fold and still have your stream!

It seems somehow related to the applicative instance for Fold, that lets you consume a stream in two different ways...
 
I just ended up exporting the equivalent of my `evertMaster` above with some comments on use. I'm not sure there would be any harm by the way in exporting three functions corresponding to `evert(M(IO))` that just take the rank two functions directly. I wasn't having trouble with the 'raw'


I remember having problems about GHC complaining and telling me to enable ImpredicativeTypes but, come to think of it, perhaps it was only with TransvertibleM.
 
 I still haven't got to figuring out the `Transvertible` bit!


I think that, if you use unseparate on cat, you get a stream that, when inspected, alternatively emits output (to be fed to the "inner" fold) and requests input. But I'm not sure how the efficient solution using the internal constructors would look like.

--
Reply | Threaded
Open this post in threaded view
|

Re: [ANN] streaming-eversion

Daniel Díaz Carrete
Ok, in my latest commit, I have implemented transvertM using cat & unseparate, and it seems to work.

I have also simplified how the "inner fold" was handled. I was treating it like a black box and single-stepping it using the Comonad instance, but it's much easier to apply the step function directly to the state.

On Thursday, June 16, 2016 at 9:57:14 PM UTC+2, Daniel Díaz wrote:

I think that, if you use <a href="http://hackage.haskell.org/package/streaming-0.1.4.3/docs/Streaming.html#v:unseparate" target="_blank" rel="nofollow" onmousedown="this.href=&#39;http://www.google.com/url?q\x3dhttp%3A%2F%2Fhackage.haskell.org%2Fpackage%2Fstreaming-0.1.4.3%2Fdocs%2FStreaming.html%23v%3Aunseparate\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNE2FCuriCBmUJ_6pa23ib63IEpAgg&#39;;return true;" onclick="this.href=&#39;http://www.google.com/url?q\x3dhttp%3A%2F%2Fhackage.haskell.org%2Fpackage%2Fstreaming-0.1.4.3%2Fdocs%2FStreaming.html%23v%3Aunseparate\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNE2FCuriCBmUJ_6pa23ib63IEpAgg&#39;;return true;">unseparate on cat, you get a stream that, when inspected, alternatively emits output (to be fed to the "inner" fold) and requests input. But I'm not sure how the efficient solution using the internal constructors would look like.

--