Documentation · alba 0.4.4 · OCaml Packages

alba

Alba compiler

Structure of the Library

alba.albalib
- Albalib
  - Alba_console
    
    Make
    
    1-IO
    
    Directory
    
    File
    
    In
    
    Out
    
    Read
    
    1-W
    
    M
    
    Path
    
    Process
    
    Stderr
    
    Stdout
  - Ast
    
    Expression
    
    Operator_expression
    
    Source_entry
  - Build_context
    
    Application
    
    Lambda
    
    Product
    
    Typed
    
    Where
  - Build_expression
  - Build_inductive
  - Build_problem
    
    Print
    
    1-P
  - Builder
  - Module
    
    Make
    
    1-Io
    
    Directory
    
    File
    
    In
    
    Out
    
    Read
    
    1-W
    
    M
    
    Path
    
    Process
    
    Stderr
    
    Stdout
  - Parser_lang
    
    Command
    
    ERROR
    
    Make
    
    1-Final
    
    Error
    
    Error_printer
    
    1-PP
    
    Problem
    
    SIG
    
    Error
    
    Error_printer
    
    1-PP
    
    Source_file
  - Printer
    
    Make
    
    1-PP
  - Repl
    
    Make
    
    1-Io
    
    Directory
    
    File
    
    In
    
    Out
    
    Read
    
    1-W
    
    M
    
    Path
    
    Process
    
    Stderr
    
    Stdout
  - Standard_context
  - Test_builder
    
    Error_print
    
    Expression_parser
    
    Error
    
    Error_printer
    
    1-PP
    
    Pretty_printer
    
    Term_print
  - Test_inductive
    
    Expression_parser
    
    Error
    
    Error_printer
    
    1-PP
    
    Inductive_parser
    
    Error
    
    Error_printer
    
    1-PP
alba.core
- Alba_core
  - Context
    
    Pretty
    
    1-P
  - Gamma
  - Gamma_algo
    
    GAMMA
    
    Make
    
    1-Gamma
  - Gamma_holes
  - Inductive
    
    Constructor
    
    Header
    
    Type
  - Name_map
  - Operator
  - Print_inductive
    
    GAMMA
    
    Make
    
    1-Gamma
    
    2-P
  - Sort
  - Term
    
    Application_info
    
    Inductive
    
    Lambda_info
    
    Monadic
    
    1-M
    
    Pi_info
  - Term_printer
    
    GAMMA
    
    Pretty
    
    1-G
    
    2-P
    
    String_print
    
    1-G
  - Typecheck
    
    Problem
  - Unifier
    
    HOLES
    
    Make
    
    1-H
  - Value
alba.fmlib
- Fmlib
  - Argument_parser
    
    Make
    
    1-A
    
    S
  - Array
    
    Monadic
    
    1-M
  - Character_parser
    
    Advanced
    
    1-State
    
    2-Final
    
    3-Expect_msg
    
    4-Semantic
    
    5-Context_msg
    
    Context
    
    Error
    
    COMBINATORS
    
    CONTEXT
    
    Indent
    
    Located
    
    Normal
    
    1-State
    
    2-Final
    
    3-Semantic
    
    4-Context_msg
    
    Context
    
    Error
    
    PARSER
    
    Simple
    
    1-Final
    
    Context
    
    Error
  - Common
    
    Char
    
    Char_reader
    
    Either
    
    Fill_reader
    
    Int
    
    Int_map
    
    Int_set
    
    Interval
    
    Monadic
    
    1-M
    
    String
    
    From_readable
    
    1-R
    
    To_readable
    
    String_map
    
    String_reader
    
    String_set
    
    Unit
    
    Void
  - Deque
  - Finite_map
    
    Make
    
    1-E
    
    S
  - Generic_parser
    
    COMBINATORS
    
    ERROR
    
    Make
    
    1-T
    
    2-S
    
    3-Expect
    
    4-Semantic
    
    5-F
    
    Error
  - Io
    
    Error
    
    Output
    
    1-Io
    
    Directory
    
    File
    
    In
    
    Out
    
    Read
    
    1-W
    
    M
    
    Path
    
    Process
    
    Stderr
    
    Stdout
    
    SIG
    
    Directory
    
    File
    
    In
    
    Out
    
    Read
    
    1-W
    
    M
    
    Path
    
    Process
    
    Stderr
    
    Stdout
    
    STAT
  - List
    
    Monadic
    
    1-M
  - Make_io
    
    Make
    
    1-Base
    
    M
    
    Read
    
    1-W
    
    Write
    
    1-R
    
    Directory
    
    File
    
    In
    
    Out
    
    Read
    
    1-W
    
    M
    
    Path
    
    Process
    
    Stderr
    
    Stdout
    
    SIG
    
    M
    
    Read
    
    1-W
    
    Write
    
    1-R
  - Module_types
    
    ANY
    
    APPLICATIVE
    
    FUNCTOR
    
    MONAD
    
    MONAD0
    
    READABLE
    
    SORTABLE
    
    WRITABLE
  - Monad
    
    Identity
    
    Of_sig_min
    
    1-M
    
    Of_sig_with_map
    
    1-M
    
    RESULT
    
    Result
    
    1-Error
    
    SIG_MIN
    
    SIG_WITH_MAP
  - Option
  - Pool
  - Position
    
    Print
    
    1-PP
  - Pretty_print
  - Pretty_printer
    
    PRINTER
    
    Pretty
    
    1-P
    
    SIG
  - Readable_printer
    
    R
  - Red_black
    
    Map
    
    1-Key
    
    Set
    
    1-Element
  - Result
    
    Make
    
    1-Error
  - Sequence
  - String_printer
  - Vector
  - Web_application
    
    BROWSER
    
    Decoder
    
    Encoder
    
    Make
    
    1-Vapp
    
    Attribute
    
    Command
    
    Dom
    
    Subscription
    
    DECODER
    
    ENCODER
    
    Make
    
    1-Browser
    
    Decoder
    
    Encoder
    
    Make
    
    1-Vapp
    
    Attribute
    
    Command
    
    Dom
    
    Subscription
    
    Attribute
    
    Command
    
    Dom
    
    Subscription
    
    WEB_APPLICATION
    
    Attribute
    
    Command
    
    Dom
    
    Subscription
alba.fmlib_js
- Fmlib_js
  - Browser
    
    Decoder
    
    Result
    
    Encoder
    
    Make
    
    1-App
    
    Attribute
    
    Command
    
    Dom
    
    Subscription
    
    Tree
    
    Attributes
    
    document
    
    event
    
    eventTarget
    
    history
    
    node
    
    primitive_number
    
    style
    
    window
    
    xmlHttpRequest
alba.fmlib_native
- Fmlib_native
  - Native_io
    
    IO
    
    Directory
    
    File
    
    In
    
    Out
    
    Read
    
    1-W
    
    M
    
    Path
    
    Process
    
    Stderr
    
    Stdout
alba.fmlib_node
- Fmlib_node
  - File_system
  - Io_buffer
    
    Read
    
    1-W
    
    Write
    
    1-R
  - Node_io
    
    IO
    
    Directory
    
    File
    
    In
    
    Out
    
    Read
    
    1-W
    
    M
    
    Path
    
    Process
    
    Stderr
    
    Stdout
  - Path
  - Process
  - Readline

Legend:
Library
Module
Module type
Parameter
Class
Class type

Structure of the Library

Functional Monadic Library (Fmlib_overview)

Alba Compiler Library (Alba)