package lua-ml

  1. Overview
  2. Docs
package lua-ml
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module U : USERDATA

Signature

type 'a userdata' = 'a U.t
type srcloc
type initstate
module LuaValueBase : sig ... end
module LuahashKey : sig ... end
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) 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) synonym_for_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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct