package delimcc

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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