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.fmlib/Fmlib/Generic_parser/Make/index.html

Module `Generic_parser.Make`

Parameters

module T : Module_types.ANY

module S : Module_types.ANY

module Expect : Module_types.ANY

module Semantic : Module_types.ANY

module F : Module_types.ANY

Signature

type token = T.t

type final = F.t

type parser

include COMBINATORS with type semantic = Semantic.t

type 'a t

type semantic = Semantic.t

val return : 'a -> 'a t

val succeed : 'a -> 'a t

val fail : semantic -> 'a t

val consumer : 'a t -> 'a t

val map : ('a -> 'b) -> 'a t -> 'b t

val (>>=) : 'a t -> ('a -> 'b t) -> 'b t

val (<|>) : 'a t -> 'a t -> 'a t

val optional : 'a t -> 'a option t

val one_of : 'a t list -> 'a t

val zero_or_more : 'a t -> 'a list t

val one_or_more : 'a t -> 'a list t

val one_or_more_separated : 'a t -> _ t -> 'a list t

val zero_or_more_separated : 'a t -> _ t -> 'a list t

val skip_zero_or_more : 'a t -> int t

val skip_one_or_more : 'a t -> int t

val (|=) : ('a -> 'b) t -> 'a t -> 'b t

val (|.) : 'a t -> _ t -> 'a t

val (|==) : ('a -> 'b) t -> (unit -> 'a t) -> 'b t

val (|..) : 'a t -> (unit -> _ t) -> 'a t

module Error : ERROR with type semantic = Semantic.t and type expect = Expect.t

val unexpected : Expect.t -> 'a t

val (<?>) : 'a t -> Expect.t -> 'a t

val backtrackable : 'a t -> Expect.t -> 'a t

val followed_by : 'a t -> Expect.t -> unit t

followed_by p expect

Parses p and backtracks (i.e. all tokens of p will be pushed back to the lookahead). In case p succeeds, the followed_by parser succeeds without consuming tokens. Otherwise it fails without consuming tokens.

val not_followed_by : 'a t -> Expect.t -> unit t

not_followed_by p expect

Parses p and backtracks (i.e. all tokens of p will be pushed back to the lookahead). In case p succeeds, the not_followed_by parser fails without consuming tokens. Otherwise it succeeds without consuming tokens.

val needs_more : parser -> bool

val has_ended : parser -> bool

val put_token : parser -> token -> parser

val state : parser -> S.t

val result : parser -> final option

val error : parser -> Error.t

val error_string : 
  parser ->
  (Expect.t -> string) ->
  (Semantic.t -> string) ->
  string

val lookahead : parser -> token list

val has_succeeded : parser -> bool

val has_failed : parser -> bool

val make_parser : S.t -> final t -> parser

val get : S.t t

val update : (S.t -> S.t) -> unit t

val get_and_update : (S.t -> S.t) -> S.t t

val token : (S.t -> token -> ('a * S.t, Expect.t) result) -> 'a t

On This Page

Parameters
Signature