package catala

You can search for identifiers within the package.

in-package search v0.2.0

Compiler and library for the literate programming language for tax code specification

Install

Dune Dependency

github.com Readme Edit opam file Versions (8)

Authors

D

Denis Merigoux, Nicolas Chataing

Maintainers

C

contact@catala-lang.org

Sources

0.5.0.tar.gz

md5=41b0317af37925b16ae7aedfddbcc8b4

sha512=f02c4e4c7d8ca92c4c2100d1dfc31c56218a8fae3760135335c9cdd10d9edbeb6eb5e407b430c095f579ce2226c3fe4c314788af5aa35c37d04e4dee5f459cb8

doc/catala.utils/Utils/Uid/index.html

Module `Utils.Uid`Source

Global identifiers factories using a generative functor

Sourcemodule type Info = sig ... end

The information carried in global identifiers

Sourcemodule MarkedString : Info with type info = string Pos.marked

The only kind of information carried in Catala identifiers is the original string of the identifier annotated with the position where it is declared or used.

Sourcemodule type Id = sig ... end

Identifiers have abstract types, but are comparable so they can be used as keys in maps or sets. Their underlying information can be retrieved at any time.

Sourcemodule Make (X : Info) () : Id with type info = X.info

This is the generative functor that ensures that two modules resulting from two different calls to Make will be viewed as different types t by the OCaml typechecker. Prevents mixing up different sorts of identifiers.