CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE(3)    OCaml library

NAME
       CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE - no
       description

Module type
       Module type
       CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE

Documentation
       Module type INCREMENTAL_ENGINE
        = sig end







       type token




       type production




       type 'a env




       type 'a checkpoint = private
        | InputNeeded of 'a env
        | Shifting of 'a env * 'a env * bool
        | AboutToReduce of 'a env * production
        | HandlingError of 'a env
        | Accepted of 'a
        | Rejected





       val offer : 'a checkpoint -> token *
       CamlinternalMenhirLib.IncrementalEngine.position *
       CamlinternalMenhirLib.IncrementalEngine.position -> 'a checkpoint



       type strategy = [ `Legacy | `Simplified ]





       val resume : ?strategy:strategy -> 'a checkpoint -> 'a checkpoint



       type supplier = unit -> token *
       CamlinternalMenhirLib.IncrementalEngine.position *
       CamlinternalMenhirLib.IncrementalEngine.position





       val lexer_lexbuf_to_supplier : (Lexing.lexbuf -> token) ->
       Lexing.lexbuf -> supplier




       val loop : ?strategy:strategy -> supplier -> 'a checkpoint -> 'a




       val loop_handle : ('a -> 'answer) -> ('a checkpoint -> 'answer) ->
       supplier -> 'a checkpoint -> 'answer




       val loop_handle_undo : ('a -> 'answer) -> ('a checkpoint -> 'a
       checkpoint -> 'answer) -> supplier -> 'a checkpoint -> 'answer




       val shifts : 'a checkpoint -> 'a env option




       val acceptable : 'a checkpoint -> token ->
       CamlinternalMenhirLib.IncrementalEngine.position -> bool



       type 'a lr1state





       val number : 'a lr1state -> int




       val production_index : production -> int




       val find_production : int -> production



       type element =
        | Element : 'a lr1state * 'a *
       CamlinternalMenhirLib.IncrementalEngine.position *
       CamlinternalMenhirLib.IncrementalEngine.position -> element




       type stack = element CamlinternalMenhirLib.General.stream





       val stack : 'a env -> stack




       val top : 'a env -> element option




       val pop_many : int -> 'a env -> 'a env option




       val get : int -> 'a env -> element option




       val current_state_number : 'a env -> int




       val equal : 'a env -> 'a env -> bool




       val positions : 'a env ->
       CamlinternalMenhirLib.IncrementalEngine.position *
       CamlinternalMenhirLib.IncrementalEngine.position




       val env_has_default_reduction : 'a env -> bool




       val state_has_default_reduction : 'a lr1state -> bool




       val pop : 'a env -> 'a env option




       val force_reduction : production -> 'a env -> 'a env




       val input_needed : 'a env -> 'a checkpoint




OCamldoc                          2024-02-29
                 CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE(3)