earley

Parsing library based on Earley Algorithm
IN THIS PACKAGE
type 'a t
val from_val : 'a -> 'a t

Standard way to construct a value of type 'a t

val from_fun : 'a t -> ( 'a -> 'b ) -> 'b t
val from_fun2 : 'a t -> 'b t -> ( 'a -> 'b -> 'c ) -> 'c t
val from_funl : 'a t list -> 'b -> ( 'b -> 'a -> 'b ) -> 'b t
val from_ref : 'b -> ( 'b -> 'a t ) -> 'a t

value obtained by reading 'b which is mutable

val update : 'a t -> unit

Must be called when updating a mutable field used in from_ref

val force : 'a t -> 'a

Reading the value