Documentation · alba 0.4.4

alba

Alba compiler

Version

Overview Documentation

IN THIS PACKAGE

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

Structure of the Library

Functional Monadic Library (Fmlib_overview)

Alba Compiler Library (Alba)