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-project

Dependency

github.com Readme Edit opam file Versions (9)

Authors

Maintainers

C

contact@catala-lang.org

Sources

1.0.0-alpha.tar.gz

md5=2615968670ac21b1d00386a9b04b3843

sha512=eff292fdd75012f26ce7b17020f5a8374eef37cd4dd6ba60338dfbe89fbcad3443d1b409e44c182b740da9f58dff7e76dcb8ddefe47f9b2b160666d1c6930143

doc/catala.catala_utils/Catala_utils/Hash/index.html

Module `Catala_utils.Hash`Source

Hashes for the identification of modules.

In contrast with OCaml's basic `Hashtbl.hash`, they process the full depth of terms. Any meaningful interface change in a module should only be in hash collision with a 1/2^30 probability.

Sourcetype t = private int

Native Hasthbl.hash hashes, value is truncated to 30 bits whatever the architecture (positive 31-bit integers)

Sourcetype full

A "full" hash includes the Catala version and compilation flags, alongside the module interface

Sourceval raw : 'a -> t

Hashtbl.hash. Do not use on deep types (it has a bounded depth), use specific hashing functions.

Sourcemodule Op : sig ... end

Sourceval option : ('a -> t) -> 'a option -> t

Sourceval list : ('a -> t) -> 'a list -> t

Source

val map : 
  (('k -> 'v -> t -> t) -> 'map -> t -> t) ->
  ('k -> t) ->
  ('v -> t) ->
  'map ->
  t

map fold_f key_hash_f value_hash_f map computes the hash of a map. The first argument is expected to be a Foo.Map.fold function. The result is independent of the ordering of the map.

Sourceval finalise : t -> monomorphize_types:bool -> full

Turns a raw interface hash into a full hash, ready for printing

Sourceval to_string : full -> string

Sourceval format : Format.formatter -> full -> unit

Sourceval of_string : string -> full

Raises Failure

Sourceval external_placeholder : string

It's inconvenient to need hash updates on external modules. This string is uses as a hash instead for those cases.

NOTE: This is a temporary solution A future approach could be to have Catala generate a module loader (with the proper hash), relieving the user implementation from having to do the registration.