summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIvanMiljenovic <>2017-07-07 06:01:00 (GMT)
committerhdiff <hdiff@hdiff.luite.com>2017-07-07 06:01:00 (GMT)
commitd4b6b312423baafd700a40968c3080c6462c0124 (patch)
tree8a0670549ffa7a1c35c1f7ce0826489fe4e664d4
parent0d7e032d502d9295ee9b83b6069247e5f1074194 (diff)
version 0.2.0.00.2.0.0
-rw-r--r--ChangeLog.md7
-rw-r--r--src/Streaming/With/Lifted.hs2
-rw-r--r--streaming-with.cabal2
3 files changed, 9 insertions, 2 deletions
diff --git a/ChangeLog.md b/ChangeLog.md
index 433d6ab..5b27302 100644
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,12 @@
# Revision history for streaming-with
+## 0.2.0.0 -- 2017-07-07
+
+* Add `Monad w` constraint to `Withable w`
+
+ - This was the intended use case all along, with the intent that
+ you can write code generic in the choice of `w`.
+
## 0.1.1.0 -- 2017-07-07
* Add support for the [temporary] package, specifically the functions:
diff --git a/src/Streaming/With/Lifted.hs b/src/Streaming/With/Lifted.hs
index 7918356..2d073e1 100644
--- a/src/Streaming/With/Lifted.hs
+++ b/src/Streaming/With/Lifted.hs
@@ -78,7 +78,7 @@ import System.IO (Handle, IOMode)
-- make writing all the underlying continuations in a nicer fashion
-- without explicit nesting, rather than as the basis of lower-level
-- code.
-class (MonadMask (WithMonad w), MonadIO (WithMonad w)) => Withable w where
+class (Monad w, MonadMask (WithMonad w), MonadIO (WithMonad w)) => Withable w where
type WithMonad w :: * -> *
liftWith :: (forall r. (a -> WithMonad w r) -> WithMonad w r) -> w a
diff --git a/streaming-with.cabal b/streaming-with.cabal
index 8daeb92..0149180 100644
--- a/streaming-with.cabal
+++ b/streaming-with.cabal
@@ -1,5 +1,5 @@
name: streaming-with
-version: 0.1.1.0
+version: 0.2.0.0
synopsis: with/bracket-style idioms for use with streaming
description:
This package provides the foundations for a continuation-based