package p4spectec

  1. Overview
  2. Docs

Module Util.SourceSource

Sourcetype pos = {
  1. file : string;
  2. line : int;
  3. column : int;
}
Sourceval pos_to_yojson : pos -> Yojson.Safe.t
Sourcetype region = {
  1. left : pos;
  2. right : pos;
}
Sourceval region_to_yojson : region -> Yojson.Safe.t
Sourceval no_pos : pos
Sourceval no_region : region
Sourceval pos_of_file : string -> pos
Sourceval region_of_file : string -> region
Sourceval before_region : region -> region
Sourceval after_region : region -> region
Sourceval string_of_pos : pos -> string
Sourceval string_of_range : pos -> pos -> string
Sourceval string_of_region : region -> string
Sourcetype ('a, 'b, 'c) info = {
  1. it : 'a;
  2. note : 'b;
  3. at : 'c;
}
Sourceval info_to_yojson : 'a 'b 'c. ('a -> Yojson.Safe.t) -> ('b -> Yojson.Safe.t) -> ('c -> Yojson.Safe.t) -> ('a, 'b, 'c) info -> Yojson.Safe.t
Sourcetype ('a, 'b) note_phrase = ('a, 'b, region) info
Sourceval note_phrase_to_yojson : 'a 'b. ('a -> Yojson.Safe.t) -> ('b -> Yojson.Safe.t) -> ('a, 'b) note_phrase -> Yojson.Safe.t
Sourcetype ('a, 'b) note = ('a, 'b, unit) info
Sourceval note_to_yojson : 'a 'b. ('a -> Yojson.Safe.t) -> ('b -> Yojson.Safe.t) -> ('a, 'b) note -> Yojson.Safe.t
Sourcetype 'a phrase = ('a, unit, region) info
Sourceval phrase_to_yojson : 'a. ('a -> Yojson.Safe.t) -> 'a phrase -> Yojson.Safe.t
Sourceval _ : (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> 'a phrase Ppx_deriving_yojson_runtime.error_or
Sourceval ($) : 'a -> 'b -> ('a, unit, 'b) info
Sourceval ($$) : 'a -> ('b * 'c) -> ('a, 'c, 'b) info
Sourceval ($$$) : 'a -> 'b -> ('a, 'b, unit) info
Sourceval (%) : 'a -> 'b -> 'a * 'b
Sourceval it : ('a, 'b, 'c) info -> 'a
Sourceval at : ('a, 'b, 'c) info -> 'c
Sourceval note : ('a, 'b, 'c) info -> 'b
Sourceval over_region : region list -> region
Sourceval exp_list_region : ('a, 'b, region) info list -> region