module HsLua.Core.Run
( run
, runEither
, runWith
, GCManagedState
, newGCManagedState
, closeGCManagedState
, withGCManagedState
) where
import Control.Exception (bracket, try)
import Control.Monad ((<$!>))
import Foreign.ForeignPtr
(ForeignPtr, finalizeForeignPtr, newForeignPtr, withForeignPtr)
import HsLua.Core.Types (LuaE, runWith)
import Lua.Primary (lua_close_ptr)
import Lua (State (..))
import qualified Control.Monad.Catch as Catch
import qualified HsLua.Core.Auxiliary as Lua
import qualified HsLua.Core.Primary as Lua
run :: LuaE e a -> IO a
run :: forall e a. LuaE e a -> IO a
run = (IO State
Lua.newstate forall a b c. IO a -> (a -> IO b) -> (a -> IO c) -> IO c
`bracket` State -> IO ()
Lua.close) forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a b c. (a -> b -> c) -> b -> a -> c
flip forall e a. State -> LuaE e a -> IO a
runWith forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (m :: * -> *) a. MonadMask m => m a -> m a
Catch.mask_
{-# INLINABLE run #-}
runEither :: Catch.Exception e => LuaE e a -> IO (Either e a)
runEither :: forall e a. Exception e => LuaE e a -> IO (Either e a)
runEither = forall e a. Exception e => IO a -> IO (Either e a)
try forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall e a. LuaE e a -> IO a
run
{-# INLINABLE runEither #-}
newtype GCManagedState = GCManagedState (ForeignPtr ())
newGCManagedState :: IO GCManagedState
newGCManagedState :: IO GCManagedState
newGCManagedState = do
(State Ptr ()
lptr) <- IO State
Lua.newstate
ForeignPtr () -> GCManagedState
GCManagedState forall (m :: * -> *) a b. Monad m => (a -> b) -> m a -> m b
<$!> forall a. FinalizerPtr a -> Ptr a -> IO (ForeignPtr a)
newForeignPtr FunPtr (Ptr () -> IO ())
lua_close_ptr Ptr ()
lptr
closeGCManagedState :: GCManagedState -> IO ()
closeGCManagedState :: GCManagedState -> IO ()
closeGCManagedState (GCManagedState ForeignPtr ()
fptr) = forall a. ForeignPtr a -> IO ()
finalizeForeignPtr ForeignPtr ()
fptr
withGCManagedState :: GCManagedState
-> LuaE e a
-> IO a
withGCManagedState :: forall e a. GCManagedState -> LuaE e a -> IO a
withGCManagedState (GCManagedState ForeignPtr ()
fptr) LuaE e a
action =
forall a b. ForeignPtr a -> (Ptr a -> IO b) -> IO b
withForeignPtr ForeignPtr ()
fptr forall a b. (a -> b) -> a -> b
$ \Ptr ()
lptr ->
forall e a. State -> LuaE e a -> IO a
runWith (Ptr () -> State
State Ptr ()
lptr) LuaE e a
action