package alba

  1. Overview
  2. Docs
package alba
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Test_inductive.Expression_parserSource

type parser
type state
type final = Ast.Expression.t
type 'a 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
Sourceval expression : unit -> Ast.Expression.t t
Sourceval command : Albalib__Parser_lang.Command.t t
Sourceval global_definition : 'a -> Ast.Expression.definition t
Sourceval global_definitions : 'a -> Ast.Expression.definition array t
Sourceval inductive_type : 'a -> Ast.Source_entry.inductive t
Sourceval inductive_family : 'a -> Ast.Source_entry.inductive array t
Sourceval source_file : bool -> unit t
Sourceval make : final t -> parser
Sourceval run : final t -> string -> parser
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