package alba

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package alba

alba
- Library alba.albalib
  - Albalib
    
    Alba_console
    
    Make
    
    Ast
    
    Located
    
    Position
    
    Expression
    
    Build_context
    
    Product
    
    Typed
    
    Application
    
    Lambda
    
    Where
    
    Builder
    
    Print
    
    Parser_lang
    
    Problem
    
    Command
    
    ERROR
    
    SIG
    
    Error
    
    Error_printer
    
    Make
    
    Error
    
    Error_printer
    
    Printer
    
    Make
- Library alba.core
  - Alba_core
    
    Context
    
    Pretty
    
    Gamma
    
    Gamma_algo
    
    GAMMA
    
    Make
    
    Gamma_holes
    
    Name_map
    
    Operator
    
    Term
    
    Value
    
    Sort
    
    Lambda_info
    
    Pi_info
    
    Application_info
    
    Monadic
    
    Inductive
    
    Term_printer
    
    GAMMA
    
    Pretty
    
    String_print
    
    Typecheck
    
    Unifier
    
    HOLES
    
    Make
- Library alba.fmlib
  - Fmlib
    
    Module_types
    
    ANY
    
    SORTABLE
    
    FUNCTOR
    
    APPLICATIVE
    
    MONAD
    
    READABLE
    
    WRITABLE
    
    Common
    
    Void
    
    Unit
    
    Int
    
    Int_set
    
    Either
    
    Char
    
    String
    
    String_set
    
    String_map
    
    Interval
    
    Monadic
    
    String_reader
    
    Fill_reader
    
    Char_reader
    
    List
    
    Monadic_fold
    
    Option
    
    Finite_map
    
    S
    
    Make
    
    Segmented_array
    
    Monad
    
    SIG_MIN
    
    SIG_WITH_MAP
    
    RESULT
    
    Of_sig_min
    
    Of_sig_with_map
    
    Identity
    
    Result
    
    Array
    
    Vector
    
    Pool
    
    Character_parser
    
    Position
    
    Located
    
    CONTEXT
    
    Indent
    
    PARSER
    
    COMBINATORS
    
    Simple
    
    Context
    
    Error
    
    Normal
    
    Context
    
    Error
    
    Advanced
    
    Context
    
    Error
    
    Generic_parser
    
    ERROR
    
    COMBINATORS
    
    Make
    
    Error
    
    Pretty_printer
    
    PRINTER
    
    SIG
    
    Pretty
    
    Io
    
    STAT
    
    SIG
    
    M
    
    Path
    
    Process
    
    Directory
    
    File
    
    In
    
    Out
    
    Stdout
    
    Stderr
    
    Output
    
    Make_io
    
    SIG
    
    M
    
    Read
    
    Write
    
    Make
    
    M
    
    Path
    
    Process
    
    Directory
    
    File
    
    In
    
    Out
    
    Stdout
    
    Stderr
    
    String_printer
    
    Web_application
    
    DECODER
    
    ENCODER
    
    WEB_APPLICATION
    
    Attribute
    
    Dom
    
    Command
    
    Subscription
    
    BROWSER
    
    Decoder
    
    Encoder
    
    Make
    
    Make
    
    Attribute
    
    Dom
    
    Command
    
    Subscription
    
    Argument_parser
    
    S
    
    Make
- Library alba.fmlib_js
  - Fmlib_js
    
    Browser
    
    primitive_number
    
    event
    
    style
    
    eventTarget
    
    node
    
    document
    
    history
    
    window
    
    xmlHttpRequest
    
    Decoder
    
    Result
    
    Encoder
    
    Make
    
    Vdom
    
    Command
    
    Subscription
    
    Tree
    
    Attributes
- Library alba.fmlib_native
  - Fmlib_native
    
    Native_io
    
    IO
    
    M
    
    Path
    
    Process
    
    Directory
    
    File
    
    In
    
    Out
    
    Stdout
    
    Stderr
- Library alba.fmlib_node
  - Fmlib_node
    
    File_system
    
    Io_buffer
    
    Read
    
    Write
    
    Node_io
    
    IO
    
    M
    
    Path
    
    Process
    
    Directory
    
    File
    
    In
    
    Out
    
    Stdout
    
    Stderr
    
    Path
    
    Process
    
    Readline
- Sources
  - alba.albalib
    
    alba_console.ml
    
    albalib.ml
    
    ast.ml
    
    build_context.ml
    
    builder.ml
    
    parser_lang.ml
    
    printer.ml
  - alba.core
    
    alba_core.ml
    
    context.ml
    
    gamma.ml
    
    gamma_algo.ml
    
    gamma_holes.ml
    
    name_map.ml
    
    operator.ml
    
    term.ml
    
    term_printer.ml
    
    typecheck.ml
    
    unifier.ml
  - alba.fmlib
    
    argument_parser.ml
    
    array.ml
    
    character_parser.ml
    
    common.ml
    
    finite_map.ml
    
    fmlib__.ml
    
    generic_parser.ml
    
    io.ml
    
    list.ml
    
    make_io.ml
    
    module_types.ml
    
    monad.ml
    
    option.ml
    
    path.ml
    
    pool.ml
    
    pretty_printer.ml
    
    readable_printer.ml
    
    segmented_array.ml
    
    string_pool.ml
    
    string_printer.ml
    
    vector.ml
    
    web_application.ml
    
    yaml.ml
  - alba.fmlib_js
    
    browser.ml
    
    fmlib_js.ml
  - alba.fmlib_native
    
    fmlib_native.ml
    
    native_io.ml
  - alba.fmlib_node
    
    file_system.ml
    
    fmlib_node.ml
    
    io_buffer.ml
    
    node_io.ml
    
    path.ml
    
    process.ml
    
    readline.ml

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

Module `Printer.Make`Source

Pretty printer for some standard messages needed by the Alba compiler.

E.g.

Error header

Source files with error markers

Parameters

module PP : Fmlib.Pretty_printer.SIG

Signature

Sourceval print_error_header : string -> PP.t

Sourceval print_source : string -> range -> int list -> PP.t

print_source source_string range error_tabs

Print the source string with line numbers and put error markers around range. End the printing at the end of range.

Add tab positions for the error tabs.

package alba

Module Printer.MakeSource

Parameters

Signature

Module `Printer.Make`Source