package catala

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

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (14)

Authors

  1. V
    Vincent Botbol
  2. N
    Nicolas Chataing
  3. A
    Alain Delaët-Tixeuil
  4. L
    Louis Gesbert
  5. A
    Aymeric Fromherz
  6. D
    Denis Merigoux
  7. R
    Raphaël Monat
  8. R
    Romain Primet
  9. E
    Emile Rolley

Maintainers

  1. C
    contact@catala-lang.org

Sources

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

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

Module Shared_ast.BoundListSource

Bound lists are non-empty linked lists where each element is a binder onto the next. They are useful for ordered program definitions, like nested let-ins.

let a = e1 in e2 is thus represented as Cons (e1, {a. Last e2}).

The following provides a few utility functions for their traversal and manipulation. In particular, map functions take care of unbinding, then properly rebinding the variables.

Sourcetype ('e, 'elt, 'last) t =
  1. | Last of 'last
  2. | Cons of 'elt * ('e, ('e, 'elt, 'last) t) Shared_ast__.Definitions.binder
Sourceval cons : 'e Var.t -> 'elt Bindlib.box -> ('e, 'elt, 'last) t Bindlib.box -> ('e, 'elt, 'last) t Bindlib.box
Sourceval to_seq : (((_, _, _) Shared_ast__.Definitions.base_gexpr, _ Shared_ast__.Definitions.mark) Catala_utils.Mark.ed as 'e, 'elt, _) t -> ('e Var.t * 'elt) Seq.t

Note that the boundlist terminator is ignored in the resulting sequence

Sourceval of_list : ('e Var.t * 'elt Bindlib.box) list -> last:'last Bindlib.box -> ('e, 'elt, 'last) t Bindlib.box
Sourceval last : (_, _, 'a) t -> 'a
Sourceval iter : f:('e Var.t -> 'elt -> unit) -> ('e, 'elt, 'last) t -> 'last
Sourceval find : f:('elt -> 'a option) -> (_, 'elt, _) t -> 'a
Sourceval fold_left : f:('acc -> 'elt -> 'e Var.t -> 'acc) -> init:'acc -> ('e, 'elt, 'last) t -> 'acc * 'last
Sourceval fold_left2 : f:('acc -> 'elt1 -> 'elt2 -> 'e Var.t -> 'acc) -> init:'acc -> ('e, 'elt1, 'last1) t -> ('e, 'elt2, 'last2) t -> 'acc * ('last1 * 'last2)
Sourceval fold_right : f:('elt -> 'e Var.t -> 'acc -> 'acc) -> init:('last -> 'acc) -> ('e, 'elt, 'last) t -> 'acc
Sourceval fold_lr : top:'dacc -> down:('e Var.t -> 'elt -> 'dacc -> 'dacc) -> bottom:('last -> 'dacc -> 'uacc) -> up:('e Var.t -> 'elt -> 'uacc -> 'uacc) -> ('e, 'elt, 'last) t -> 'uacc

Bi-directional fold: down accumulates downwards, starting from top; upon reaching last, bottom is called; then up accumulates on the way back up

Sourceval map : f:('e1 Var.t -> 'elt1 -> 'e2 Var.t * 'elt2 Bindlib.box) -> last:('last1 -> 'last2 Bindlib.box) -> ('e1, 'elt1, 'last1) t -> ('e2, 'elt2, 'last2) t Bindlib.box
Sourceval map_last : f:('e1 Var.t -> 'elt1 -> 'e2 Var.t * 'elt2 Bindlib.box) -> last:('last1 -> ('e2, 'elt2, 'last2) t Bindlib.box) -> ('e1, 'elt1, 'last1) t -> ('e2, 'elt2, 'last2) t Bindlib.box

A more expressive version of map that allows extending the tail (e.g. to append new elements)

Sourceval fold_map : f:('ctx -> 'e1 Var.t -> 'elt1 -> 'ctx * 'e2 Var.t * 'elt2 Bindlib.box) -> last:('ctx -> 'last1 -> 'ret * 'last2 Bindlib.box) -> init:'ctx -> ('e1, 'elt1, 'last1) t -> 'ret * ('e2, 'elt2, 'last2) t Bindlib.box
Sourceval equal : f:('elt -> 'elt -> bool) -> last:('last -> 'last -> bool) -> (('e, 'elt, 'last) t as 'l) -> 'l -> bool
Sourceval compare : f:('elt -> 'elt -> int) -> last:('last -> 'last -> int) -> (('e, 'elt, 'last) t as 'l) -> 'l -> int