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.core/Alba_core/Operator/index.html

Module Alba_core.OperatorSource

Sourcetype t
Sourcetype assoc =
  1. | Left
  2. | Right
  3. | No
Sourceval is_unary : string -> bool
Sourceval is_binary : string -> bool
Sourceval is_keyword_operator : string -> bool
Sourceval where : t
Sourceval assign : t

Precedence/associativity of assignment ":=".

Sourceval arrow : t

Precedence/associativity of arrow operators "->", "=>".

Sourceval colon : t

Precedence/associativity of colon ':' operator.

Sourceval relation : t

Precedence/associativity of relation operators.

Sourceval addition : t

Precedence/associativity of addition operators.

Sourceval multiplication : t

Precedence/associativity of multiplication operators.

Sourceval application : t

Precedence/associativity of function application.

Sourceval compare : t -> t -> int

compare op1 op2 compares the precedence of the operators.

Sourceval of_string : string -> t

of_string op computes the precedence information of the operator op given as a string. for unknow operators the highest precedence below function application and left associativity is returned.

Sourceval needs_parens : t option -> bool -> t -> bool

needs_parens lower is_left upper decides if the lower operand lower used as a left or right operand (indicated by the flag is_left) for upper needs parentheses.

Sourceval is_left_leaning : t -> t -> bool

is_left_leaning op1 op2

a op1 b op2 c has to be parsed as (a op1 b) op2 c

Sourceval is_right_leaning : t -> t -> bool

is_right_leaning op1 op2

a op1 b op2 c has to be parsed as a op1 (b op2 c)

Sourceval associativity : t -> assoc
Sourceval precedence : t -> int