Foreign.Lua.Types.Lua

The core Lua types, including mappings of Lua types to Haskell.

Documentation

newtype Lua a

Lua computation

Constructors

Lua

Fields

• unLua :: ReaderT LuaState IO a

Instances

Monad Lua

Methods

(>>=) :: Lua a -> (a -> Lua b) -> Lua b

(>>) :: Lua a -> Lua b -> Lua b

return :: a -> Lua a

fail :: String -> Lua a

Functor Lua

Methods

fmap :: (a -> b) -> Lua a -> Lua b

(<$) :: a -> Lua b -> Lua a

Applicative Lua

Methods

pure :: a -> Lua a

(<*>) :: Lua (a -> b) -> Lua a -> Lua b

liftA2 :: (a -> b -> c) -> Lua a -> Lua b -> Lua c

(*>) :: Lua a -> Lua b -> Lua b

(<*) :: Lua a -> Lua b -> Lua a

MonadIO Lua

Methods

liftIO :: IO a -> Lua a

MonadThrow Lua

Methods

throwM :: Exception e => e -> Lua a

MonadCatch Lua

Methods

catch :: Exception e => Lua a -> (e -> Lua a) -> Lua a

MonadMask Lua

Methods

mask :: ((forall a. Lua a -> Lua a) -> Lua b) -> Lua b

uninterruptibleMask :: ((forall a. Lua a -> Lua a) -> Lua b) -> Lua b

generalBracket :: Lua a -> (a -> ExitCase b -> Lua c) -> (a -> Lua b) -> Lua (b, c)

ToHaskellFunction HaskellFunction

Methods

toHsFun :: StackIndex -> HaskellFunction -> Lua NumResults

MonadReader LuaState Lua

Methods

ask :: Lua LuaState

local :: (LuaState -> LuaState) -> Lua a -> Lua a

reader :: (LuaState -> a) -> Lua a

FromLuaStack a => LuaCallFunc (Lua a)

Methods

callFunc' :: String -> Lua () -> NumArgs -> Lua a

ToLuaStack a => ToHaskellFunction (Lua a)

Methods

toHsFun :: StackIndex -> Lua a -> Lua NumResults

luaState :: Lua LuaState

Get the lua state of this lua computation.

runLuaWith :: LuaState -> Lua a -> IO a

Run lua computation with custom lua state. Errors are left unhandled, the caller of this function is responsible to catch lua errors.

liftIO :: MonadIO m => forall a. IO a -> m a

Lift a computation from the IO monad.

liftLua :: (LuaState -> IO a) -> Lua a

Turn a function of typ LuaState -> IO a into a monadic lua operation.

liftLua1 :: (LuaState -> a -> IO b) -> a -> Lua b

Turn a function of typ LuaState -> a -> IO b into a monadic lua operation.