package alba

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Basic Modules
Immutable Data Types
Monadic Data Types
Mutable Data Types
Parsing
Pretty Printing
IO
Web Applications
Old modules (deprecated)

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
    
    Where
  - Builder
    
    Print
    
    P
  - Parser_lang
    
    Command
    
    ERROR
    
    Make
    
    Error
    
    Error_printer
    
    PP
    
    Final
    
    Problem
    
    SIG
    
    Error
    
    Error_printer
    
    PP
  - Printer
    
    Make
    
    PP
alba.core
- Alba_core
  - Context
    
    Pretty
    
    P
  - Gamma
  - Gamma_algo
    
    GAMMA
    
    Make
    
    Gamma
  - Gamma_holes
  - Name_map
  - Operator
  - 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_js
- Fmlib_js
  - Browser
    
    Decoder
    
    Result
    
    Encoder
    
    Make
    
    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
    
    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

Basic Modules

module Module_types : sig ... end

Common module types like ANY, SORTABLE, ...

module Common : sig ... end

Immutable Data Types

module List : sig ... end

module Option : sig ... end

Optional values

module Finite_map : sig ... end

module Segmented_array : sig ... end

Monadic Data Types

module Monad : sig ... end

Mutable Data Types

module Array : sig ... end

module Vector : sig ... end

A mutable vector (like a C++ vector)

module Pool : sig ... end

An arrayed pool of elements of a certain type.

Parsing

module Character_parser : sig ... end

module Generic_parser : sig ... end

Pretty Printing

module Pretty_printer : sig ... end

IO

module Io : sig ... end

module Make_io : sig ... end

This module contains a minimal signature for an io module and a functor which converts a minimal implementation into a full implementation of an io module.

module String_printer : sig ... end

Web Applications

module Web_application : sig ... end

Enviroment for Web Applications.

Old modules (deprecated)

module Argument_parser : sig ... end