package alba

You can search for identifiers within the package.

in-package search v0.2.0

Alba compiler

Install

Dune Dependency

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

Authors

H

Helmut Brandl <helmut.brandl@gmx.net>

Maintainers

H

Helmut Brandl <helmut.brandl@gmx.net>

Sources

0.4.3.tar.gz

sha256=062f33c55ef39706c4290dff67d5a00bf009051fd757f9352be527f629ae21fc

md5=eb4edc4d6b7e15b83d6397bd34994153

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

Module `Test_inductive.Inductive_parser`Source

type parser

type state

type final = Ast.Source_entry.inductive array

type _ 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 position : parser -> Fmlib.Character_parser.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

Sourcemodule Error_printer (PP : Fmlib.Pretty_printer.SIG) : sig ... end