bluefin-internal 0.0.9.0 → 0.0.10.0

raw patch · 3 files changed

+91/−2 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• CHANGELOG.md +4/−0
• bluefin-internal.cabal +3/−2
• src/Bluefin/Internal/System/IO.hs +84/−0

@@ -1,3 +1,7 @@+## 0.0.10.0++* Add `Bluefin.Internal.System.IO`+ ## 0.0.9.0  * Add `instance Handle IOE`

@@ -1,6 +1,6 @@ cabal-version:      3.0 name:               bluefin-internal-version:            0.0.9.0+version:            0.0.10.0 license:            MIT license-file:       LICENSE author:             Tom Ellis@@ -87,7 +87,8 @@     exposed-modules:       Bluefin.Internal,       Bluefin.Internal.Examples,-      Bluefin.Internal.Pipes+      Bluefin.Internal.Pipes,+      Bluefin.Internal.System.IO  test-suite bluefin-test     import:           defaults

@@ -0,0 +1,84 @@+module Bluefin.Internal.System.IO+  ( module Bluefin.Internal.System.IO,+    System.IO.IOMode (..),+  )+where++import Bluefin.Internal+  ( Eff,+    IOE,+    bracket,+    effIO,+    mapHandle,+    useImplIn,+    (:&),+    (:>),+  )+import qualified Bluefin.Internal+import qualified System.IO++-- We can probably get away without the IOE and just use+-- unsafeProvideIO on all Handle functions+data Handle e = UnsafeMkHandle System.IO.Handle (IOE e)++instance Bluefin.Internal.Handle Handle where+  mapHandle (UnsafeMkHandle h io) = UnsafeMkHandle h (mapHandle io)++withFile ::+  (e1 :> es) =>+  IOE e1 ->+  FilePath ->+  System.IO.IOMode ->+  (forall e. Handle e -> Eff (e :& es) r) ->+  -- | ͘+  Eff es r+withFile io fp iomode k =+  bracket+    ( effIO io (System.IO.openFile fp iomode)+    )+    ( \handle -> effIO io (System.IO.hClose handle)+    )+    ( \handle -> useImplIn k (UnsafeMkHandle handle (mapHandle io))+    )++hPutChar ::+  (e :> es) =>+  Handle e ->+  Char ->+  -- | ͘+  Eff es ()+hPutChar h = unsafeWithHandle h . flip System.IO.hPutChar++hPutStr ::+  (e :> es) =>+  Handle e ->+  String ->+  -- | ͘+  Eff es ()+hPutStr h = unsafeWithHandle h . flip System.IO.hPutStr++hPutStrLn ::+  (e :> es) =>+  Handle e ->+  String ->+  -- | ͘+  Eff es ()+hPutStrLn h = unsafeWithHandle h . flip System.IO.hPutStrLn++hFlush ::+  (e :> es) =>+  Handle e ->+  -- | ͘+  Eff es ()+hFlush h = unsafeWithHandle h System.IO.hFlush++-- | If there's a "System.IO.Handle"-using function you need that+-- isn't included here then you can [open an+-- issue](https://github.com/tomjaguarpaw/bluefin/issues/new) to+-- request it be added.  In the meantime you can define it yourself with @unsafeWithHandle@.+unsafeWithHandle ::+  (e1 :> es) =>+  Handle e1 ->+  (System.IO.Handle -> IO r) ->+  Eff es r+unsafeWithHandle (UnsafeMkHandle h io) k = effIO io (k h)