package catala

  1. Overview
  2. Docs
package catala
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Catala_utils.MarkedSource

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