Module Parser_lang.MakeSource

Parameters

Signature

include SIG with type final = Final.t and type state = Source_file.t
type parser
type state = Source_file.t
type final = Final.t
type _ t
val needs_more : parser -> bool
val has_ended : parser -> bool
val has_succeeded : parser -> bool
val has_failed : parser -> bool
val state : parser -> Source_file.t
val put_character : parser -> char -> parser
val put_end : parser -> parser
val result : parser -> final option
val error : parser -> Error.t
val line : parser -> int
val column : parser -> int
val position : parser -> position
val error_tabs : parser -> int list
Sourceval expression : unit -> Ast.Expression.t t
Sourceval command : Command.t t
Sourceval global_definition : _ -> Ast.Expression.definition t
Sourceval global_definitions : _ -> Ast.Expression.definition array t
Sourceval inductive_type : _ -> Ast.Source_entry.inductive t
Sourceval inductive_family : _ -> Ast.Source_entry.inductive array t
Sourceval source_file : bool -> unit t
Sourceval make : final t -> parser
Sourceval run : final t -> string -> parser