bluefin 0.0.12.0 → 0.0.12.1

raw patch · 2 files changed

+50/−1 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• bluefin.cabal +1/−1
• src/Bluefin/Compound.hs +49/−0

@@ -1,6 +1,6 @@ cabal-version:      3.0 name:               bluefin-version:            0.0.12.0+version:            0.0.12.1 license:            MIT license-file:       LICENSE author:             Tom Ellis

@@ -484,6 +484,55 @@     -- -- (["Count was even","Count was even","Count was even","Count was even","Count was even","Count was even"],-42)     -- @ +    -- ** Dynamic effects with effectful operations as arguments++    -- | We can also implement dynamic effects that themselves take+    -- effectful operations as arguments, by giving the effectful+    -- operation the effect tag @e'@.  Here's an example of a dynamic+    -- reader effect, and one handler for the effect, which runs it in+    -- terms of the existing 'Bluefin.Reader' effect.+    --+    -- @+    -- data DynamicReader r e = DynamicReader+    --   { askLRImpl :: forall e'. Eff (e' :& e) r,+    --     localLRImpl :: forall e' a. (r -> r) -> Eff e' a -> Eff (e' :& e) a+    --   }+    --+    -- instance Handle (DynamicReader r) where+    --   mapHandle h =+    --     DynamicReader+    --       { askLRImpl = useImplUnder (askLRImpl h),+    --         localLRImpl = \f k -> useImplUnder (localLRImpl h f k)+    --       }+    --+    -- askLR ::+    --   (e :> es) =>+    --   DynamicReader r e ->+    --   Eff es r+    -- askLR c = makeOp (askLRImpl (mapHandle c))+    --+    -- localLR ::+    --   (e :> es) =>+    --   DynamicReader r e ->+    --   (r -> r) ->+    --   Eff es a ->+    --   Eff es a+    -- localLR c f m = makeOp (localLRImpl (mapHandle c) f m)+    --+    -- runDynamicReader ::+    --   r ->+    --   (forall e. DynamicReader r e -> Eff (e :& es) a) ->+    --   Eff es a+    -- runDynamicReader r k =+    --   runReader r $ \h -> do+    --     useImplIn+    --       k+    --       DynamicReader+    --         { askLRImpl = ask h,+    --           localLRImpl = \f k' -> makeOp (local h f (useImpl k'))+    --         }+    -- @+     -- ** A dynamic file system effect      -- | The @effectful@ library has [an example of a dynamic effect