package catala

  1. Overview
  2. Docs
package catala
Legend:
Library
Module
Module type
Parameter
Class
Class type
type flags = {
  1. with_conditions : bool;
  2. with_cleanup : bool;
  3. merge_level : int;
  4. format : [ `Dot | `Convert of string ];
  5. show : string option;
  6. output : Catala_utils.Global.raw_file option;
  7. base_src_url : string;
}
val log : ('a, Stdlib.Format.formatter, unit, unit, unit, unit) Stdlib.format6 -> 'a
val error : ('a, 'b Shared_ast__.Definitions.mark) Catala_utils.Mark.ed -> ?header:Catala_utils.Message.Content.message -> ?internal:bool -> ?pos_msg:Catala_utils.Message.Content.message -> ?extra_pos:(string * Catala_utils.Pos.t) list -> ?fmt_pos:(Catala_utils.Message.Content.message * Catala_utils.Pos.t) list -> ?outcome:Catala_utils.Message.Content.message list -> ?suggestion:string list -> ('c, Stdlib.Format.formatter, unit, 'd) Stdlib.format4 -> 'c
val noassert : bool
module Env : sig ... end
type expr = Env.expr
type annot = Env.annot = {
  1. conditions : (expr * Env.t) list;
}
type laziness_level = {
  1. eval_struct : bool;
  2. eval_op : bool;
  3. eval_match : bool;
  4. eval_default : bool;
  5. eval_vars : expr Shared_ast.Var.t -> bool;
}
val value_level : laziness_level
val neg_op : < monomorphic : Shared_ast__Definitions.yes ; resolved : Shared_ast__Definitions.yes.. > Shared_ast.Op.t -> < polymorphic : Shared_ast__Definitions.yes ; resolved : Shared_ast__Definitions.yes.. > Shared_ast.Op.t option
val bool_negation : Catala_utils.Pos.t -> ((< monomorphic : Shared_ast__Definitions.yes ; polymorphic : Shared_ast__Definitions.yes ; resolved : Shared_ast__Definitions.yes.. > as 'a, < monomorphic : Shared_ast__Definitions.yes ; polymorphic : Shared_ast__Definitions.yes ; resolved : Shared_ast__Definitions.yes.. > as 'a, 'b) Shared_ast__.Definitions.base_gexpr, 'b Shared_ast__.Definitions.mark) Catala_utils.Mark.ed -> ('a, 'c, 'b) Shared_ast.base_gexpr * 'b Shared_ast__.Definitions.mark
val lazy_eval : Shared_ast.decl_ctx -> Env.t -> laziness_level -> expr -> expr * Env.t
val result_level : ((Shared_ast.dcalc, Shared_ast.dcalc, Env.annot Shared_ast.custom) Shared_ast__.Definitions.base_gexpr, Env.annot Shared_ast.custom Shared_ast__.Definitions.mark) Catala_utils.Mark.ed Shared_ast.Var.Set.t -> laziness_level
val print_value_with_env : Shared_ast.decl_ctx -> Stdlib.Format.formatter -> Env.t -> ((Shared_ast.dcalc Shared_ast__.Definitions.any, Shared_ast.dcalc Shared_ast__.Definitions.any, Env.annot Shared_ast.custom) Shared_ast__.Definitions.base_gexpr, Env.annot Shared_ast.custom Shared_ast__.Definitions.mark) Catala_utils.Mark.ed -> unit
module V : sig ... end
module E : sig ... end
module G : sig ... end
val op_kind : < polymorphic : Shared_ast__Definitions.yes ; resolved : Shared_ast__Definitions.yes.. > Shared_ast.Op.t -> [> `Fct | `Other | `Product | `Round | `Sum ]
module GTopo : sig ... end
val to_graph : 'a -> Env.t -> ((Shared_ast.dcalc, Shared_ast.dcalc, Env.annot Shared_ast.custom) Shared_ast__.Definitions.base_gexpr, Env.annot Shared_ast.custom Shared_ast__.Definitions.mark) Catala_utils.Mark.ed -> G.t
val is_const : ((< .. >, < .. >, 'a) Shared_ast__.Definitions.base_gexpr, 'a Shared_ast__.Definitions.mark) Catala_utils.Mark.ed -> bool
val reverse_graph : G.t -> G.t
val subst_by : (('a, 'a, 'b) Shared_ast__.Definitions.base_gexpr, 'b Shared_ast__.Definitions.mark) Catala_utils.Mark.ed Shared_ast.Var.t -> (('a, 'a, 'b) Shared_ast__.Definitions.base_gexpr, 'b Shared_ast__.Definitions.mark) Catala_utils.Mark.ed -> (('a, 'a, 'b) Shared_ast__.Definitions.base_gexpr, 'b Shared_ast__.Definitions.mark) Catala_utils.Mark.ed -> (('a, 'a, 'b) Shared_ast__.Definitions.base_gexpr, 'b Shared_ast__.Definitions.mark) Catala_utils.Mark.ed
val map_vertices : (G.vertex -> G.V.label) -> G.t -> G.t
val graph_cleanup : flags -> G.t -> ((Shared_ast.dcalc, Shared_ast.dcalc, Env.annot Shared_ast.custom) Shared_ast__.Definitions.base_gexpr, Env.annot Shared_ast.custom Shared_ast__.Definitions.mark) Catala_utils.Mark.ed Shared_ast.Var.Set.t -> G.t
val expr_to_dot_label0 : 'a. Catala_utils.Global.backend_lang -> Shared_ast.decl_ctx -> Env.t -> Stdlib.Format.formatter -> ('a, 't) Shared_ast.gexpr -> unit
val expr_to_dot_label : Catala_utils.Global.backend_lang -> Shared_ast.decl_ctx -> Env.t -> Stdlib.Format.formatter -> ((< assertions : Shared_ast.yes ; custom : Shared_ast.no ; defaultTerms : Shared_ast.yes ; exceptions : Shared_ast.no ; explicitScopes : Shared_ast.no ; monomorphic : Shared_ast.yes ; overloaded : Shared_ast.no ; polymorphic : Shared_ast.yes ; resolved : Shared_ast.yes ; scopeVarSimpl : Shared_ast.no ; scopeVarStates : Shared_ast.no ; syntacticNames : Shared_ast.no >, < assertions : Shared_ast.yes ; custom : Shared_ast.no ; defaultTerms : Shared_ast.yes ; exceptions : Shared_ast.no ; explicitScopes : Shared_ast.no ; monomorphic : Shared_ast.yes ; overloaded : Shared_ast.no ; polymorphic : Shared_ast.yes ; resolved : Shared_ast.yes ; scopeVarSimpl : Shared_ast.no ; scopeVarStates : Shared_ast.no ; syntacticNames : Shared_ast.no >, Env.annot Shared_ast.custom) Shared_ast__.Definitions.base_gexpr, Env.annot Shared_ast.custom Shared_ast__.Definitions.mark) Catala_utils.Mark.ed -> unit
val to_dot : Catala_utils.Global.backend_lang -> Stdlib.Format.formatter -> Shared_ast.decl_ctx -> Env.t -> ((Shared_ast.dcalc, Shared_ast.dcalc, Env.annot Shared_ast.custom) Shared_ast__.Definitions.base_gexpr, Env.annot Shared_ast.custom Shared_ast__.Definitions.mark) Catala_utils.Mark.ed Shared_ast.Var.Set.t -> G.t -> base_src_url:string -> unit
val options : flags Cmdliner.Term.t
val run : Catala_utils.Global.raw_file list -> bool -> string -> flags -> Catala_utils.Global.options -> unit
val term : (Catala_utils.Global.options -> unit) Cmdliner.Term.t
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