package alba

  1. Overview
  2. Docs
Alba compiler

Install 

dune-project
 Dependency

albatross-lang.sourceforge.net Readme Edit opam file Versions (5)

Authors

  1. H
    Helmut Brandl <helmut.brandl@gmx.net>

Maintainers

  1. H
    Helmut Brandl <helmut.brandl@gmx.net>

Sources

0.4.3.tar.gz
sha256=062f33c55ef39706c4290dff67d5a00bf009051fd757f9352be527f629ae21fc
md5=eb4edc4d6b7e15b83d6397bd34994153

doc/alba.albalib/Albalib/Test_inductive/Expression_parser/index.html

Module Test_inductive.Expression_parserSource

type parser
type state
type final = Ast.Expression.t
type 'a t
Sourcemodule 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 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