package alba

  1. Overview
  2. Docs
package alba
Legend:
Library
Module
Module type
Parameter
Class
Class type
type parser
type state
type final = Ast.Source_entry.inductive array
type _ t
module Error : sig ... end
val needs_more : parser -> bool
val has_ended : parser -> bool
val has_succeeded : parser -> bool
val has_failed : parser -> bool
val state : parser -> Albalib__Parser_lang.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 -> Fmlib.Position.t
val error_tabs : parser -> int list
val expression : unit -> Ast.Expression.t t
val command : Albalib__Parser_lang.Command.t t
val global_definition : 'a -> Ast.Expression.definition t
val global_definitions : 'a -> Ast.Expression.definition array t
val inductive_type : 'a -> Ast.Source_entry.inductive t
val inductive_family : 'a -> Ast.Source_entry.inductive array t
val source_file : bool -> unit t
val make : final t -> parser
val run : final t -> string -> parser
module Error_printer (PP : Fmlib.Pretty_printer.SIG) : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct