package catala

You can search for identifiers within the package.

in-package search v0.2.0

Low-level language for tax code specification

Install

Dune Dependency

github.com Readme Edit opam file Versions (8)

Authors

D

Denis Merigoux

Maintainers

C

contact@catala-lang.org

Sources

0.2.0.tar.gz

md5=4c6f725ef4d21c5ff91f60d74b454ef7

sha512=98806e03daa6f33740b80a0f78a37320fb70ebea8cb927ea8fed022673459189c32e2389ccba0fa25d93f754b0fa0128a5ee28e1bb9abefa330deb4be8cc7d95

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

Module `Scopelang.Ast`Source

Abstract syntax tree of the scope language

Sourcemodule Pos = Utils.Pos

Sourcemodule Uid = Utils.Uid

Identifiers

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

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

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

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

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

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

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

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

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

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

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

Sourcemodule StructFieldName : Uid.Id with type info = Uid.MarkedString.info

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

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

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

Sourcemodule EnumConstructor : Uid.Id with type info = Uid.MarkedString.info

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

Sourcetype location =

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

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

Abstract syntax tree

Sourcetype typ =

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

Sourcetype expr =

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

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

Sourcetype rule =

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

Sourcetype scope_decl = {

scope_decl_name : ScopeName.t;
scope_sig : typ Pos.marked ScopeVarMap.t;
scope_decl_rules : rule list;

}

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

Sourcetype enum_ctx = (EnumConstructor.t * typ 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

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