delimcc

Oleg's delimited continuations library for byte-code and native OCaml
IN THIS PACKAGE
  • library delimcc
  • library delimccopt
Module Delimcc
type 'a prompt
type ('a, 'b) subcont
val new_prompt : unit -> 'a prompt
val push_prompt : 'a prompt -> ( unit -> 'a ) -> 'a
val take_subcont : 'b prompt -> ( ( 'a, 'b ) subcont -> unit -> 'b ) -> 'a
val push_subcont : ( 'a, 'b ) subcont -> ( unit -> 'a ) -> 'b
val push_delim_subcont : ( 'a, 'b ) subcont -> ( unit -> 'a ) -> 'b
val shift : 'a prompt -> ( ( 'b -> 'a ) -> 'a ) -> 'b
val shift0 : 'a prompt -> ( ( 'b -> 'a ) -> 'a ) -> 'b
val control : 'a prompt -> ( ( 'b -> 'a ) -> 'a ) -> 'b
val abort : 'a prompt -> 'a -> 'b
val is_prompt_set : 'a prompt -> bool
val debug_status : string -> unit
val show_val : int -> Obj.t -> unit
val init_global_closure : 'a -> unit
val register_global_closure : ( 'a -> 'b ) -> unit
val output_delim_value : out_channel -> 'a -> unit
val relativitize : Obj.t -> bool -> Obj.t
val absolutize : Obj.t -> Obj.t