package catala

  1. Overview
  2. Docs
package catala
Legend:
Library
Module
Module type
Parameter
Class
Class type
constraint 'c expression_iter = 'c expression_iter
inherit VisitorsRuntime.iter
inherit primitive_typ_iter
inherit match_case_pattern_iter
inherit literal_iter
inherit binop_iter
inherit unop_iter
inherit builtin_expression_iter
method visit_AggregateSum : 'd -> primitive_typ -> unit
method visit_AggregateCount : 'e -> unit
method visit_AggregateExtremum : 'f -> bool -> primitive_typ -> (expression, Utils.Pos.t) Utils.Marked.t -> unit
method visit_AggregateArgExtremum : 'g -> bool -> primitive_typ -> (expression, Utils.Pos.t) Utils.Marked.t -> unit
method visit_aggregate_func : 'h -> aggregate_func -> unit
method visit_Exists : 'i -> unit
method visit_Forall : 'j -> unit
method visit_Aggregate : 'k -> aggregate_func -> unit
method visit_Map : 'l -> unit
method visit_Filter : 'm -> unit
method visit_collection_op : 'n -> collection_op -> unit
method visit_explicit_match_case : 'o -> explicit_match_case -> unit
method visit_WildCard : 'p -> (expression, Utils.Pos.t) Utils.Marked.t -> unit
method visit_MatchCase : 'q -> explicit_match_case -> unit
method visit_match_case : 'r -> match_case -> unit
method visit_match_cases : 's -> match_cases -> unit
method visit_MatchWith : 't -> (expression, Utils.Pos.t) Utils.Marked.t -> (match_cases, Utils.Pos.t) Utils.Marked.t -> unit
method visit_Unop : 'w -> (unop, Utils.Pos.t) Utils.Marked.t -> (expression, Utils.Pos.t) Utils.Marked.t -> unit
method visit_MemCollection : 'y -> (expression, Utils.Pos.t) Utils.Marked.t -> (expression, Utils.Pos.t) Utils.Marked.t -> unit
method visit_TestMatchCase : 'z -> (expression, Utils.Pos.t) Utils.Marked.t -> (match_case_pattern, Utils.Pos.t) Utils.Marked.t -> unit
method visit_FunCall : 'a1 -> (expression, Utils.Pos.t) Utils.Marked.t -> (expression, Utils.Pos.t) Utils.Marked.t -> unit
method visit_Builtin : 'b1 -> builtin_expression -> unit
method visit_Literal : 'c1 -> literal -> unit
method visit_EnumInject : 'd1 -> (constructor, Utils.Pos.t) Utils.Marked.t option -> (constructor, Utils.Pos.t) Utils.Marked.t -> (expression, Utils.Pos.t) Utils.Marked.t option -> unit
method visit_StructLit : 'e1 -> (constructor, Utils.Pos.t) Utils.Marked.t -> ((ident, Utils.Pos.t) Utils.Marked.t * (expression, Utils.Pos.t) Utils.Marked.t) list -> unit
method visit_ArrayLit : 'f1 -> (expression, Utils.Pos.t) Utils.Marked.t list -> unit
method visit_Ident : 'g1 -> ident -> unit
method visit_expression : 'i1 -> expression -> unit