The Todo module

type 'a t

the type of a todo list

val create : unit -> 'a t

create () returns an empty todo list.

val add : 'a t -> 'a -> unit

add t v adds an element to the todo list.

val add_list : 'a t -> 'a list -> unit

add_list t list adds all the elements of list to the todo list.

val add_array : 'a t -> 'a array -> unit

add_array t array adds all the elements of list to the todo list.

val iter : 'a t -> ('a -> unit) -> unit

iter t f applies f on all elements of t. New elements can be added to t by f. f will also be applied to these new elements, if it has not been applied yet.

val clear : 'a t -> unit

clear t removes all elements from t.

val restart : 'a t -> unit

restart t is used before iter to forget all elements which have already been used.

val used : 'a t -> 'a -> bool

is_done t v checks whether v has already been used.

val apply : 'a t -> ('a -> unit) -> 'a -> unit

apply t f v adds v to t and applies f to v if it has not been used yet.

Go to the first, previous, next, last section, table of contents.