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=1408a1cce45c7d5990b981e83e7589c2

sha512=eb3b923aa1f743378b4a05e30f50be5d180dc862a716270d747a90e469017f42fa5fc41352f02fbbf59cd2560f91c4f1b32cf38d80085b105d9387b0aed2039d

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_mark : ('m1 -> 'm2) -> ('a, 'm1) t -> ('a, 'm2) t

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