package alba

You can search for identifiers within the package.

in-package search v0.2.0

package alba

alba.albalib
- Albalib
  - Alba_console
    
    Make
    
    IO
    
    Directory
    
    File
    
    In
    
    Out
    
    M
    
    Path
    
    Process
    
    Stderr
    
    Stdout
  - Ast
    
    Expression
  - Build_context
    
    Application
    
    Lambda
    
    Product
    
    Typed
  - Builder
    
    Print
    
    P
  - Context
    
    Name_map
    
    Pretty
    
    P
  - Gamma
  - Gamma_algo
    
    GAMMA
    
    Make
    
    Gamma
  - Gamma_holes
  - Operator
  - Parser_lang
    
    Command
    
    Make
    
    Error
    
    Final
    
    Problem
    
    SIG
    
    Error
  - Term
    
    Application_info
    
    Inductive
    
    Lambda_info
    
    Monadic
    
    M
    
    Pi_info
    
    Sort
    
    Value
  - Term_printer
    
    GAMMA
    
    Pretty
    
    G
    
    P
    
    String_print
    
    G
  - Typecheck
  - Unifier
    
    HOLES
    
    Make
    
    H
alba.fmlib_native
- Fmlib_native
  - Native_io
    
    IO
    
    Directory
    
    File
    
    In
    
    Out
    
    M
    
    Path
    
    Process
    
    Stderr
    
    Stdout
alba.fmlib_node
- Fmlib_node
  - File_system
  - Io_buffer
    
    Read
    
    W
    
    Write
    
    R
  - Node_io
    
    IO
    
    Directory
    
    File
    
    In
    
    Out
    
    M
    
    Path
    
    Process
    
    Stderr
    
    Stdout
  - Path
  - Process
  - Readline

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

type assoc =

| Left
| Right
| No

val lambda : t

Precedence/associativity of lambda_abstraction.

val assign : t

Precedence/associativity of assignment ":=".

val arrow : t

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

val colon : t

Precedence/associativity of colon ':' operator.

val relation : t

Precedence/associativity of relation operators.

val addition : t

Precedence/associativity of addition operators.

val multiplication : t

Precedence/associativity of multiplication operators.

val application : t

Precedence/associativity of function application.

val compare : t -> t -> int

compare op1 op2 compares the precedence of the operators.

val 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.

val 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.

val associativity : t -> assoc

val precedence : t -> int