package ostap

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `BNF3.Expr`Source

BNF expression implementation.

Sourcetype t =

| String of string
(*
String terminal
*)
| Term of string
(*
Non-string terminal
*)
| Nonterm of string
(*
Nonterminal
*)
| Apply of t * t list
(*
Rule application
*)
| Star of t
(*
Iteration
*)
| Plus of t
(*
Non-empty iteration
*)
| Opt of t
(*
Optional expression
*)
| Alt of t list
(*
Alternation
*)
| Seq of t list
(*
Sequencing
*)
| Group of t
(*
Expression in brackets
*)
| Custom of [ `S of string | `T of t ] list
(*
Custom mixed structure (for internal use)
*)

Main type.

Sourceval string : string -> t

String terminal.

Sourceval term : string -> t

Non-string terminal.

Sourceval nonterm : string -> t

Nonterminal.

Sourceval apply : t -> t list -> t

Rule application.

Sourceval star : t -> t

Iteration.

Sourceval plus : t -> t

Non-empty iteration.

Sourceval opt : t -> t

Optional expression.

Sourceval alt : t list -> t

Alternation.

Sourceval seq : t list -> t

Sequencing.

Sourceval group : t -> t

Expression in brackets.

Sourceval custom : [ `S of string | `T of t ] list -> t

Custom text.

Sourceval toTeX : t -> string

TeX printer.

Sourceval toTree : t -> string

Tree printer.