Module `Tezos_micheline.Micheline`Source

Sourcetype annot = string list

Sourcetype ('l, 'p) node =

| Int of 'l * Z.t
| String of 'l * string
| Bytes of 'l * Bytes.t
| Prim of 'l * 'p * ('l, 'p) node list * annot
| Seq of 'l * ('l, 'p) node list

The abstract syntax tree of Micheline expressions. The first parameter is used to contain locations, but can also embed custom data. The second parameter is the type of primitive names.

Sourceval location : ('l, 'p) node -> 'l

Extract the location of the node.

Sourceval annotations : ('l, 'p) node -> string list

Extract the annotations of the node.

Sourcetype 'p canonical

Expression form using canonical integer numbering as locations. The root has number zero, and each node adds one in the order of infix traversal. To be used when locations are not important, or when one wants to attach properties to nodes in an expression without rewriting it (using an indirection table with canonical locations as keys).

Sourcetype canonical_location = int

Canonical integer locations that appear inside canonical expressions.

Sourceval dummy_location : canonical_location

A location that won't exist in any well-formed canonical value

Sourceval strip_locations : (_, 'p) node -> 'p canonical

Compute the canonical form of an expression. Drops the concrete locations completely.

Sourceval root : 'p canonical -> (canonical_location, 'p) node

Give the root node of an expression in canonical form.

Source

val extract_locations : 
  ('l, 'p) node ->
  'p canonical * (canonical_location * 'l) list

Compute the canonical form of an expression. Saves the concrete locations in an association list.

Source

val inject_locations : 
  (canonical_location -> 'l) ->
  'p canonical ->
  ('l, 'p) node

Transforms an expression in canonical form into a polymorphic one. Takes a mapping function to inject the concrete locations.

Sourceval map : ('a -> 'b) -> 'a canonical -> 'b canonical

Copies the tree, updating its primitives.

Source

val map_node : 
  ('la -> 'lb) ->
  ('pa -> 'pb) ->
  ('la, 'pa) node ->
  ('lb, 'pb) node

Copies the tree, updating its primitives and locations.

package tezos-micheline

Module Tezos_micheline.MichelineSource

Module `Tezos_micheline.Micheline`Source