package alba

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

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

Parameters

module App : 
  Fmlib.Web_application.WEB_APPLICATION
    with type 'a decoder = 'a Decoder.t
     and type encoder = Encoder.t

Signature

module Vdom = App.Dom

module Command = App.Command

module Subscription = App.Subscription

type handler =
  (Fmlib.Common.Void.t Js_of_ocaml.Js.t -> unit) Js_of_ocaml.Js.callback

module Tree : sig ... end

type ('model, 'msg) t = {

window : window Js_of_ocaml.Js.t;
root : node Js_of_ocaml.Js.t;
view : 'model -> 'msg Vdom.t;
update : 'msg -> 'model -> 'model * 'msg Command.t;
subscription : 'model -> 'msg Subscription.t;
mutable model : 'model;
mutable dirty : bool;
mutable tree : 'msg Tree.t option;

}

val make : 
  window Js_of_ocaml.Js.t ->
  node Js_of_ocaml.Js.t ->
  'model ->
  ('model0 -> 'msg Vdom.t) ->
  ('msg0 -> 'model1 -> 'model1 * 'msg0 Command.t) ->
  ('model2 -> 'msg1 Subscription.t) ->
  ('model3, 'msg2) t

val view : ('model, 'msg) t -> 'msg0 Vdom.t

val update : 'msg -> ('model, 'msg0) t -> unit

val do_command : ('model, 'msg) t -> 'msg0 Command.t -> unit

val make_event_handler : 
  ('model, 'msg) t ->
  'msg0 Decoder.t ->
  (Fmlib.Common.Void.t Js_of_ocaml.Js.t -> unit) Js_of_ocaml.Js.callback

val make_tree : ('model, 'msg) t -> 'msg0 Vdom.t -> 'msg1 Tree.t

val remove_children : node Js_of_ocaml.Js.t -> unit

val update_dom : ('model, 'msg) t -> unit

val animate : ('model, 'msg) t -> float -> unit

val sandbox : 
  'model ->
  ('model0 -> 'msg Vdom.t) ->
  ('msg0 -> 'model1 -> 'model1) ->
  unit

val element : 
  'a Decoder.t ->
  ('a0 -> 'model * 'msg App.Command.t) ->
  ('model0 -> 'msg0 Vdom.t) ->
  ('msg1 -> 'model1 -> 'model1 * 'msg1 App.Command.t) ->
  ('model2 -> 'msg2 App.Subscription.t) ->
  unit