package catala

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

Module Clerk_configSource

Sourcetype backend = ..
Sourceval register_backend : name:string -> backend -> unit
Sourceval registered_backends : unit -> (string * backend) list
Sourceval backend_name : backend -> string
Sourcetype doc_backend =
  1. | Html
  2. | Latex
Sourcetype global = {
  1. project_name : string option;
  2. include_dirs : Catala_utils.File.t list;
  3. exclude_dirs : Catala_utils.File.t list;
  4. build_dir : Catala_utils.File.t;
  5. target_dir : Catala_utils.File.t;
  6. catala_exe : Catala_utils.File.t option;
  7. catala_opts : string list;
  8. default_targets : string list;
  9. include_sources : bool;
}
Sourcetype target = {
  1. tname : string;
  2. tmodules : string list;
  3. ttests : Catala_utils.File.t list;
  4. backends : backend list;
  5. dependencies : string list;
}
Sourcetype doc = {
  1. name : string;
  2. kind : doc_backend;
  3. entrypoints : string list;
  4. doc_options : string list;
}
Sourcetype custom_rule = {
  1. backend : backend;
  2. in_exts : string list;
  3. out_exts : string list;
  4. commandline : string list;
}
Sourcetype config_file = {
  1. global : global;
  2. variables : (string * string list) list;
  3. targets : target list;
  4. docs : doc list;
  5. custom_rules : custom_rule list;
}
Sourceval default_config : t
Sourceval write : Catala_utils.File.t -> t -> unit