Module Zed_input
module type S = sig
Signature for binders.
type event
Type of events.
type 'a t
Type of set of bindings mapping input sequence to values of
type
'a.
val empty : 'a t
The empty set of bindings.
val add : event list -> 'a -> 'a t -> 'a t
add events x bindings binds events to x. It raises
Invalid_argument if events is empty.
val remove : event list -> 'a t -> 'a t
remove events bindings unbinds events. It raises
Invalid_argument if events is empty.
val fold : event list -> 'a -> 'b -> 'b -> 'a t -> 'b -> 'b
fold f set acc executes f on all sequence of set,
accumulating a value.
val bindings : 'a t -> (event list * 'a) list
bindings set returns all bindings of set.
type 'a resolver
Type of a resolver. A resolver is used to resolve an input
sequence, i.e. to find the value associated to one. It returns
a value of type
'a when a matching sequence is found.
type 'a pack
A pack is a pair of a set of bindings and a mapping
function.
val pack : 'a -> 'b -> 'a t -> 'b pack
pack f set creates a pack.
val resolver : 'a pack list -> 'a resolver
resolver packs creates a resolver from a list of pack.
type 'a result =
| Accepted of 'a (* The sequence is terminated and associated to the given
value. *)
| Continue of 'a resolver (* The sequence is not terminated. *)
| Rejected (* None of the sequences is prefixed by the one. *)
Result of a resolving operation.
val resolve : event -> 'a resolver -> 'a result
resolve event resolver tries to resolve event using
resolver.
end