hslua-classes-2.3.0: Type classes for HsLua
Copyright© 2007–2012 Gracjan Polak
2012–2016 Ömer Sinan Ağacan
2017-2023 Albert Krewinkel
LicenseMIT
MaintainerAlbert Krewinkel <tarleb@hslua.org>
Safe HaskellSafe-Inferred
LanguageHaskell2010

HsLua.Class.Exposable

Description

Call Haskell functions from Lua.

Synopsis

Documentation

class LuaError e => Exposable e a where Source #

Operations and functions that can be pushed to the Lua stack. This is a helper function not intended to be used directly. Use the toHaskellFunction wrapper instead.

Methods

partialApply :: StackIndex -> a -> Peek e NumResults Source #

Helper function, called by toHaskellFunction. Should do a partial application of the argument at the given index to the underlying function. Recurses if necessary, causing further partial applications until the operation is a easily exposable to Lua.

Instances

Instances details
LuaError e => Exposable e (HaskellFunction e) Source # 
Instance details

Defined in HsLua.Class.Exposable

(LuaError e, Pushable a) => Exposable e (LuaE e a) Source # 
Instance details

Defined in HsLua.Class.Exposable

(LuaError e, Pushable a) => Exposable e (Peek e a) Source # 
Instance details

Defined in HsLua.Class.Exposable

(Peekable a, Exposable e b) => Exposable e (a -> b) Source # 
Instance details

Defined in HsLua.Class.Exposable

Methods

partialApply :: StackIndex -> (a -> b) -> Peek e NumResults Source #

toHaskellFunction :: forall e a. Exposable e a => a -> HaskellFunction e Source #

Convert a Haskell function to a function type directly exposable to Lua. Any Haskell function can be converted provided that:

  • all arguments are instances of Peekable
  • return type is LuaE e a, where a is an instance of Pushable

Any exception of type e will be caught.

Important: this does not catch exceptions other than e; exception handling must be done by the Haskell function. Failure to do so will cause the program to crash.

E.g., the following code could be used to handle an Exception of type FooException, if that type is an instance of MonadCatch and Pushable:

toHaskellFunction (myFun `catchM` (\e -> raiseError (e :: FooException)))

pushAsHaskellFunction :: forall e a. Exposable e a => a -> LuaE e () Source #

Pushes the given value as a function to the Lua stack.

See toHaskellFunction for details.

registerHaskellFunction :: Exposable e a => Name -> a -> LuaE e () Source #

Imports a Haskell function and registers it at global name.