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

md5=6dbbc2f50c23693f26ab6f048e78172f

sha512=a5701e14932d8a866e2aa3731f76df85ff2a68b4fa943fd510c535913573274d66eaec1ae6fcae17f20b475876048a9ab196ef6d8c23d4ea6b90b986aa0a6daa

AST node annotations (used for position, type, etc.)

Sourcetype ('a, 'm) t = 'a * 'm

Everything related to the source code should keep at least its position stored, to improve error messages

Sourcetype 'a pos = ('a, Pos.t) t

The type of marks containing only position information

Sourceval mark : 'm -> 'a -> ('a, 'm) t

Sourceval unmark : ('a, 'm) t -> 'a

Sourceval get_mark : ('a, 'm) t -> 'm

Sourceval map_under_mark : ('a -> 'b) -> ('a, 'm) t -> ('b, 'm) t

Sourceval same_mark_as : 'a -> ('b, 'm) t -> ('a, 'm) t

Sourceval unmark_option : ('a, 'm) t option -> 'a option

Sourceval compare : ('a -> 'a -> int) -> ('a, 'm) t -> ('a, 'm) t -> int

Compares two marked values ignoring positions

Visitors

Sourceclass 'self marked_map : object ... end

Sourceclass 'self marked_iter : object ... end

Sourceclass 'self pos_map : object ... end

Sourceclass 'self pos_iter : object ... end