{-# 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 #-}