lifted-base 0.2.1.2 → 0.2.2.0

raw patch · 2 files changed

+50/−1 lines, 2 files

Files

• Foreign/Marshal/Utils/Lifted.hs +48/−0
• lifted-base.cabal +2/−1

@@ -0,0 +1,48 @@+{-# LANGUAGE CPP+           , FlexibleContexts+           , UnicodeSyntax+           , NoImplicitPrelude+  #-}++#if __GLASGOW_HASKELL__ >= 702+{-# LANGUAGE Trustworthy #-}+#endif++{- |+Module      :  Foreign.Marshal.Utils.Lifted+Copyright   :  Bas van Dijk, Anders Kaseorg, Michael Steele+License     :  BSD-style++Maintainer  :  Bas van Dijk <v.dijk.bas@gmail.com>+Stability   :  experimental+Portability :  non-portable (extended exceptions)++This is a wrapped version of "Foreign.Marshal.Utils" with types generalized+from 'IO' to all monads in either 'MonadBase' or 'MonadBaseControl'.+-}++module Foreign.Marshal.Utils.Lifted+  ( with+  ) where++-- from base:+import qualified Foreign as F+import System.IO     ( IO )++-- from base-unicode-symbols:+import Data.Function.Unicode ( (∘) )++-- from monad-control:+import Control.Monad.Trans.Control ( MonadBaseControl+                                   , liftBaseOp )++-- |Generalized version of 'F.with'.+--+-- Note, when the given function throws an exception any monadic side+-- effects in @m@ will be discarded.+with ∷ (MonadBaseControl IO m, F.Storable a)+     ⇒ a       -- ^ value to be poked+     → (F.Ptr a → m b) -- ^ computation to run+     → m b+with = liftBaseOp ∘ F.with+{-# INLINEABLE with #-}

@@ -1,5 +1,5 @@ Name:                lifted-base-Version:             0.2.1.2+Version:             0.2.2.0 Synopsis:            lifted IO operations from the base library License:             BSD3 License-file:        LICENSE@@ -39,6 +39,7 @@                    Control.Concurrent.Chan.Lifted                    Control.Concurrent.Lifted                    Data.IORef.Lifted+                   Foreign.Marshal.Utils.Lifted                    System.Timeout.Lifted   if impl(ghc < 7.6)     Exposed-modules: