package lua-ml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a userdata' = 'a T.t
type srcloc
type initstate
module LuaValueBase : sig ... end
module LuahashKey : sig ... end
module Luahash : Stdlib.Hashtbl.S with type key = LuaValueBase.value
type value = LuaValueBase.value
and func = value list -> value list
and table = value Luahash.t
and userdata = value userdata'
type state = {
  1. globals : table;
  2. fallbacks : (string, value) Stdlib.Hashtbl.t;
  3. mutable callstack : activation list;
  4. mutable currentloc : Luasrcmap.location option;
  5. startup : initstate;
}
and activation = srcloc * Luasrcmap.location option
val caml_func : func -> value
val lua_func : file:string -> linedefined:int -> func -> value
val srcloc : file:string -> linedefined:int -> srcloc
val eq : value -> value -> bool
val to_string : value -> string
val activation_strings : state -> activation -> string list
type objname =
  1. | Fallback of string
  2. | Global of string
  3. | Element of string * value
val objname : state -> value -> objname option
val state : unit -> state
val at_init : state -> string list -> unit
val initcode : state -> (string -> unit) -> unit
module Table : sig ... end
exception Projection of value * string
val projection : value -> string -> 'a
type ('a, 'b, 'c) ep = ('a, 'b, 'c) Luavalue.ep = {
  1. embed : 'a -> 'b;
  2. project : 'b -> 'a;
  3. is : 'c -> bool;
}
type 'a map = ('a, value, value) ep
type 'a mapf
val float : float map
val int : int map
val bool : bool map
val string : string map
val userdata : userdata map
val unit : unit map
val option : 'a map -> 'a option map
val default : 'a -> 'a map -> 'a map
val list : 'a map -> 'a list map
val optlist : 'a map -> 'a list map
val value : value map
val table : table map
val record : 'a map -> (string * 'a) list map
val enum : string -> (string * 'a) list -> 'a map
val (-->) : 'a map -> 'b map -> ('a -> 'b) map
val (**->) : 'a map -> 'b mapf -> ('a -> 'b) mapf
val result : 'a map -> 'a mapf
val resultvs : value list mapf
val resultpair : 'a map -> 'b map -> ('a * 'b) mapf
val dots_arrow : 'a map -> 'b map -> ('a list -> 'b) mapf
val results : ('a -> value list) -> (value list -> 'a) -> 'a mapf
val func : 'a mapf -> 'a map
val closure : 'a mapf -> 'a map
val efunc : 'a mapf -> 'a -> value
type alt
val alt : 'a mapf -> 'a -> alt
val choose : alt list -> value
val (<|>) : 'a map -> 'a map -> 'a map
val (<@) : 'a map -> ('a -> 'b) -> 'b map