Module `Dcalc.Ast`Source

Sourcemodule Pos = Utils.Pos

Sourcemodule Uid = Utils.Uid

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 Pos.marked list
| TEnum of typ Pos.marked list
| TArrow of typ Pos.marked * typ Pos.marked

Sourcetype date = ODate.Unix.t

Sourcetype duration = Z.t

Sourcetype lit =

| LBool of bool
| LEmptyError
| LInt of Z.t
| LRat of Q.t
| LMoney of Z.t
| 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 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

Sourcetype log_entry =

| VarDef
| BeginCall
| EndCall

Sourcetype unop =

| Not
| Minus of op_kind
| ErrorOnEmpty
| Log of log_entry * Utils.Uid.MarkedString.info list

Sourcetype operator =

| Binop of binop
| Unop of unop

Sourcetype expr =

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

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

Variable helpers

Sourcemodule Var : sig ... end

Sourcemodule VarMap : sig ... end

Sourcetype vars = expr Bindlib.mvar

Sourceval make_var : Var.t Pos.marked -> expr Pos.marked Bindlib.box

Source

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

Source

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

Source

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

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

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