Copyright	© 2007–2012 Gracjan Polak; © 2012–2016 Ömer Sinan Ağacan; © 2017-2024 Albert Krewinkel
License	MIT
Maintainer	Albert Krewinkel <tarleb@hslua.org>
Stability	beta
Portability	non-portable (depends on GHC)
Safe Haskell	None
Language	Haskell2010

HsLua

Contents

Core functionality
Marshalling
Module, data, and function packaging
Type classes
Marshal to and from JSON-like structures
Utility functions

Description

Functions and utilities enabling the seamless integration of a Lua interpreter into a Haskell project.

This module combines and re-exports the functionality of the HsLua framework. Basic access to the Lua API is provided by Core from Hackage package lua.

Synopsis

type Lua a = LuaE Exception a
newtype LuaE e a = Lua {
- unLua :: ReaderT LuaEnvironment IO a
}
data RelationalOperator
- = EQ
- | LT
- | LE
newtype Integer = Integer Int64
data Type
- = TypeNone
- | TypeNil
- | TypeBoolean
- | TypeLightUserdata
- | TypeNumber
- | TypeString
- | TypeTable
- | TypeFunction
- | TypeUserdata
- | TypeThread
concat :: LuaError e => NumArgs -> LuaE e ()
compare :: LuaError e => StackIndex -> StackIndex -> RelationalOperator -> LuaE e Bool
error :: LuaE e NumResults
rotate :: StackIndex -> Int -> LuaE e ()
newtype Number = Number Double
newtype Exception = Exception {
- exceptionMessage :: String
}
insert :: StackIndex -> LuaE e ()
liftIO :: MonadIO m => IO a -> m a
close :: State -> IO ()
gc :: GCControl -> LuaE e Int
try :: Exception e => LuaE e a -> LuaE e (Either e a)
copy :: StackIndex -> StackIndex -> LuaE e ()
newtype State = State (Ptr ())
pcall :: NumArgs -> NumResults -> Maybe StackIndex -> LuaE e Status
next :: LuaError e => StackIndex -> LuaE e Bool
type CFunction = FunPtr PreCFunction
data Status
- = OK
- | Yield
- | ErrRun
- | ErrSyntax
- | ErrMem
- | ErrErr
- | ErrFile
load :: Reader -> Ptr () -> Name -> LuaE e Status
refnil :: Int
noref :: Int
newtype NumResults = NumResults {
- fromNumResults :: CInt
}
newtype NumArgs = NumArgs {
- fromNumArgs :: CInt
}
newtype StackIndex = StackIndex {
- fromStackIndex :: CInt
}
type PreCFunction = State -> IO NumResults
data Reference
- = Reference CInt
- | RefNil
fromReference :: Reference -> CInt
toReference :: CInt -> Reference
nthTop :: CInt -> StackIndex
nthBottom :: CInt -> StackIndex
nth :: CInt -> StackIndex
top :: StackIndex
newtype Name = Name {
- fromName :: ByteString
}
data GCControl
- = GCStop
- | GCRestart
- | GCCollect
- | GCCount
- | GCCountb
- | GCStep CInt
- | GCInc CInt CInt CInt
- | GCGen CInt CInt
- | GCIsRunning
type HaskellFunction e = LuaE e NumResults
newtype LuaEnvironment = LuaEnvironment {
- luaEnvState :: State
}
state :: LuaE e State
runWith :: State -> LuaE e a -> IO a
unsafeRunWith :: State -> LuaE e a -> IO a
multret :: NumResults
registryindex :: StackIndex
newhsuserdatauv :: a -> Int -> LuaE e ()
newudmetatable :: Name -> LuaE e Bool
fromuserdata :: forall a e. StackIndex -> Name -> LuaE e (Maybe a)
putuserdata :: StackIndex -> Name -> a -> LuaE e Bool
getupvalue :: StackIndex -> Int -> LuaE e (Maybe Name)
setupvalue :: StackIndex -> Int -> LuaE e (Maybe Name)
class Exception e => LuaError e where
- popException :: LuaE e e
- pushException :: e -> LuaE e ()
- luaException :: String -> e
failLua :: LuaError e => String -> LuaE e a
throwErrorAsException :: LuaError e => LuaE e a
throwTypeMismatchError :: LuaError e => ByteString -> StackIndex -> LuaE e a
changeErrorType :: forall old new a. LuaE old a -> LuaE new a
popErrorMessage :: State -> IO ByteString
pushTypeMismatchError :: ByteString -> StackIndex -> LuaE e ()
absindex :: StackIndex -> LuaE e StackIndex
call :: LuaError e => NumArgs -> NumResults -> LuaE e ()
checkstack :: Int -> LuaE e Bool
createtable :: Int -> Int -> LuaE e ()
equal :: LuaError e => StackIndex -> StackIndex -> LuaE e Bool
getfield :: LuaError e => StackIndex -> Name -> LuaE e Type
getglobal :: LuaError e => Name -> LuaE e Type
getmetatable :: StackIndex -> LuaE e Bool
gettable :: LuaError e => StackIndex -> LuaE e Type
gettop :: LuaE e StackIndex
getiuservalue :: StackIndex -> Int -> LuaE e Type
isboolean :: StackIndex -> LuaE e Bool
iscfunction :: StackIndex -> LuaE e Bool
isfunction :: StackIndex -> LuaE e Bool
isinteger :: StackIndex -> LuaE e Bool
islightuserdata :: StackIndex -> LuaE e Bool
isnil :: StackIndex -> LuaE e Bool
isnone :: StackIndex -> LuaE e Bool
isnoneornil :: StackIndex -> LuaE e Bool
isnumber :: StackIndex -> LuaE e Bool
isstring :: StackIndex -> LuaE e Bool
istable :: StackIndex -> LuaE e Bool
isthread :: StackIndex -> LuaE e Bool
isuserdata :: StackIndex -> LuaE e Bool
lessthan :: LuaError e => StackIndex -> StackIndex -> LuaE e Bool
ltype :: StackIndex -> LuaE e Type
newtable :: LuaE e ()
newuserdatauv :: Int -> Int -> LuaE e (Ptr ())
openlibs :: LuaE e ()
openbase :: LuaError e => LuaE e ()
opendebug :: LuaError e => LuaE e ()
openio :: LuaError e => LuaE e ()
openmath :: LuaError e => LuaE e ()
openos :: LuaError e => LuaE e ()
openpackage :: LuaError e => LuaE e ()
openstring :: LuaError e => LuaE e ()
opentable :: LuaError e => LuaE e ()
pop :: Int -> LuaE e ()
pushboolean :: Bool -> LuaE e ()
pushcclosure :: CFunction -> NumArgs -> LuaE e ()
pushcfunction :: CFunction -> LuaE e ()
pushglobaltable :: LuaE e ()
pushinteger :: Integer -> LuaE e ()
pushlightuserdata :: Ptr a -> LuaE e ()
pushnil :: LuaE e ()
pushnumber :: Number -> LuaE e ()
pushstring :: ByteString -> LuaE e ()
pushthread :: LuaE e Bool
pushvalue :: StackIndex -> LuaE e ()
rawequal :: StackIndex -> StackIndex -> LuaE e Bool
rawget :: LuaError e => StackIndex -> LuaE e Type
rawgeti :: LuaError e => StackIndex -> Integer -> LuaE e Type
rawlen :: StackIndex -> LuaE e Int
rawset :: LuaError e => StackIndex -> LuaE e ()
rawseti :: LuaError e => StackIndex -> Integer -> LuaE e ()
register :: LuaError e => Name -> CFunction -> LuaE e ()
remove :: StackIndex -> LuaE e ()
replace :: StackIndex -> LuaE e ()
setfield :: LuaError e => StackIndex -> Name -> LuaE e ()
setglobal :: LuaError e => Name -> LuaE e ()
setmetatable :: StackIndex -> LuaE e ()
settable :: LuaError e => StackIndex -> LuaE e ()
settop :: StackIndex -> LuaE e ()
setiuservalue :: StackIndex -> Int -> LuaE e Bool
setwarnf :: WarnFunction -> Ptr () -> LuaE e ()
status :: LuaE e Status
toboolean :: StackIndex -> LuaE e Bool
tocfunction :: StackIndex -> LuaE e (Maybe CFunction)
tointeger :: StackIndex -> LuaE e (Maybe Integer)
tonumber :: StackIndex -> LuaE e (Maybe Number)
topointer :: StackIndex -> LuaE e (Ptr ())
tostring :: StackIndex -> LuaE e (Maybe ByteString)
tothread :: StackIndex -> LuaE e (Maybe State)
touserdata :: StackIndex -> LuaE e (Maybe (Ptr a))
typename :: Type -> LuaE e ByteString
upvalueindex :: StackIndex -> StackIndex
pushPreCFunction :: PreCFunction -> LuaE e ()
pushHaskellFunction :: LuaError e => HaskellFunction e -> LuaE e ()
checkstack' :: LuaError e => Int -> String -> LuaE e ()
dostring :: ByteString -> LuaE e Status
dofile :: Maybe FilePath -> LuaE e Status
getmetafield :: StackIndex -> Name -> LuaE e Type
getmetatable' :: Name -> LuaE e Type
getref :: LuaError e => StackIndex -> Reference -> LuaE e Type
getsubtable :: LuaError e => StackIndex -> Name -> LuaE e Bool
loadbuffer :: ByteString -> Name -> LuaE e Status
loadfile :: Maybe FilePath -> LuaE e Status
loadstring :: ByteString -> LuaE e Status
newmetatable :: Name -> LuaE e Bool
newstate :: IO State
ref :: StackIndex -> LuaE e Reference
requiref :: LuaError e => Name -> CFunction -> Bool -> LuaE e ()
tostring' :: LuaError e => StackIndex -> LuaE e ByteString
traceback :: State -> Maybe ByteString -> Int -> LuaE e ()
unref :: StackIndex -> Reference -> LuaE e ()
where' :: Int -> LuaE e ()
loaded :: Name
preload :: Name
data GCManagedState
run :: LuaE e a -> IO a
runEither :: Exception e => LuaE e a -> IO (Either e a)
newGCManagedState :: IO GCManagedState
closeGCManagedState :: GCManagedState -> IO ()
withGCManagedState :: GCManagedState -> LuaE e a -> IO a
pcallTrace :: NumArgs -> NumResults -> LuaE e Status
callTrace :: LuaError e => NumArgs -> NumResults -> LuaE e ()
dofileTrace :: Maybe FilePath -> LuaE e Status
dostringTrace :: ByteString -> LuaE e Status
requirehs :: LuaError e => Name -> (Name -> LuaE e ()) -> LuaE e ()
preloadhs :: LuaError e => Name -> LuaE e NumResults -> LuaE e ()
setwarnf' :: LuaError e => (ByteString -> LuaE e ()) -> LuaE e ()
module HsLua.Marshalling
module HsLua.ObjectOrientation
module HsLua.Packaging
module HsLua.Class.Exposable
module HsLua.Class.Invokable
module HsLua.Class.Peekable
class Pushable a where
- push :: LuaError e => a -> LuaE e ()
module HsLua.Aeson
getglobal' :: LuaError e => Name -> LuaE e ()
setglobal' :: LuaError e => Name -> LuaE e ()
module HsLua.Class.Util

Core functionality

type Lua a = LuaE Exception a #

newtype LuaE e a #

Constructors

Lua
Fields unLua :: ReaderT LuaEnvironment IO a

Instances

Instances details

LuaError e => Exposable e (HaskellFunction e)
Instance details Defined in HsLua.Class.Exposable Methods partialApply :: StackIndex -> HaskellFunction e -> Peek e NumResults Source #
MonadReader LuaEnvironment (LuaE e)
Instance details Defined in HsLua.Core.Types Methods ask :: LuaE e LuaEnvironment Source # local :: (LuaEnvironment -> LuaEnvironment) -> LuaE e a -> LuaE e a Source # reader :: (LuaEnvironment -> a) -> LuaE e a Source #
(LuaError e, Pushable a) => Exposable e (LuaE e a)
Instance details Defined in HsLua.Class.Exposable Methods partialApply :: StackIndex -> LuaE e a -> Peek e NumResults Source #
MonadIO (LuaE e)
Instance details Defined in HsLua.Core.Types Methods liftIO :: IO a -> LuaE e a Source #
MonadCatch (LuaE e)
Instance details Defined in HsLua.Core.Types Methods catch :: (HasCallStack, Exception e0) => LuaE e a -> (e0 -> LuaE e a) -> LuaE e a Source #
MonadMask (LuaE e)
Instance details Defined in HsLua.Core.Types Methods mask :: HasCallStack => ((forall a. LuaE e a -> LuaE e a) -> LuaE e b) -> LuaE e b Source # uninterruptibleMask :: HasCallStack => ((forall a. LuaE e a -> LuaE e a) -> LuaE e b) -> LuaE e b Source # generalBracket :: HasCallStack => LuaE e a -> (a -> ExitCase b -> LuaE e c) -> (a -> LuaE e b) -> LuaE e (b, c) Source #
MonadThrow (LuaE e)
Instance details Defined in HsLua.Core.Types Methods throwM :: (HasCallStack, Exception e0) => e0 -> LuaE e a Source #
LuaError e => Alternative (LuaE e)
Instance details Defined in HsLua.Core.Error Methods empty :: LuaE e a Source # (<\|>) :: LuaE e a -> LuaE e a -> LuaE e a Source # some :: LuaE e a -> LuaE e [a] Source # many :: LuaE e a -> LuaE e [a] Source #
Applicative (LuaE e)
Instance details Defined in HsLua.Core.Types Methods pure :: a -> LuaE e a Source # (<>) :: LuaE e (a -> b) -> LuaE e a -> LuaE e b Source # liftA2 :: (a -> b -> c) -> LuaE e a -> LuaE e b -> LuaE e c Source # (>) :: LuaE e a -> LuaE e b -> LuaE e b Source # (<*) :: LuaE e a -> LuaE e b -> LuaE e a Source #
Functor (LuaE e)
Instance details Defined in HsLua.Core.Types Methods fmap :: (a -> b) -> LuaE e a -> LuaE e b Source # (<$) :: a -> LuaE e b -> LuaE e a Source #
Monad (LuaE e)
Instance details Defined in HsLua.Core.Types Methods (>>=) :: LuaE e a -> (a -> LuaE e b) -> LuaE e b Source # (>>) :: LuaE e a -> LuaE e b -> LuaE e b Source # return :: a -> LuaE e a Source #
LuaError e => MonadFail (LuaE e)
Instance details Defined in HsLua.Core.Error Methods fail :: String -> LuaE e a Source #
(LuaError e, Peekable a) => Invokable (LuaE e a)
Instance details Defined in HsLua.Class.Invokable Methods addArg :: Name -> (forall e0. LuaError e0 => LuaE e0 ()) -> NumArgs -> LuaE e a Source #

data RelationalOperator #

Constructors

EQ
LT
LE

Instances

Instances details

Show RelationalOperator
Instance details Defined in HsLua.Core.Types Methods showsPrec :: Int -> RelationalOperator -> ShowS Source # show :: RelationalOperator -> String Source # showList :: [RelationalOperator] -> ShowS Source #
Eq RelationalOperator
Instance details Defined in HsLua.Core.Types Methods (==) :: RelationalOperator -> RelationalOperator -> Bool Source # (/=) :: RelationalOperator -> RelationalOperator -> Bool Source #
Ord RelationalOperator
Instance details Defined in HsLua.Core.Types Methods compare :: RelationalOperator -> RelationalOperator -> Ordering Source # (<) :: RelationalOperator -> RelationalOperator -> Bool Source # (<=) :: RelationalOperator -> RelationalOperator -> Bool Source # (>) :: RelationalOperator -> RelationalOperator -> Bool Source # (>=) :: RelationalOperator -> RelationalOperator -> Bool Source # max :: RelationalOperator -> RelationalOperator -> RelationalOperator Source # min :: RelationalOperator -> RelationalOperator -> RelationalOperator Source #

newtype Integer #

Constructors

Integer Int64

Instances

Instances details

Bounded Integer
Instance details Defined in Lua.Types Methods minBound :: Integer Source # maxBound :: Integer Source #
Enum Integer
Instance details Defined in Lua.Types Methods succ :: Integer -> Integer Source # pred :: Integer -> Integer Source # toEnum :: Int -> Integer Source # fromEnum :: Integer -> Int Source # enumFrom :: Integer -> [Integer] Source # enumFromThen :: Integer -> Integer -> [Integer] Source # enumFromTo :: Integer -> Integer -> [Integer] Source # enumFromThenTo :: Integer -> Integer -> Integer -> [Integer] Source #
Num Integer
Instance details Defined in Lua.Types Methods (+) :: Integer -> Integer -> Integer Source # (-) :: Integer -> Integer -> Integer Source # (*) :: Integer -> Integer -> Integer Source # negate :: Integer -> Integer Source # abs :: Integer -> Integer Source # signum :: Integer -> Integer Source # fromInteger :: Integer -> Integer Source #
Read Integer
Instance details Defined in Lua.Types Methods readsPrec :: Int -> ReadS Integer Source # readList :: ReadS [Integer] Source # readPrec :: ReadPrec Integer Source # readListPrec :: ReadPrec [Integer] Source #
Integral Integer
Instance details Defined in Lua.Types Methods quot :: Integer -> Integer -> Integer Source # rem :: Integer -> Integer -> Integer Source # div :: Integer -> Integer -> Integer Source # mod :: Integer -> Integer -> Integer Source # quotRem :: Integer -> Integer -> (Integer, Integer) Source # divMod :: Integer -> Integer -> (Integer, Integer) Source # toInteger :: Integer -> Integer Source #
Real Integer
Instance details Defined in Lua.Types Methods toRational :: Integer -> Rational Source #
Show Integer
Instance details Defined in Lua.Types Methods showsPrec :: Int -> Integer -> ShowS Source # show :: Integer -> String Source # showList :: [Integer] -> ShowS Source #
Eq Integer
Instance details Defined in Lua.Types Methods (==) :: Integer -> Integer -> Bool Source # (/=) :: Integer -> Integer -> Bool Source #
Ord Integer
Instance details Defined in Lua.Types Methods compare :: Integer -> Integer -> Ordering Source # (<) :: Integer -> Integer -> Bool Source # (<=) :: Integer -> Integer -> Bool Source # (>) :: Integer -> Integer -> Bool Source # (>=) :: Integer -> Integer -> Bool Source # max :: Integer -> Integer -> Integer Source # min :: Integer -> Integer -> Integer Source #
Peekable Integer
Instance details Defined in HsLua.Class.Peekable Methods safepeek :: LuaError e => Peeker e Integer Source #
Pushable Integer
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => Integer -> LuaE e () Source #

data Type #

Constructors

TypeNone
TypeNil
TypeBoolean
TypeLightUserdata
TypeNumber
TypeString
TypeTable
TypeFunction
TypeUserdata
TypeThread

Instances

Instances details

Bounded Type
Instance details Defined in HsLua.Core.Types Methods minBound :: Type Source # maxBound :: Type Source #
Enum Type
Instance details Defined in HsLua.Core.Types Methods succ :: Type -> Type Source # pred :: Type -> Type Source # toEnum :: Int -> Type Source # fromEnum :: Type -> Int Source # enumFrom :: Type -> [Type] Source # enumFromThen :: Type -> Type -> [Type] Source # enumFromTo :: Type -> Type -> [Type] Source # enumFromThenTo :: Type -> Type -> Type -> [Type] Source #
Read Type
Instance details Defined in HsLua.Core.Types Methods readsPrec :: Int -> ReadS Type Source # readList :: ReadS [Type] Source # readPrec :: ReadPrec Type Source # readListPrec :: ReadPrec [Type] Source #
Show Type
Instance details Defined in HsLua.Core.Types Methods showsPrec :: Int -> Type -> ShowS Source # show :: Type -> String Source # showList :: [Type] -> ShowS Source #
Eq Type
Instance details Defined in HsLua.Core.Types Methods (==) :: Type -> Type -> Bool Source # (/=) :: Type -> Type -> Bool Source #
Ord Type
Instance details Defined in HsLua.Core.Types Methods compare :: Type -> Type -> Ordering Source # (<) :: Type -> Type -> Bool Source # (<=) :: Type -> Type -> Bool Source # (>) :: Type -> Type -> Bool Source # (>=) :: Type -> Type -> Bool Source # max :: Type -> Type -> Type Source # min :: Type -> Type -> Type Source #

concat :: LuaError e => NumArgs -> LuaE e () #

compare :: LuaError e => StackIndex -> StackIndex -> RelationalOperator -> LuaE e Bool #

error :: LuaE e NumResults #

rotate :: StackIndex -> Int -> LuaE e () #

newtype Number #

Constructors

Number Double

Instances

Instances details

Floating Number
Instance details Defined in Lua.Types Methods pi :: Number Source # exp :: Number -> Number Source # log :: Number -> Number Source # sqrt :: Number -> Number Source # (**) :: Number -> Number -> Number Source # logBase :: Number -> Number -> Number Source # sin :: Number -> Number Source # cos :: Number -> Number Source # tan :: Number -> Number Source # asin :: Number -> Number Source # acos :: Number -> Number Source # atan :: Number -> Number Source # sinh :: Number -> Number Source # cosh :: Number -> Number Source # tanh :: Number -> Number Source # asinh :: Number -> Number Source # acosh :: Number -> Number Source # atanh :: Number -> Number Source # log1p :: Number -> Number Source # expm1 :: Number -> Number Source # log1pexp :: Number -> Number Source # log1mexp :: Number -> Number Source #
RealFloat Number
Instance details Defined in Lua.Types Methods floatRadix :: Number -> Integer Source # floatDigits :: Number -> Int Source # floatRange :: Number -> (Int, Int) Source # decodeFloat :: Number -> (Integer, Int) Source # encodeFloat :: Integer -> Int -> Number Source # exponent :: Number -> Int Source # significand :: Number -> Number Source # scaleFloat :: Int -> Number -> Number Source # isNaN :: Number -> Bool Source # isInfinite :: Number -> Bool Source # isDenormalized :: Number -> Bool Source # isNegativeZero :: Number -> Bool Source # isIEEE :: Number -> Bool Source # atan2 :: Number -> Number -> Number Source #
Num Number
Instance details Defined in Lua.Types Methods (+) :: Number -> Number -> Number Source # (-) :: Number -> Number -> Number Source # (*) :: Number -> Number -> Number Source # negate :: Number -> Number Source # abs :: Number -> Number Source # signum :: Number -> Number Source # fromInteger :: Integer -> Number Source #
Read Number
Instance details Defined in Lua.Types Methods readsPrec :: Int -> ReadS Number Source # readList :: ReadS [Number] Source # readPrec :: ReadPrec Number Source # readListPrec :: ReadPrec [Number] Source #
Fractional Number
Instance details Defined in Lua.Types Methods (/) :: Number -> Number -> Number Source # recip :: Number -> Number Source # fromRational :: Rational -> Number Source #
Real Number
Instance details Defined in Lua.Types Methods toRational :: Number -> Rational Source #
RealFrac Number
Instance details Defined in Lua.Types Methods properFraction :: Integral b => Number -> (b, Number) Source # truncate :: Integral b => Number -> b Source # round :: Integral b => Number -> b Source # ceiling :: Integral b => Number -> b Source # floor :: Integral b => Number -> b Source #
Show Number
Instance details Defined in Lua.Types Methods showsPrec :: Int -> Number -> ShowS Source # show :: Number -> String Source # showList :: [Number] -> ShowS Source #
Eq Number
Instance details Defined in Lua.Types Methods (==) :: Number -> Number -> Bool Source # (/=) :: Number -> Number -> Bool Source #
Ord Number
Instance details Defined in Lua.Types Methods compare :: Number -> Number -> Ordering Source # (<) :: Number -> Number -> Bool Source # (<=) :: Number -> Number -> Bool Source # (>) :: Number -> Number -> Bool Source # (>=) :: Number -> Number -> Bool Source # max :: Number -> Number -> Number Source # min :: Number -> Number -> Number Source #
Peekable Number
Instance details Defined in HsLua.Class.Peekable Methods safepeek :: LuaError e => Peeker e Number Source #
Pushable Number
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => Number -> LuaE e () Source #

newtype Exception #

Constructors

Exception
Fields exceptionMessage :: String

Instances

Instances details

Exception Exception
Instance details Defined in HsLua.Core.Error Methods toException :: Exception -> SomeException Source # fromException :: SomeException -> Maybe Exception Source # displayException :: Exception -> String Source # backtraceDesired :: Exception -> Bool Source #
Show Exception
Instance details Defined in HsLua.Core.Error Methods showsPrec :: Int -> Exception -> ShowS Source # show :: Exception -> String Source # showList :: [Exception] -> ShowS Source #
Eq Exception
Instance details Defined in HsLua.Core.Error Methods (==) :: Exception -> Exception -> Bool Source # (/=) :: Exception -> Exception -> Bool Source #
LuaError Exception
Instance details Defined in HsLua.Core.Error Methods popException :: LuaE Exception Exception # pushException :: Exception -> LuaE Exception () # luaException :: String -> Exception #

insert :: StackIndex -> LuaE e () #

liftIO :: MonadIO m => IO a -> m a Source #

Lift a computation from the IO monad. This allows us to run IO computations in any monadic stack, so long as it supports these kinds of operations (i.e. IO is the base monad for the stack).

Example

Expand

import Control.Monad.Trans.State -- from the "transformers" library

printState :: Show s => StateT s IO ()
printState = do
  state <- get
  liftIO $ print state

Had we omitted liftIO, we would have ended up with this error:

• Couldn't match type ‘IO’ with ‘StateT s IO’
 Expected type: StateT s IO ()
   Actual type: IO ()

The important part here is the mismatch between StateT s IO () and IO ().

Luckily, we know of a function that takes an IO a and returns an (m a): liftIO, enabling us to run the program and see the expected results:

> evalStateT printState "hello"
"hello"

> evalStateT printState 3
3

close :: State -> IO () #

gc :: GCControl -> LuaE e Int #

try :: Exception e => LuaE e a -> LuaE e (Either e a) #

copy :: StackIndex -> StackIndex -> LuaE e () #

newtype State #

Constructors

State (Ptr ())

Instances

Instances details

Generic State

Instance details

Defined in Lua.Types

Associated Types

type Rep State
Instance details Defined in Lua.Types type Rep State = D1 ('MetaData "State" "Lua.Types" "lua-2.3.4-9jycuNWuw7q13eGe6UuFpA" 'True) (C1 ('MetaCons "State" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Ptr ()))))

Methods

from :: State -> Rep State x Source #

to :: Rep State x -> State Source #

Eq State

Instance details

Defined in Lua.Types

Methods

(==) :: State -> State -> Bool Source #

(/=) :: State -> State -> Bool Source #

Peekable CFunction

Instance details

Defined in HsLua.Class.Peekable

Methods

safepeek :: LuaError e => Peeker e CFunction Source #

Peekable State

Instance details

Defined in HsLua.Class.Peekable

Methods

safepeek :: LuaError e => Peeker e State Source #

Pushable CFunction

Instance details

Defined in HsLua.Class.Pushable

Methods

push :: LuaError e => CFunction -> LuaE e () Source #

type Rep State

Instance details

Defined in Lua.Types

type Rep State = D1 ('MetaData "State" "Lua.Types" "lua-2.3.4-9jycuNWuw7q13eGe6UuFpA" 'True) (C1 ('MetaCons "State" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Ptr ()))))

pcall :: NumArgs -> NumResults -> Maybe StackIndex -> LuaE e Status #

next :: LuaError e => StackIndex -> LuaE e Bool #

type CFunction = FunPtr PreCFunction #

data Status #

Constructors

OK
Yield
ErrRun
ErrSyntax
ErrMem
ErrErr
ErrFile

Instances

Instances details

Show Status
Instance details Defined in HsLua.Core.Types Methods showsPrec :: Int -> Status -> ShowS Source # show :: Status -> String Source # showList :: [Status] -> ShowS Source #
Eq Status
Instance details Defined in HsLua.Core.Types Methods (==) :: Status -> Status -> Bool Source # (/=) :: Status -> Status -> Bool Source #

load :: Reader -> Ptr () -> Name -> LuaE e Status #

refnil :: Int #

noref :: Int #

newtype NumResults #

Constructors

NumResults
Fields fromNumResults :: CInt

Instances

Instances details

Num NumResults
Instance details Defined in Lua.Types Methods (+) :: NumResults -> NumResults -> NumResults Source # (-) :: NumResults -> NumResults -> NumResults Source # (*) :: NumResults -> NumResults -> NumResults Source # negate :: NumResults -> NumResults Source # abs :: NumResults -> NumResults Source # signum :: NumResults -> NumResults Source # fromInteger :: Integer -> NumResults Source #
Show NumResults
Instance details Defined in Lua.Types Methods showsPrec :: Int -> NumResults -> ShowS Source # show :: NumResults -> String Source # showList :: [NumResults] -> ShowS Source #
Eq NumResults
Instance details Defined in Lua.Types Methods (==) :: NumResults -> NumResults -> Bool Source # (/=) :: NumResults -> NumResults -> Bool Source #
Ord NumResults
Instance details Defined in Lua.Types Methods compare :: NumResults -> NumResults -> Ordering Source # (<) :: NumResults -> NumResults -> Bool Source # (<=) :: NumResults -> NumResults -> Bool Source # (>) :: NumResults -> NumResults -> Bool Source # (>=) :: NumResults -> NumResults -> Bool Source # max :: NumResults -> NumResults -> NumResults Source # min :: NumResults -> NumResults -> NumResults Source #
Peekable CFunction
Instance details Defined in HsLua.Class.Peekable Methods safepeek :: LuaError e => Peeker e CFunction Source #
Pushable CFunction
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => CFunction -> LuaE e () Source #
LuaError e => Exposable e (HaskellFunction e)
Instance details Defined in HsLua.Class.Exposable Methods partialApply :: StackIndex -> HaskellFunction e -> Peek e NumResults Source #

newtype NumArgs #

Constructors

NumArgs
Fields fromNumArgs :: CInt

Instances

Instances details

Num NumArgs
Instance details Defined in Lua.Types Methods (+) :: NumArgs -> NumArgs -> NumArgs Source # (-) :: NumArgs -> NumArgs -> NumArgs Source # (*) :: NumArgs -> NumArgs -> NumArgs Source # negate :: NumArgs -> NumArgs Source # abs :: NumArgs -> NumArgs Source # signum :: NumArgs -> NumArgs Source # fromInteger :: Integer -> NumArgs Source #
Show NumArgs
Instance details Defined in Lua.Types Methods showsPrec :: Int -> NumArgs -> ShowS Source # show :: NumArgs -> String Source # showList :: [NumArgs] -> ShowS Source #
Eq NumArgs
Instance details Defined in Lua.Types Methods (==) :: NumArgs -> NumArgs -> Bool Source # (/=) :: NumArgs -> NumArgs -> Bool Source #
Ord NumArgs
Instance details Defined in Lua.Types Methods compare :: NumArgs -> NumArgs -> Ordering Source # (<) :: NumArgs -> NumArgs -> Bool Source # (<=) :: NumArgs -> NumArgs -> Bool Source # (>) :: NumArgs -> NumArgs -> Bool Source # (>=) :: NumArgs -> NumArgs -> Bool Source # max :: NumArgs -> NumArgs -> NumArgs Source # min :: NumArgs -> NumArgs -> NumArgs Source #

newtype StackIndex #

Constructors

StackIndex
Fields fromStackIndex :: CInt

Instances

Instances details

Enum StackIndex
Instance details Defined in Lua.Types Methods succ :: StackIndex -> StackIndex Source # pred :: StackIndex -> StackIndex Source # toEnum :: Int -> StackIndex Source # fromEnum :: StackIndex -> Int Source # enumFrom :: StackIndex -> [StackIndex] Source # enumFromThen :: StackIndex -> StackIndex -> [StackIndex] Source # enumFromTo :: StackIndex -> StackIndex -> [StackIndex] Source # enumFromThenTo :: StackIndex -> StackIndex -> StackIndex -> [StackIndex] Source #
Num StackIndex
Instance details Defined in Lua.Types Methods (+) :: StackIndex -> StackIndex -> StackIndex Source # (-) :: StackIndex -> StackIndex -> StackIndex Source # (*) :: StackIndex -> StackIndex -> StackIndex Source # negate :: StackIndex -> StackIndex Source # abs :: StackIndex -> StackIndex Source # signum :: StackIndex -> StackIndex Source # fromInteger :: Integer -> StackIndex Source #
Show StackIndex
Instance details Defined in Lua.Types Methods showsPrec :: Int -> StackIndex -> ShowS Source # show :: StackIndex -> String Source # showList :: [StackIndex] -> ShowS Source #
Eq StackIndex
Instance details Defined in Lua.Types Methods (==) :: StackIndex -> StackIndex -> Bool Source # (/=) :: StackIndex -> StackIndex -> Bool Source #
Ord StackIndex
Instance details Defined in Lua.Types Methods compare :: StackIndex -> StackIndex -> Ordering Source # (<) :: StackIndex -> StackIndex -> Bool Source # (<=) :: StackIndex -> StackIndex -> Bool Source # (>) :: StackIndex -> StackIndex -> Bool Source # (>=) :: StackIndex -> StackIndex -> Bool Source # max :: StackIndex -> StackIndex -> StackIndex Source # min :: StackIndex -> StackIndex -> StackIndex Source #

type PreCFunction = State -> IO NumResults #

data Reference #

Constructors

Reference CInt
RefNil

Instances

Instances details

Show Reference
Instance details Defined in Lua.Auxiliary Methods showsPrec :: Int -> Reference -> ShowS Source # show :: Reference -> String Source # showList :: [Reference] -> ShowS Source #
Eq Reference
Instance details Defined in Lua.Auxiliary Methods (==) :: Reference -> Reference -> Bool Source # (/=) :: Reference -> Reference -> Bool Source #

fromReference :: Reference -> CInt #

toReference :: CInt -> Reference #

nthTop :: CInt -> StackIndex #

nthBottom :: CInt -> StackIndex #

nth :: CInt -> StackIndex #

top :: StackIndex #

newtype Name #

Constructors

Name
Fields fromName :: ByteString

Instances

Instances details

Semigroup Name
Instance details Defined in HsLua.Core.Types Methods (<>) :: Name -> Name -> Name Source # sconcat :: NonEmpty Name -> Name Source # stimes :: Integral b => b -> Name -> Name Source #
IsString Name
Instance details Defined in HsLua.Core.Types Methods fromString :: String -> Name Source #
Show Name
Instance details Defined in HsLua.Core.Types Methods showsPrec :: Int -> Name -> ShowS Source # show :: Name -> String Source # showList :: [Name] -> ShowS Source #
Eq Name
Instance details Defined in HsLua.Core.Types Methods (==) :: Name -> Name -> Bool Source # (/=) :: Name -> Name -> Bool Source #
Ord Name
Instance details Defined in HsLua.Core.Types Methods compare :: Name -> Name -> Ordering Source # (<) :: Name -> Name -> Bool Source # (<=) :: Name -> Name -> Bool Source # (>) :: Name -> Name -> Bool Source # (>=) :: Name -> Name -> Bool Source # max :: Name -> Name -> Name Source # min :: Name -> Name -> Name Source #

data GCControl #

Constructors

GCStop
GCRestart
GCCollect
GCCount
GCCountb
GCStep CInt
GCInc CInt CInt CInt
GCGen CInt CInt
GCIsRunning

Instances

Instances details

Show GCControl
Instance details Defined in HsLua.Core.Types Methods showsPrec :: Int -> GCControl -> ShowS Source # show :: GCControl -> String Source # showList :: [GCControl] -> ShowS Source #
Eq GCControl
Instance details Defined in HsLua.Core.Types Methods (==) :: GCControl -> GCControl -> Bool Source # (/=) :: GCControl -> GCControl -> Bool Source #
Ord GCControl
Instance details Defined in HsLua.Core.Types Methods compare :: GCControl -> GCControl -> Ordering Source # (<) :: GCControl -> GCControl -> Bool Source # (<=) :: GCControl -> GCControl -> Bool Source # (>) :: GCControl -> GCControl -> Bool Source # (>=) :: GCControl -> GCControl -> Bool Source # max :: GCControl -> GCControl -> GCControl Source # min :: GCControl -> GCControl -> GCControl Source #

type HaskellFunction e = LuaE e NumResults #

newtype LuaEnvironment #

Constructors

LuaEnvironment
Fields luaEnvState :: State

Instances

Instances details

MonadReader LuaEnvironment (LuaE e)
Instance details Defined in HsLua.Core.Types Methods ask :: LuaE e LuaEnvironment Source # local :: (LuaEnvironment -> LuaEnvironment) -> LuaE e a -> LuaE e a Source # reader :: (LuaEnvironment -> a) -> LuaE e a Source #

state :: LuaE e State #

runWith :: State -> LuaE e a -> IO a #

unsafeRunWith :: State -> LuaE e a -> IO a #

multret :: NumResults #

registryindex :: StackIndex #

newhsuserdatauv :: a -> Int -> LuaE e () #

newudmetatable :: Name -> LuaE e Bool #

fromuserdata :: forall a e. StackIndex -> Name -> LuaE e (Maybe a) #

putuserdata :: StackIndex -> Name -> a -> LuaE e Bool #

getupvalue :: StackIndex -> Int -> LuaE e (Maybe Name) #

setupvalue :: StackIndex -> Int -> LuaE e (Maybe Name) #

class Exception e => LuaError e where #

Methods

popException :: LuaE e e #

pushException :: e -> LuaE e () #

luaException :: String -> e #

Instances

Instances details

LuaError Exception
Instance details Defined in HsLua.Core.Error Methods popException :: LuaE Exception Exception # pushException :: Exception -> LuaE Exception () # luaException :: String -> Exception #

failLua :: LuaError e => String -> LuaE e a #

throwErrorAsException :: LuaError e => LuaE e a #

throwTypeMismatchError :: LuaError e => ByteString -> StackIndex -> LuaE e a #

changeErrorType :: forall old new a. LuaE old a -> LuaE new a #

popErrorMessage :: State -> IO ByteString #

pushTypeMismatchError :: ByteString -> StackIndex -> LuaE e () #

absindex :: StackIndex -> LuaE e StackIndex #

call :: LuaError e => NumArgs -> NumResults -> LuaE e () #

checkstack :: Int -> LuaE e Bool #

createtable :: Int -> Int -> LuaE e () #

equal :: LuaError e => StackIndex -> StackIndex -> LuaE e Bool #

getfield :: LuaError e => StackIndex -> Name -> LuaE e Type #

getglobal :: LuaError e => Name -> LuaE e Type #

getmetatable :: StackIndex -> LuaE e Bool #

gettable :: LuaError e => StackIndex -> LuaE e Type #

gettop :: LuaE e StackIndex #

getiuservalue :: StackIndex -> Int -> LuaE e Type #

isboolean :: StackIndex -> LuaE e Bool #

iscfunction :: StackIndex -> LuaE e Bool #

isfunction :: StackIndex -> LuaE e Bool #

isinteger :: StackIndex -> LuaE e Bool #

islightuserdata :: StackIndex -> LuaE e Bool #

isnil :: StackIndex -> LuaE e Bool #

isnone :: StackIndex -> LuaE e Bool #

isnoneornil :: StackIndex -> LuaE e Bool #

isnumber :: StackIndex -> LuaE e Bool #

isstring :: StackIndex -> LuaE e Bool #

istable :: StackIndex -> LuaE e Bool #

isthread :: StackIndex -> LuaE e Bool #

isuserdata :: StackIndex -> LuaE e Bool #

lessthan :: LuaError e => StackIndex -> StackIndex -> LuaE e Bool #

ltype :: StackIndex -> LuaE e Type #

newtable :: LuaE e () #

newuserdatauv :: Int -> Int -> LuaE e (Ptr ()) #

openlibs :: LuaE e () #

openbase :: LuaError e => LuaE e () #

opendebug :: LuaError e => LuaE e () #

openio :: LuaError e => LuaE e () #

openmath :: LuaError e => LuaE e () #

openos :: LuaError e => LuaE e () #

openpackage :: LuaError e => LuaE e () #

openstring :: LuaError e => LuaE e () #

opentable :: LuaError e => LuaE e () #

pop :: Int -> LuaE e () #

pushboolean :: Bool -> LuaE e () #

pushcclosure :: CFunction -> NumArgs -> LuaE e () #

pushcfunction :: CFunction -> LuaE e () #

pushglobaltable :: LuaE e () #

pushinteger :: Integer -> LuaE e () #

pushlightuserdata :: Ptr a -> LuaE e () #

pushnil :: LuaE e () #

pushnumber :: Number -> LuaE e () #

pushstring :: ByteString -> LuaE e () #

pushthread :: LuaE e Bool #

pushvalue :: StackIndex -> LuaE e () #

rawequal :: StackIndex -> StackIndex -> LuaE e Bool #

rawget :: LuaError e => StackIndex -> LuaE e Type #

rawgeti :: LuaError e => StackIndex -> Integer -> LuaE e Type #

rawlen :: StackIndex -> LuaE e Int #

rawset :: LuaError e => StackIndex -> LuaE e () #

rawseti :: LuaError e => StackIndex -> Integer -> LuaE e () #

register :: LuaError e => Name -> CFunction -> LuaE e () #

remove :: StackIndex -> LuaE e () #

replace :: StackIndex -> LuaE e () #

setfield :: LuaError e => StackIndex -> Name -> LuaE e () #

setglobal :: LuaError e => Name -> LuaE e () #

setmetatable :: StackIndex -> LuaE e () #

settable :: LuaError e => StackIndex -> LuaE e () #

settop :: StackIndex -> LuaE e () #

setiuservalue :: StackIndex -> Int -> LuaE e Bool #

setwarnf :: WarnFunction -> Ptr () -> LuaE e () #

status :: LuaE e Status #

toboolean :: StackIndex -> LuaE e Bool #

tocfunction :: StackIndex -> LuaE e (Maybe CFunction) #

tointeger :: StackIndex -> LuaE e (Maybe Integer) #

tonumber :: StackIndex -> LuaE e (Maybe Number) #

topointer :: StackIndex -> LuaE e (Ptr ()) #

tostring :: StackIndex -> LuaE e (Maybe ByteString) #

tothread :: StackIndex -> LuaE e (Maybe State) #

touserdata :: StackIndex -> LuaE e (Maybe (Ptr a)) #

typename :: Type -> LuaE e ByteString #

upvalueindex :: StackIndex -> StackIndex #

pushPreCFunction :: PreCFunction -> LuaE e () #

pushHaskellFunction :: LuaError e => HaskellFunction e -> LuaE e () #

checkstack' :: LuaError e => Int -> String -> LuaE e () #

dostring :: ByteString -> LuaE e Status #

dofile :: Maybe FilePath -> LuaE e Status #

getmetafield :: StackIndex -> Name -> LuaE e Type #

getmetatable' :: Name -> LuaE e Type #

getref :: LuaError e => StackIndex -> Reference -> LuaE e Type #

getsubtable :: LuaError e => StackIndex -> Name -> LuaE e Bool #

loadbuffer :: ByteString -> Name -> LuaE e Status #

loadfile :: Maybe FilePath -> LuaE e Status #

loadstring :: ByteString -> LuaE e Status #

newmetatable :: Name -> LuaE e Bool #

newstate :: IO State #

ref :: StackIndex -> LuaE e Reference #

requiref :: LuaError e => Name -> CFunction -> Bool -> LuaE e () #

tostring' :: LuaError e => StackIndex -> LuaE e ByteString #

traceback :: State -> Maybe ByteString -> Int -> LuaE e () #

unref :: StackIndex -> Reference -> LuaE e () #

where' :: Int -> LuaE e () #

loaded :: Name #

preload :: Name #

data GCManagedState #

run :: LuaE e a -> IO a #

runEither :: Exception e => LuaE e a -> IO (Either e a) #

newGCManagedState :: IO GCManagedState #

closeGCManagedState :: GCManagedState -> IO () #

withGCManagedState :: GCManagedState -> LuaE e a -> IO a #

pcallTrace :: NumArgs -> NumResults -> LuaE e Status #

callTrace :: LuaError e => NumArgs -> NumResults -> LuaE e () #

dofileTrace :: Maybe FilePath -> LuaE e Status #

dostringTrace :: ByteString -> LuaE e Status #

requirehs :: LuaError e => Name -> (Name -> LuaE e ()) -> LuaE e () #

preloadhs :: LuaError e => Name -> LuaE e NumResults -> LuaE e () #

setwarnf' :: LuaError e => (ByteString -> LuaE e ()) -> LuaE e () #

Marshalling

module HsLua.Marshalling

Module, data, and function packaging

module HsLua.ObjectOrientation

module HsLua.Packaging

Type classes

module HsLua.Class.Exposable

module HsLua.Class.Invokable

module HsLua.Class.Peekable

class Pushable a where Source #

A value that can be pushed to the Lua stack.

Methods

push :: LuaError e => a -> LuaE e () Source #

Pushes a value onto Lua stack, casting it into meaningfully nearest Lua type.

Instances

Instances details

Pushable ByteString
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => ByteString -> LuaE e () Source #
Pushable ByteString
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => ByteString -> LuaE e () Source #
Pushable CFunction
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => CFunction -> LuaE e () Source #
Pushable Integer
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => Integer -> LuaE e () Source #
Pushable Number
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => Number -> LuaE e () Source #
Pushable Text
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => Text -> LuaE e () Source #
Pushable Integer
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => Integer -> LuaE e () Source #
Pushable ()
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => () -> LuaE e () Source #
Pushable Bool
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => Bool -> LuaE e () Source #
Pushable Double
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => Double -> LuaE e () Source #
Pushable Float
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => Float -> LuaE e () Source #
Pushable Int
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => Int -> LuaE e () Source #
Pushable a => Pushable (Set a)
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => Set a -> LuaE e () Source #
Pushable (Ptr a)
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => Ptr a -> LuaE e () Source #
Pushable a => Pushable (Optional a)
Instance details Defined in HsLua.Class.Util Methods push :: LuaError e => Optional a -> LuaE e () Source #
Pushable [Char]
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => [Char] -> LuaE e () Source #
Pushable a => Pushable [a]
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => [a] -> LuaE e () Source #
(Pushable a, Pushable b) => Pushable (Map a b)
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => Map a b -> LuaE e () Source #
(Pushable a, Pushable b) => Pushable (a, b)
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => (a, b) -> LuaE e () Source #
(Pushable a, Pushable b, Pushable c) => Pushable (a, b, c)
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => (a, b, c) -> LuaE e () Source #
(Pushable a, Pushable b, Pushable c, Pushable d) => Pushable (a, b, c, d)
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e => (a, b, c, d) -> LuaE e () Source #
(Pushable a, Pushable b, Pushable c, Pushable d, Pushable e) => Pushable (a, b, c, d, e)
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e0 => (a, b, c, d, e) -> LuaE e0 () Source #
(Pushable a, Pushable b, Pushable c, Pushable d, Pushable e, Pushable f) => Pushable (a, b, c, d, e, f)
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e0 => (a, b, c, d, e, f) -> LuaE e0 () Source #
(Pushable a, Pushable b, Pushable c, Pushable d, Pushable e, Pushable f, Pushable g) => Pushable (a, b, c, d, e, f, g)
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e0 => (a, b, c, d, e, f, g) -> LuaE e0 () Source #
(Pushable a, Pushable b, Pushable c, Pushable d, Pushable e, Pushable f, Pushable g, Pushable h) => Pushable (a, b, c, d, e, f, g, h)
Instance details Defined in HsLua.Class.Pushable Methods push :: LuaError e0 => (a, b, c, d, e, f, g, h) -> LuaE e0 () Source #

Marshal to and from JSON-like structures

module HsLua.Aeson

Utility functions

getglobal' :: LuaError e => Name -> LuaE e () Source #

Like getglobal, but knows about packages and nested tables. E.g.

getglobal' "math.sin"

will return the function sin in package math.

setglobal' :: LuaError e => Name -> LuaE e () Source #

Like setglobal, but knows about packages and nested tables. E.g.

pushstring "0.9.4"
setglobal' "mypackage.version"

All tables and fields, except for the last field, must exist.

module HsLua.Class.Util