package libsail

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Libsail.InteractiveSource

Sourceval opt_interactive : bool ref
Sourcemodule State : sig ... end

Each interactive command is passed this struct, containing the abstract syntax tree, effect info and the type-checking environment. Also contains the default Sail directory

Sourceval arg : string -> string
Sourceval command : string -> string
Sourcetype action =
  1. | ArgString of string * string -> action
  2. | ArgInt of string * int -> action
  3. | Action of State.istate -> State.istate
  4. | ActionUnit of State.istate -> unit
Sourceval reflect_typ : action -> Ast.typ
Sourceval get_command : string -> (string * action) option
Sourceval all_commands : unit -> (string * (string * action)) list
Sourceval generate_help : string -> string -> action -> string
Sourceval run_action : State.istate -> string -> string -> action -> State.istate
Sourceval register_command : name:string -> help:string -> action -> unit

This is the main function used to register new interactive commands.

OCaml

Innovation. Community. Security.