David Feuer

Fix dot documentation

8

I goofed up and made the ``strat1 `dot` strat1 = strat1`` law too strong. Fix that. Also, add laws for ``strat `dot` rseq`` and ``strat `dot` rpar``.

Generalize

10

Generalize most functions from `Strategy a` to a new `Strategy' a b`. This didn't actually require any changes to terms, but it gives a much better fusion story. `Strategy'` is...

Can an extra operation help explain things?

1

```haskell appEval :: forall a (b :: TYPE rep). (a -> b) -> Eval a -> b appEval f (Eval (IO m)) = case runRW# m of (# _, a...

Chunk better

3

`parListChunk` previously split a list up into chunks, applied the given strategy to each chunk, and then put them all together again. This led to two extra copies of the...

Buffering

6

* Add `buffering` to buffer compositionally. * Manually deforest `evalBuffer` and `parBuffer`. * Add more rules for `evalBuffer` and `parBuffer`. This PR is layered on another; I could disentangle them...

Embed ST actions in Eval

2

I'm not sure just how useful this is, but it seems like it should exist.

We can hypothetically write ```haskell evalToSTM :: Eval a -> STM a evalToSTM (Eval (IO m)) = STM m ``` Would that be a sensible operation? My intuition says yes,...

We really should have a Cabal-integrated test suite here, and make Travis run it.

We need to be sure not to regress #17.