Module `Desugared.Ast`Source

Abstract syntax tree of the desugared representation

Names, Maps and Keys

Sourcemodule IdentMap : Map.S with type key = String.t

Sourcemodule RuleName : Utils.Uid.Id with type info = Utils.Uid.MarkedString.info

Sourcemodule RuleMap : Map.S with type key = RuleName.t

Sourcemodule RuleSet : Set.S with type elt = RuleName.t

Sourcemodule LabelName : Utils.Uid.Id with type info = Utils.Uid.MarkedString.info

Sourcemodule LabelMap : Map.S with type key = LabelName.t

Sourcemodule LabelSet : Set.S with type elt = LabelName.t

Sourcemodule StateName : Utils.Uid.Id with type info = Utils.Uid.MarkedString.info

Sourcemodule ScopeVar : Utils.Uid.Id with type info = Utils.Uid.MarkedString.info

Sourcemodule ScopeVarSet : Set.S with type elt = ScopeVar.t

Sourcemodule ScopeVarMap : Map.S with type key = ScopeVar.t

Sourcemodule ScopeDef : sig ... end

Inside a scope, a definition can refer either to a scope def, or a subscope def

Sourcemodule ScopeDefMap : Map.S with type key = ScopeDef.t

Sourcemodule ScopeDefSet : Set.S with type elt = ScopeDef.t

AST

Sourcetype location =

| ScopeVar of ScopeVar.t Utils.Marked.pos * StateName.t option
| SubScopeVar of Scopelang.Ast.ScopeName.t * Scopelang.Ast.SubScopeName.t Utils.Marked.pos * ScopeVar.t Utils.Marked.pos

Expressions

Sourcemodule LocationSet : Set.S with type elt = location Utils.Marked.pos

Sourcetype marked_expr = expr Utils.Marked.pos

The expressions use the Bindlib library, based on higher-order abstract syntax

Sourceand expr =

| ELocation of location
| EVar of expr Bindlib.var
| EStruct of Scopelang.Ast.StructName.t * marked_expr Scopelang.Ast.StructFieldMap.t
| EStructAccess of marked_expr * Scopelang.Ast.StructFieldName.t * Scopelang.Ast.StructName.t
| EEnumInj of marked_expr * Scopelang.Ast.EnumConstructor.t * Scopelang.Ast.EnumName.t
| EMatch of marked_expr * Scopelang.Ast.EnumName.t * marked_expr Scopelang.Ast.EnumConstructorMap.t
| ELit of Dcalc.Ast.lit
| EAbs of (expr, marked_expr) Bindlib.mbinder * Scopelang.Ast.typ Utils.Marked.pos list
| EApp of marked_expr * marked_expr list
| EOp of Dcalc.Ast.operator
| EDefault of marked_expr list * marked_expr * marked_expr
| EIfThenElse of marked_expr * marked_expr * marked_expr
| EArray of marked_expr list
| ErrorOnEmpty of marked_expr

Sourcemodule ExprMap : Map.S with type key = expr

Variable helpers

Sourcemodule Var : sig ... end

Sourcemodule VarMap : Map.S with type key = Var.t

Sourcetype vars = expr Bindlib.mvar

Sourceval make_var : Var.t Utils.Marked.pos -> expr Utils.Marked.pos Bindlib.box

Source

val make_abs : 
  vars ->
  expr Utils.Marked.pos Bindlib.box ->
  Scopelang.Ast.typ Utils.Marked.pos list ->
  Utils.Pos.t ->
  expr Utils.Marked.pos Bindlib.box

Source

val make_app : 
  expr Utils.Marked.pos Bindlib.box ->
  expr Utils.Marked.pos Bindlib.box list ->
  Utils.Pos.t ->
  expr Utils.Marked.pos Bindlib.box

Source

val make_let_in : 
  Var.t ->
  Scopelang.Ast.typ Utils.Marked.pos ->
  expr Utils.Marked.pos Bindlib.box ->
  expr Utils.Marked.pos Bindlib.box ->
  expr Utils.Marked.pos Bindlib.box

Rules and scopes

Sourcetype exception_situation =

| BaseCase
| ExceptionToLabel of LabelName.t Utils.Marked.pos
| ExceptionToRule of RuleName.t Utils.Marked.pos

Sourcetype label_situation =

| ExplicitlyLabeled of LabelName.t Utils.Marked.pos
| Unlabeled

Sourcetype rule = {

rule_id : RuleName.t;
rule_just : expr Utils.Marked.pos Bindlib.box;
rule_cons : expr Utils.Marked.pos Bindlib.box;
rule_parameter : (Var.t * Scopelang.Ast.typ Utils.Marked.pos) option;
rule_exception : exception_situation;
rule_label : label_situation;

}

Sourcemodule Rule : Set.OrderedType with type t = rule

Source

val empty_rule : 
  Utils.Pos.t ->
  Scopelang.Ast.typ Utils.Marked.pos option ->
  rule

Source

val always_false_rule : 
  Utils.Pos.t ->
  Scopelang.Ast.typ Utils.Marked.pos option ->
  rule

Sourcetype assertion = expr Utils.Marked.pos Bindlib.box

Sourcetype variation_typ =

| Increasing
| Decreasing

Sourcetype reference_typ =

| Decree
| Law

Sourcetype meta_assertion =

| FixedBy of reference_typ Utils.Marked.pos
| VariesWith of unit * variation_typ Utils.Marked.pos option

Sourcetype scope_def = {

scope_def_rules : rule RuleMap.t;
scope_def_typ : Scopelang.Ast.typ Utils.Marked.pos;
scope_def_is_condition : bool;
scope_def_io : Scopelang.Ast.io;

}

Sourcetype var_or_states =

| WholeVar
| States of StateName.t list

Sourcetype scope = {

scope_vars : var_or_states ScopeVarMap.t;
scope_sub_scopes : Scopelang.Ast.ScopeName.t Scopelang.Ast.SubScopeMap.t;
scope_uid : Scopelang.Ast.ScopeName.t;
scope_defs : scope_def ScopeDefMap.t;
scope_assertions : assertion list;
scope_meta_assertions : meta_assertion list;

}

Sourcetype program = {

program_scopes : scope Scopelang.Ast.ScopeMap.t;
program_enums : Scopelang.Ast.enum_ctx;
program_structs : Scopelang.Ast.struct_ctx;

}

Helpers

Sourceval locations_used : expr Utils.Marked.pos -> LocationSet.t

Sourceval free_variables : rule RuleMap.t -> Utils.Pos.t ScopeDefMap.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.desugared/Desugared/Ast/index.html

Module `Desugared.Ast`Source

Names, Maps and Keys

AST

Variable helpers

Rules and scopes

Helpers

package catala

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.desugared/Desugared/Ast/index.html

Module Desugared.AstSource

Names, Maps and Keys

AST

Variable helpers

Rules and scopes

Helpers

Module `Desugared.Ast`Source