package odoc
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=ce84fa7e0cc5f3e8a54e6adeb10826152798b602057b9e46c5ae7e5d5206812b
sha512=9febd413450ca2e3824c9ef7e1c9ae8d8094aa72ed71327a69d8d6b42f6f197b3f3f40d674de0d11fa1242ee0df95c693b5d74467d530704e1339f3a523452f6
doc/odoc.model/Odoc_model/Location_/index.html
Module Odoc_model.Location_
Source
include module type of struct include Odoc_parser.Loc end
This module concerns locations in source files, both points indicating a specific character and spans between two points.
Basic types
A specific character
A range of characters between start
and end_
in a particular file
span spans
takes a list of spans and returns a single span
starting at the start of the first span and ending at the end of the final span
This adjusts only the column number, implicitly assuming that the offset does not move the location across a newline character.
This adjusts only the column number, implicitly assuming that the offset does not move the location across a newline character.
Located values
Describes values located at a particular span
Constructor for with_location
Returns the location of a located value
Returns the value of a located value
Map over a located value without changing its location
same x y
retuns the value y wrapped in a with_location
whose location is that of x
spans_multiple_lines x
checks to see whether x
is located on a single line or whether it covers more than one.