package catala

  1. Overview
  2. Docs
Compiler and library for the literate programming language for tax code specification

Install

dune-project
 Dependency

Authors

Maintainers

Sources

1.3.0.tar.gz
md5=59d0dd01df52c38a4d793b594f067d14
sha512=944b755f8b47cb14920994f03f022cc3ba6cdf5def1ae8ffda00a196fa97dcc5b57baf642a03068b79e949df2a98d5f0218e3358e549be1ff0f1cddda1e5f848

doc/catala.shared_ast/Shared_ast/StructName/index.html

Module Shared_ast.StructNameSource

Sourcetype t
Sourcetype info = Catala_utils__Uid.Module.t list * string Catala_utils.Mark.pos
Sourceval map_info : (info -> info) -> t -> t
Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval format : Format.formatter -> t -> unit
Sourceval to_string : t -> string
Sourceval id : t -> int

Returns the unique ID of the identifier

Sourceval original_string : t -> string

Retrieve the original id string, unaffected by renamings, etc.

Sourceval format_original : Format.formatter -> t -> unit
Sourcemodule Set : Set.S with type elt = t
Sourcemodule Map : Catala_utils.Map.S with type key = t
Sourceval fresh : ?from:t -> Catala_utils__Uid.Module.t list -> string Catala_utils.Mark.pos -> t
Sourceval path : t -> Catala_utils__Uid.Module.t list
Sourceval get_info : t -> string Catala_utils.Mark.pos
Sourceval original_info : t -> string Catala_utils.Mark.pos
Sourceval base : t -> string

Returns only the base ident name, while to_string includes the path prefix

Sourceval original_base : t -> string
Sourceval hash : strip:Catala_utils__Uid.Module.t option -> t -> Catala_utils.Hash.t

strip strips any path up to that module from the start of the path before hashing

Sourceval format_shortpath : Format.formatter -> t -> unit

Like format, but prints only the last path member (if any) instead of the full path

Sourceval canonical_str : Catala_utils__Uid.Module.t option -> t -> string

canonical_str current_module t returns a canonical path to t, that is, the original basename of t qualified with the last module in its path, or with the current module if implicit and that is defined.