package alba

You can search for identifiers within the package.

in-package search v0.2.0

alba.albalib
- Albalib
  - Alba_console
    
    Make
    
    IO
    
    Directory
    
    File
    
    In
    
    Out
    
    Read
    
    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
    
    P
  - Builder
  - Module
    
    Make
    
    Io
    
    Directory
    
    File
    
    In
    
    Out
    
    Read
    
    W
    
    M
    
    Path
    
    Process
    
    Stderr
    
    Stdout
  - Parser_lang
    
    Command
    
    ERROR
    
    Make
    
    Error
    
    Error_printer
    
    PP
    
    Final
    
    Problem
    
    SIG
    
    Error
    
    Error_printer
    
    PP
    
    Source_file
  - Printer
    
    Make
    
    PP
  - Repl
    
    Make
    
    Io
    
    Directory
    
    File
    
    In
    
    Out
    
    Read
    
    W
    
    M
    
    Path
    
    Process
    
    Stderr
    
    Stdout
  - Standard_context
  - Test_builder
    
    Error_print
    
    Expression_parser
    
    Error
    
    Error_printer
    
    PP
    
    Pretty_printer
    
    Term_print
  - Test_inductive
    
    Expression_parser
    
    Error
    
    Error_printer
    
    PP
    
    Inductive_parser
    
    Error
    
    Error_printer
    
    PP
alba.core
- Alba_core
  - Context
    
    Pretty
    
    P
  - Gamma
  - Gamma_algo
    
    GAMMA
    
    Make
    
    Gamma
  - Gamma_holes
  - Inductive
    
    Constructor
    
    Header
    
    Type
  - Name_map
  - Operator
  - Print_inductive
    
    GAMMA
    
    Make
    
    Gamma
    
    P
  - Term
    
    Application_info
    
    Inductive
    
    Lambda_info
    
    Monadic
    
    M
    
    Pi_info
    
    Sort
    
    Value
  - Term_printer
    
    GAMMA
    
    Pretty
    
    G
    
    P
    
    String_print
    
    G
  - Term_trie
  - Typecheck
    
    Problem
  - 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
    
    Read
    
    W
    
    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
    
    Read
    
    W
    
    M
    
    Path
    
    Process
    
    Stderr
    
    Stdout
  - Path
  - Process
  - Readline

Legend:
Library
Module
Module type
Parameter
Class
Class type

An applicative functor is an abstract container which is mapable and if it has functions in it the functios can be applied.

type 'a t

Type of the applicative container.

val return : 'a -> 'a t

return a makes an applicative container containing the value a.

val map : ('a -> 'b) -> 'a t -> 'b t

map f m extracts the value a from the abstract container and returns a container containing f a.

val (<*>) : ('a -> 'b) t -> 'a t -> 'b t

f <*> m applies the function contained in f to the content of the applicative container m and injects the result into a new applicative container.