packages feed

bluefin 0.0.6.0 → 0.0.6.1

raw patch · 4 files changed

+9/−2 lines, 4 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

+ Bluefin.State: withState :: forall s (es :: Effects) a. s -> (forall (st :: Effects). () => State s st -> Eff (st :& es) (s -> a)) -> Eff es a
- Bluefin.Coroutine: data () => Coroutine a b (s :: Effects)
+ Bluefin.Coroutine: data () => Coroutine a b (e :: Effects)
- Bluefin.EarlyReturn: returnEarly :: forall (er :: Effects) (es :: Effects) r a. er :> es => EarlyReturn r er -> r -> Eff es a
+ Bluefin.EarlyReturn: returnEarly :: forall (e :: Effects) (es :: Effects) r a. e :> es => EarlyReturn r e -> r -> Eff es a
- Bluefin.EarlyReturn: withEarlyReturn :: forall r (es :: Effects). (forall (er :: Effects). () => EarlyReturn r er -> Eff (er :& es) r) -> Eff es r
+ Bluefin.EarlyReturn: withEarlyReturn :: forall r (es :: Effects). (forall (e :: Effects). () => EarlyReturn r e -> Eff (e :& es) r) -> Eff es r
- Bluefin.Exception: catch :: forall e (es :: Effects) a. (forall (ex :: Effects). () => Exception e ex -> Eff (ex :& es) a) -> (e -> Eff es a) -> Eff es a
+ Bluefin.Exception: catch :: forall exn (es :: Effects) a. (forall (e :: Effects). () => Exception exn e -> Eff (e :& es) a) -> (exn -> Eff es a) -> Eff es a
- Bluefin.Exception: data () => Exception e (ex :: Effects)
+ Bluefin.Exception: data () => Exception exn (e :: Effects)
- Bluefin.Exception: handle :: forall e (es :: Effects) a. (e -> Eff es a) -> (forall (ex :: Effects). () => Exception e ex -> Eff (ex :& es) a) -> Eff es a
+ Bluefin.Exception: handle :: forall exn (es :: Effects) a. (exn -> Eff es a) -> (forall (e :: Effects). () => Exception exn e -> Eff (e :& es) a) -> Eff es a
- Bluefin.Exception: try :: forall e (es :: Effects) a. (forall (ex :: Effects). () => Exception e ex -> Eff (ex :& es) a) -> Eff es (Either e a)
+ Bluefin.Exception: try :: forall exn (es :: Effects) a. (forall (e :: Effects). () => Exception exn e -> Eff (e :& es) a) -> Eff es (Either exn a)
- Bluefin.Jump: jumpTo :: forall (j :: Effects) (es :: Effects) a. j :> es => Jump j -> Eff es a
+ Bluefin.Jump: jumpTo :: forall (e :: Effects) (es :: Effects) a. e :> es => Jump e -> Eff es a
- Bluefin.Jump: withJump :: forall (es :: Effects). (forall (j :: Effects). () => Jump j -> Eff (j :& es) ()) -> Eff es ()
+ Bluefin.Jump: withJump :: forall (es :: Effects). (forall (e :: Effects). () => Jump e -> Eff (e :& es) ()) -> Eff es ()
- Bluefin.State: data () => State s (st :: Effects)
+ Bluefin.State: data () => State s (e :: Effects)
- Bluefin.State: evalState :: forall s (es :: Effects) a. s -> (forall (st :: Effects). () => State s st -> Eff (st :& es) a) -> Eff es a
+ Bluefin.State: evalState :: forall s (es :: Effects) a. s -> (forall (e :: Effects). () => State s e -> Eff (e :& es) a) -> Eff es a
- Bluefin.State: get :: forall (st :: Effects) (es :: Effects) s. st :> es => State s st -> Eff es s
+ Bluefin.State: get :: forall (e :: Effects) (es :: Effects) s. e :> es => State s e -> Eff es s
- Bluefin.State: modify :: forall (st :: Effects) (es :: Effects) s. st :> es => State s st -> (s -> s) -> Eff es ()
+ Bluefin.State: modify :: forall (e :: Effects) (es :: Effects) s. e :> es => State s e -> (s -> s) -> Eff es ()
- Bluefin.State: put :: forall (st :: Effects) (es :: Effects) s. st :> es => State s st -> s -> Eff es ()
+ Bluefin.State: put :: forall (e :: Effects) (es :: Effects) s. e :> es => State s e -> s -> Eff es ()
- Bluefin.State: runState :: forall s (es :: Effects) a. s -> (forall (st :: Effects). () => State s st -> Eff (st :& es) a) -> Eff es (a, s)
+ Bluefin.State: runState :: forall s (es :: Effects) a. s -> (forall (e :: Effects). () => State s e -> Eff (e :& es) a) -> Eff es (a, s)
- Bluefin.StateSource: data () => StateSource (st :: Effects)
+ Bluefin.StateSource: data () => StateSource (e :: Effects)

Files

CHANGELOG.md view
@@ -1,3 +1,7 @@+## 0.0.6.1++* Documentation improvements+ ## 0.0.6.0  * Add `withYieldToList`
bluefin.cabal view
@@ -1,6 +1,6 @@ cabal-version:      3.0 name:               bluefin-version:            0.0.6.0+version:            0.0.6.1 license:            MIT license-file:       LICENSE author:             Tom Ellis
src/Bluefin.hs view
@@ -10,7 +10,9 @@     --  * "Bluefin.State", for mutable state     --  * "Bluefin.Stream", for streams     ---    -- Bluefin effects are accessed through explicitly though+    -- and to create your own effects in terms of existing ones+    -- ("Bluefin.Compound").+    -- Bluefin effects are accessed explicitly through     -- value-level handles.      -- * Introduction
src/Bluefin/State.hs view
@@ -4,6 +4,7 @@     -- * Handlers     evalState,     runState,+    withState,     -- * Effectful operations     get,     put,