package functoria

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package functoria

functoria
- Functoria
  - Info
  - KEY
  - base_configurable
  - configurable
  - foreign
- Functoria_key
  - Alias
  - Arg
  - Set
- Functoria_misc
  - Codegen
  - Monoid
  - Name
  - Univ
functoria.app
- Functoria_app
  - Codegen
  - DSL
    
    base_configurable
    
    configurable
    
    foreign
  - Make
    
    P
  - Name
  - S
- Functoria_command_line
- Functoria_graph
  - If

Legend:
Library
Module
Module type
Parameter
Class
Class type

Make is an helper to generate new a application builder with the custom constructs defined by S.

Parameters

module P : S

Signature

val register : 
  ?packages:Functoria.package list ->
  ?keys:Functoria.key list ->
  ?init:Functoria.job Functoria.impl list ->
  string ->
  Functoria.job Functoria.impl list ->
  unit

register name jobs registers the application named by name which will execute the given jobs. Same optional arguments as Functoria.foreign.

init is the list of job to execute before anything else (such as command-line argument parsing, log reporter setup, etc.). The jobs are always executed in the sequence specified by the caller.

val run : unit -> unit

Run the application builder. This should be called exactly once to run the application builder: command-line arguments will be parsed, and some code will be generated and compiled.

val run_with_argv : 
  ?help_ppf:Format.formatter ->
  ?err_ppf:Format.formatter ->
  string array ->
  unit

run_with_argv a is the same as run but parses a instead of the process command line arguments. It also allows to set the error and help channels using help_ppf and err_ppf.