package grace

You can search for identifiers within the package.

in-package search v0.2.0

A fancy diagnostics library that allows your compilers to exit with grace

Install

sha256=19576d3f32e4a69c7ebad26a801b568a2e3bff24a0e4d5ddf3b8bf4eac479d4c

sha512=436db3699126eec797da1be9f530759547804cc081ed365a75ba8ae9b053c05999ae820d294dd20f6a68e0712084579c585105a3855d71b459efc1367172bd66

Sourcetype t = {

}

The type of a line.

include Sexplib0.Sexpable.S with type t := t

Sourceval t_of_sexp : Sexplib0.Sexp.t -> t

Sourceval sexp_of_t : t -> Sexplib0.Sexp.t

Sourceval of_line_index : Source_descr.t -> Grace.Line_index.t -> t

of_line_index sd idx returns the line at index idx in source sd.

Sourceval of_byte_index : Source_descr.t -> Grace.Byte_index.t -> t

of_byte_index sd idx returns the line containing idx in source sd.

Sourceval start : t -> Grace.Byte_index.t

start t returns the byte index of the (inclusive) start position of the line.

Sourceval stop : t -> Grace.Byte_index.t

stop t returns the byte index of the (exclusive) stop position of the line.

Sourceval split : t -> Grace.Byte_index.t * Grace.Byte_index.t

split t returns the pair of byte indices of the line t.

Sourceval last : Source_descr.t -> t

last sd returns the last line in the source sd.

Sourceval slice : t -> sd:Source_descr.t -> string

slice t ~sd reads the slice of bytes defined by the line's range.

raises Invalid_argment
if the source descriptor's underlying source is not equal to the line range's source.