package codept-lib

  1. Overview
  2. Docs
package codept-lib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module LocSource

Location information within a file

Sourcetype t =
  1. | Nowhere
  2. | Simple of {
    1. line : int;
    2. start : int;
    3. stop : int;
    }
  3. | Multiline of {
    1. start : int * int;
    2. stop : int * int;
    }

A location within a file

Sourcetype 'a ext = {
  1. loc : t;
  2. data : 'a;
}

A data structure to add location data

Sourceval pp : Format.formatter -> t -> unit
Sourceval nowhere : 'a -> 'a ext
Sourceval create : t -> 'a -> 'a ext
Sourceval expand : t -> ((int * int) * (int * int)) option
Sourceval compress : t -> t
Sourceval merge : t -> t -> t
Sourceval keep_one : t -> t -> t
Sourceval fmap : ('a -> 'b) -> 'a ext -> 'b ext
Sourceval list : 'a ext list -> t
Sourcemodule Sch : sig ... end