package libsail

  1. Overview
  2. Docs
package libsail
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct