Module `Lcalc.Ast`Source

Sourcemodule Runtime = Runtime_ocaml.Runtime

Abstract syntax tree for the lambda calculus

Abstract syntax tree

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

Sourcetype lit =

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

Sourcetype except =

| ConflictError
| EmptyError
| NoValueProvided
| Crash

Sourcetype 'm mark = 'm Dcalc.Ast.mark

Sourcetype 'm marked_expr = ('m expr, 'm) Dcalc.Ast.marked

Sourceand 'm expr =

| EVar of 'm expr Bindlib.var
| ETuple of 'm marked_expr list * Dcalc.Ast.StructName.t option
(*
The MarkedString.info is the former struct field name
*)
| ETupleAccess of 'm marked_expr * int * Dcalc.Ast.StructName.t option * Dcalc.Ast.typ Utils.Marked.pos list
(*
The MarkedString.info is the former struct field name
*)
| EInj of 'm marked_expr * int * Dcalc.Ast.EnumName.t * Dcalc.Ast.typ Utils.Marked.pos list
(*
The MarkedString.info is the former enum case name
*)
| EMatch of 'm marked_expr * 'm marked_expr list * Dcalc.Ast.EnumName.t
(*
The MarkedString.info is the former enum case name
*)
| EArray of 'm marked_expr list
| ELit of lit
| EAbs of ('m expr, 'm marked_expr) Bindlib.mbinder * Dcalc.Ast.typ Utils.Marked.pos list
| EApp of 'm marked_expr * 'm marked_expr list
| EAssert of 'm marked_expr
| EOp of Dcalc.Ast.operator
| EIfThenElse of 'm marked_expr * 'm marked_expr * 'm marked_expr
| ERaise of except
| ECatch of 'm marked_expr * except * 'm marked_expr

Sourcetype 'm program = ('m expr, 'm) Dcalc.Ast.program_generic

Variable helpers

Sourcetype 'm var = 'm expr Bindlib.var

Sourcetype 'm vars = 'm expr Bindlib.mvar

Sourcemodule Var : sig ... end

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

Sourcemodule VarSet : Set.S with type elt = Var.t

Sourceval new_var : string -> 'm var

Sourcetype 'm binder = ('m expr, 'm marked_expr) Bindlib.binder

Program traversal

Source

val map_expr : 
  'a ->
  f:('a -> 'm1 marked_expr -> 'm2 marked_expr Bindlib.box) ->
  ('m1 expr, 'm2 mark) Utils.Marked.t ->
  'm2 marked_expr Bindlib.box

See Dcalc.Ast.map_expr

Source

val map_expr_top_down : 
  f:('m1 marked_expr -> ('m1 expr, 'm2 mark) Utils.Marked.t) ->
  'm1 marked_expr ->
  'm2 marked_expr Bindlib.box

See Dcalc.Ast.map_expr_top_down

Source

val map_expr_marks : 
  f:('m1 mark -> 'm2 mark) ->
  'm1 marked_expr ->
  'm2 marked_expr Bindlib.box

See Dcalc.Ast.map_expr_marks

Sourceval untype_expr : 'm marked_expr -> Dcalc.Ast.untyped marked_expr Bindlib.box

Sourceval untype_program : 'm program -> Dcalc.Ast.untyped program

Boxed constructors

Sourceval evar : 'm expr Bindlib.var -> 'm mark -> 'm marked_expr Bindlib.box

Source

val etuple : 
  'm marked_expr Bindlib.box list ->
  Dcalc.Ast.StructName.t option ->
  'm mark ->
  'm marked_expr Bindlib.box

Source

val etupleaccess : 
  'm marked_expr Bindlib.box ->
  int ->
  Dcalc.Ast.StructName.t option ->
  Dcalc.Ast.typ Utils.Marked.pos list ->
  'm mark ->
  'm marked_expr Bindlib.box

Source

val einj : 
  'm marked_expr Bindlib.box ->
  int ->
  Dcalc.Ast.EnumName.t ->
  Dcalc.Ast.typ Utils.Marked.pos list ->
  'm mark ->
  'm marked_expr Bindlib.box

Source

val ematch : 
  'm marked_expr Bindlib.box ->
  'm marked_expr Bindlib.box list ->
  Dcalc.Ast.EnumName.t ->
  'm mark ->
  'm marked_expr Bindlib.box

Source

val earray : 
  'm marked_expr Bindlib.box list ->
  'm mark ->
  'm marked_expr Bindlib.box

Sourceval elit : lit -> 'm mark -> 'm marked_expr Bindlib.box

Source

val eabs : 
  ('m expr, 'm marked_expr) Bindlib.mbinder Bindlib.box ->
  Dcalc.Ast.typ Utils.Marked.pos list ->
  'm mark ->
  'm marked_expr Bindlib.box

Source

val eapp : 
  'm marked_expr Bindlib.box ->
  'm marked_expr Bindlib.box list ->
  'm mark ->
  'm marked_expr Bindlib.box

Source

val eassert : 
  'm marked_expr Bindlib.box ->
  'm mark ->
  'm marked_expr Bindlib.box

Sourceval eop : Dcalc.Ast.operator -> 'm mark -> 'm marked_expr Bindlib.box

Source

val eifthenelse : 
  'm marked_expr Bindlib.box ->
  'm marked_expr Bindlib.box ->
  'm marked_expr Bindlib.box ->
  'm mark ->
  'm marked_expr Bindlib.box

Source

val ecatch : 
  'm marked_expr Bindlib.box ->
  except ->
  'm marked_expr Bindlib.box ->
  'm mark ->
  'm marked_expr Bindlib.box

Sourceval eraise : except -> 'm mark -> 'm marked_expr Bindlib.box

Language terms construction

Sourceval make_var : ('m var, 'm) Dcalc.Ast.marked -> 'm marked_expr Bindlib.box

Source

val make_abs : 
  'm vars ->
  'm marked_expr Bindlib.box ->
  Dcalc.Ast.typ Utils.Marked.pos list ->
  'm mark ->
  'm marked_expr Bindlib.box

Source

val make_app : 
  'm marked_expr Bindlib.box ->
  'm marked_expr Bindlib.box list ->
  'm mark ->
  'm marked_expr Bindlib.box

Source

val make_let_in : 
  'm var ->
  Dcalc.Ast.typ Utils.Marked.pos ->
  'm marked_expr Bindlib.box ->
  'm marked_expr Bindlib.box ->
  Utils.Pos.t ->
  'm marked_expr Bindlib.box

Source

val make_multiple_let_in : 
  'm vars ->
  Dcalc.Ast.typ Utils.Marked.pos list ->
  'm marked_expr Bindlib.box list ->
  'm marked_expr Bindlib.box ->
  Utils.Pos.t ->
  'm marked_expr Bindlib.box

Sourceval option_enum : Dcalc.Ast.EnumName.t

Sourceval none_constr : Dcalc.Ast.EnumConstructor.t

Sourceval some_constr : Dcalc.Ast.EnumConstructor.t

Source

val option_enum_config : 
  (Dcalc.Ast.EnumConstructor.t * Dcalc.Ast.typ Utils.Marked.pos) list

Sourceval make_none : 'm mark -> 'm marked_expr Bindlib.box

Sourceval make_some : 'm marked_expr Bindlib.box -> 'm marked_expr Bindlib.box

Source

val make_matchopt_with_abs_arms : 
  'm marked_expr Bindlib.box ->
  'm marked_expr Bindlib.box ->
  'm marked_expr Bindlib.box ->
  'm marked_expr Bindlib.box

Source

val make_matchopt : 
  'm mark ->
  'm var ->
  Dcalc.Ast.typ Utils.Marked.pos ->
  'm marked_expr Bindlib.box ->
  'm marked_expr Bindlib.box ->
  'm marked_expr Bindlib.box ->
  'm marked_expr Bindlib.box

e' = make_matchopt'' pos v e e_none e_some Builds the term corresponding to match e with | None -> fun () -> e_none |Some -> fun v -> e_some.

Sourceval box_expr : 'm marked_expr -> 'm marked_expr Bindlib.box

Special symbols

Sourceval handle_default : Var.t

Sourceval handle_default_opt : Var.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.lcalc/Lcalc/Ast/index.html

Module `Lcalc.Ast`Source

Abstract syntax tree

Variable helpers

Program traversal

Boxed constructors

Language terms construction

Special symbols

package catala

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.lcalc/Lcalc/Ast/index.html

Module Lcalc.AstSource

Abstract syntax tree

Variable helpers

Program traversal

Boxed constructors

Language terms construction

Special symbols

Module `Lcalc.Ast`Source