package odoc
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=355b3cfff4934903cbaed8b51ce35e333e8609932d230294200a9f2d42ffa914
sha512=f78318d0a16164a9cd16ee02f611c2e00d32b772fe38e992d6db6ec94b1c00cd9c377fbfe64031b8f245e57b2f3aac9364108327e7f1693533ddcff94c476e05
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.