Docs GODI Archive
Projects Blog Link DB

Search GODI:


More options
File lib/ocaml/pkg-lib/lua-ml/luaiolib.mli GODI Package godi-lua-ml
Library lua-ml
 
   luaiolib.cmi_pretty    luaiolib.mli    Sources  

# 12 "luaiolib.nw"
type 'a t = In of in_channel | Out of out_channel
val out :
    ('a t, 'b, 'b) Luavalue.ep ->
    ('b -> string -> out_channel) ->
    (out_channel, 'b, 'b) Luavalue.ep
val in' :
    ('a t, 'b, 'b) Luavalue.ep ->
    ('b -> string -> in_channel) ->
    (in_channel, 'b, 'b) Luavalue.ep

module T : Lua.Lib.USERTYPE  with type 'a t = 'a t
module Make (TV : Lua.Lib.TYPEVIEW with type 'a t = 'a t)
    : Lua.Lib.USERCODE with type 'a userdata' = 'a TV.combined
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml