package archetype

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

Module Archetype.MichelineSource

Sourcetype annot = string list
Sourcetype ('l, 'p) node =
  1. | Int of 'l * Core.big_int
  2. | String of 'l * string
  3. | Bytes of 'l * Bytes.t
  4. | Prim of 'l * 'p * ('l, 'p) node list * annot
  5. | Seq of 'l * ('l, 'p) node list
Sourcetype canonical_location = int
Sourcetype 'p canonical =
  1. | Canonical of (canonical_location, 'p) node
Sourceval location : ('a, 'b) node -> 'a
Sourceval annotations : ('a, 'b) node -> annot
Sourceval root : 'a canonical -> (canonical_location, 'a) node
Sourcetype ('l, 'p, 'la, 'pa) cont =
  1. | Seq_cont of 'la * ('l, 'p, 'la, 'pa) list_cont
  2. | Prim_cont of 'la * 'pa * annot * ('l, 'p, 'la, 'pa) list_cont
Sourceand ('l, 'p, 'la, 'pa) list_cont =
  1. | List_cont of ('l, 'p) node list * ('la, 'pa) node list * ('l, 'p, 'la, 'pa) cont
  2. | Return
Sourceval strip_locations : ('a, 'b) node -> 'b canonical
Sourceval extract_locations : 'l 'p. ('l, 'p) node -> 'p canonical * (canonical_location * 'l) list
Sourceval inject_locations : 'l 'p. (canonical_location -> 'l) -> 'p canonical -> ('l, 'p) node
Sourceval map : 'a 'b. ('a -> 'b) -> 'a canonical -> 'b canonical
Sourceval map_node : 'la 'lb 'pa 'pb. ('la -> 'lb) -> ('pa -> 'pb) -> ('la, 'pa) node -> ('lb, 'pb) node
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct