Module `MakeEval.Value`Source

Sourcetype 'a userdata' = 'a T.t

Sourcetype srcloc

Sourcetype initstate

Sourcemodule LuaValueBase : sig ... end

Sourcemodule LuahashKey : sig ... end

Sourcemodule Luahash : Hashtbl.S with type key = LuaValueBase.value

Sourcetype value = LuaValueBase.value

Sourceand func = value list -> value list

Sourceand table = value Luahash.t

Sourceand userdata = value userdata'

Sourcetype state = {

globals : table;
fallbacks : (string, value) Hashtbl.t;
mutable callstack : activation list;
mutable currentloc : Luasrcmap.location option;
startup : initstate;

}

Sourceand activation = srcloc * Luasrcmap.location option

Sourceval caml_func : func -> value

Sourceval lua_func : file:string -> linedefined:int -> func -> value

Sourceval srcloc : file:string -> linedefined:int -> srcloc

Sourceval eq : value -> value -> bool

Sourceval to_string : value -> string

Sourceval activation_strings : state -> activation -> string list

Sourcetype objname =

| Fallback of string
| Global of string
| Element of string * value

Sourceval objname : state -> value -> objname option

Sourceval state : unit -> state

Sourceval at_init : state -> string list -> unit

Sourceval initcode : state -> (string -> unit) -> unit

Sourcemodule Table : sig ... end

Sourceexception Projection of value * string

Sourceval projection : value -> string -> 'a

Sourcetype ('a, 'b, 'c) ep = ('a, 'b, 'c) Luavalue.ep = {

embed : 'a -> 'b;
project : 'b -> 'a;
is : 'c -> bool;

}

Sourcetype 'a map = ('a, value, value) ep

Sourcetype 'a mapf

Sourceval float : float map

Sourceval int : int map

Sourceval bool : bool map

Sourceval string : string map

Sourceval userdata : userdata map

Sourceval unit : unit map

Sourceval option : 'a map -> 'a option map

Sourceval default : 'a -> 'a map -> 'a map

Sourceval list : 'a map -> 'a list map

Sourceval optlist : 'a map -> 'a list map

Sourceval value : value map

Sourceval table : table map

Sourceval record : 'a map -> (string * 'a) list map

Sourceval enum : string -> (string * 'a) list -> 'a map

Sourceval (-->) : 'a map -> 'b map -> ('a -> 'b) map

Sourceval (**->) : 'a map -> 'b mapf -> ('a -> 'b) mapf

Sourceval result : 'a map -> 'a mapf

Sourceval resultvs : value list mapf

Sourceval resultpair : 'a map -> 'b map -> ('a * 'b) mapf

Sourceval dots_arrow : 'a map -> 'b map -> ('a list -> 'b) mapf

Sourceval results : ('a -> value list) -> (value list -> 'a) -> 'a mapf

Sourceval func : 'a mapf -> 'a map

Sourceval closure : 'a mapf -> 'a map

Sourceval efunc : 'a mapf -> 'a -> value

Sourcetype alt

Sourceval alt : 'a mapf -> 'a -> alt

Sourceval choose : alt list -> value

Sourceval (<|>) : 'a map -> 'a map -> 'a map

Sourceval (<@) : 'a map -> ('a -> 'b) -> 'b map

package lua-ml

Module MakeEval.ValueSource

Module `MakeEval.Value`Source