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.4.tar.gz

sha256=4817038301d3e45bac9edf7e6f2fc8bf0a6d78e76e02ad7ea33ef69bcc17df3b

md5=25234357587126685d64f16236167937

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

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

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