Module `Dcalc.Ast`Source

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

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

module StructFieldName : 
  Utils.Uid.Id with type info = Utils.Uid.MarkedString.info

Sourcemodule StructMap : Map.S with type key = StructName.t

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

Source

module EnumConstructor : 
  Utils.Uid.Id with type info = Utils.Uid.MarkedString.info

Sourcemodule EnumMap : Map.S with type key = EnumName.t

Abstract syntax tree for the default calculus

Abstract syntax tree

Sourcetype typ_lit =

| TBool
| TUnit
| TInt
| TRat
| TMoney
| TDate
| TDuration

Sourcetype typ =

| TLit of typ_lit
| TTuple of typ Utils.Pos.marked list * StructName.t option
| TEnum of typ Utils.Pos.marked list * EnumName.t
| TArrow of typ Utils.Pos.marked * typ Utils.Pos.marked
| TArray of typ Utils.Pos.marked
| TAny

Sourcetype date = Runtime.date

Sourcetype duration = Runtime.duration

Sourcetype lit =

| LBool of bool
| LEmptyError
| LInt of Runtime.integer
| LRat of Runtime.decimal
| LMoney of Runtime.money
| LUnit
| LDate of date
| LDuration of duration

Sourcetype op_kind =

| KInt
| KRat
| KMoney
| KDate
| KDuration
(*
All ops don't have a Kdate and KDuration
*)

Sourcetype ternop =

| Fold

Sourcetype binop =

| And
| Or
| Add of op_kind
| Sub of op_kind
| Mult of op_kind
| Div of op_kind
| Lt of op_kind
| Lte of op_kind
| Gt of op_kind
| Gte of op_kind
| Eq
| Neq
| Map
| Filter

Sourcetype log_entry =

| VarDef
| BeginCall
| EndCall
| PosRecordIfTrueBool

Sourcetype unop =

| Not
| Minus of op_kind
| ErrorOnEmpty
| Log of log_entry * Utils.Uid.MarkedString.info list
| Length
| IntToRat
| GetDay
| GetMonth
| GetYear

Sourcetype operator =

| Ternop of ternop
| Binop of binop
| Unop of unop

Sourcetype expr =

| EVar of expr Bindlib.var Utils.Pos.marked
| ETuple of expr Utils.Pos.marked list * StructName.t option
(*
The MarkedString.info is the former struct field name
*)
| ETupleAccess of expr Utils.Pos.marked * int * StructName.t option * typ Utils.Pos.marked list
(*
The MarkedString.info is the former struct field name
*)
| EInj of expr Utils.Pos.marked * int * EnumName.t * typ Utils.Pos.marked list
(*
The MarkedString.info is the former enum case name
*)
| EMatch of expr Utils.Pos.marked * expr Utils.Pos.marked list * EnumName.t
(*
The MarkedString.info is the former enum case name
*)
| EArray of expr Utils.Pos.marked list
| ELit of lit
| EAbs of Utils.Pos.t * (expr, expr Utils.Pos.marked) Bindlib.mbinder * typ Utils.Pos.marked list
| EApp of expr Utils.Pos.marked * expr Utils.Pos.marked list
| EAssert of expr Utils.Pos.marked
| EOp of operator
| EDefault of expr Utils.Pos.marked list * expr Utils.Pos.marked * expr Utils.Pos.marked
| EIfThenElse of expr Utils.Pos.marked * expr Utils.Pos.marked * expr Utils.Pos.marked

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

Sourcetype struct_ctx = (StructFieldName.t * typ Utils.Pos.marked) list StructMap.t

Sourcetype enum_ctx = (EnumConstructor.t * typ Utils.Pos.marked) list EnumMap.t

Sourcetype decl_ctx = {

ctx_enums : enum_ctx;
ctx_structs : struct_ctx;

}

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.Pos.marked -> expr Utils.Pos.marked Bindlib.box

Source

val make_abs : 
  vars ->
  expr Utils.Pos.marked Bindlib.box ->
  Utils.Pos.t ->
  typ Utils.Pos.marked list ->
  Utils.Pos.t ->
  expr Utils.Pos.marked Bindlib.box

Source

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

Source

val make_let_in : 
  Var.t ->
  typ Utils.Pos.marked ->
  expr Utils.Pos.marked Bindlib.box ->
  expr Utils.Pos.marked Bindlib.box ->
  expr Utils.Pos.marked Bindlib.box

Source

val make_multiple_let_in : 
  Var.t array ->
  typ Utils.Pos.marked list ->
  expr Utils.Pos.marked list Bindlib.box ->
  expr Utils.Pos.marked Bindlib.box ->
  expr Utils.Pos.marked Bindlib.box

Sourcetype binder = (expr, expr Utils.Pos.marked) Bindlib.binder

Sourcetype program = {

decl_ctx : decl_ctx;
scopes : (ScopeName.t * Var.t * expr Utils.Pos.marked) list;

}

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.dcalc/Dcalc/Ast/index.html

Module `Dcalc.Ast`Source

Abstract syntax tree

Variable helpers

package catala

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.dcalc/Dcalc/Ast/index.html

Module Dcalc.AstSource

Abstract syntax tree

Variable helpers

Module `Dcalc.Ast`Source