Module `Scopelang.Ast`Source

Abstract syntax tree of the scope language

Identifiers

Sourcemodule ScopeName = Dcalc.Ast.ScopeName

Sourcemodule ScopeNameSet : Set.S with type elt = ScopeName.t

Sourcemodule ScopeMap : Map.S with type key = ScopeName.t

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

Sourcemodule SubScopeNameSet : Set.S with type elt = SubScopeName.t

Sourcemodule SubScopeMap : Map.S with type key = SubScopeName.t

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 StructName = Dcalc.Ast.StructName

Sourcemodule StructMap = Dcalc.Ast.StructMap

Sourcemodule StructFieldName = Dcalc.Ast.StructFieldName

Sourcemodule StructFieldMap : Map.S with type key = StructFieldName.t

Sourcemodule StructFieldMapLift : sig ... end

Sourcemodule EnumName = Dcalc.Ast.EnumName

Sourcemodule EnumMap = Dcalc.Ast.EnumMap

Sourcemodule EnumConstructor = Dcalc.Ast.EnumConstructor

Sourcemodule EnumConstructorMap : Map.S with type key = EnumConstructor.t

Sourcemodule EnumConstructorMapLift : sig ... end

Sourcetype location =

| ScopeVar of ScopeVar.t Utils.Pos.marked
| SubScopeVar of ScopeName.t * SubScopeName.t Utils.Pos.marked * ScopeVar.t Utils.Pos.marked

Sourcemodule LocationSet : Set.S with type elt = location Utils.Pos.marked

Abstract syntax tree

Sourcetype typ =

| TLit of Dcalc.Ast.typ_lit
| TStruct of StructName.t
| TEnum of EnumName.t
| TArrow of typ Utils.Pos.marked * typ Utils.Pos.marked
| TArray of typ
| TAny

Sourcetype expr =

| ELocation of location
| EVar of expr Bindlib.var Utils.Pos.marked
| EStruct of StructName.t * expr Utils.Pos.marked StructFieldMap.t
| EStructAccess of expr Utils.Pos.marked * StructFieldName.t * StructName.t
| EEnumInj of expr Utils.Pos.marked * EnumConstructor.t * EnumName.t
| EMatch of expr Utils.Pos.marked * EnumName.t * expr Utils.Pos.marked EnumConstructorMap.t
| ELit of Dcalc.Ast.lit
| EAbs of (expr, expr Utils.Pos.marked) Bindlib.mbinder Utils.Pos.marked * typ Utils.Pos.marked list
| EApp of expr Utils.Pos.marked * expr Utils.Pos.marked list
| EOp of Dcalc.Ast.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
| EArray of expr Utils.Pos.marked list
| ErrorOnEmpty of expr Utils.Pos.marked

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

Sourceval locations_used : expr Utils.Pos.marked -> LocationSet.t

Sourcetype io_input =

| NoInput
(*
For an internal variable defined only in the scope, and does not appear in the input.
*)
| OnlyInput
(*
For variables that should not be redefined in the scope, because they appear in the input.
*)
| Reentrant
(*
For variables defined in the scope that can also be redefined by the caller as they appear in the input.
*)

This type characterizes the three levels of visibility for a given scope variable with regards to the scope's input and possible redefinitions inside the scope..

Sourcetype io = {

io_output : bool Utils.Pos.marked;
(*
true is present in the output of the scope.
*)
io_input : io_input Utils.Pos.marked;

}

Characterization of the input/output status of a scope variable.

Sourcetype rule =

| Definition of location Utils.Pos.marked * typ Utils.Pos.marked * io * expr Utils.Pos.marked
| Assertion of expr Utils.Pos.marked
| Call of ScopeName.t * SubScopeName.t

Sourcetype scope_decl = {

scope_decl_name : ScopeName.t;
scope_sig : (typ Utils.Pos.marked * io) ScopeVarMap.t;
scope_decl_rules : rule list;

}

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 program = {

program_scopes : scope_decl ScopeMap.t;
program_enums : enum_ctx;
program_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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.scopelang/Scopelang/Ast/index.html

Module `Scopelang.Ast`Source

Identifiers

Abstract syntax tree

Variable helpers

package catala

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.scopelang/Scopelang/Ast/index.html

Module Scopelang.AstSource

Identifiers

Abstract syntax tree

Variable helpers

Module `Scopelang.Ast`Source