package catala

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