Module Character_state.MakeSource

Parameters

Signature

Sourcetype t = {
  1. pos : Position.t;
  2. indent : Indent.t;
  3. user : User.t;
}
Sourceval make : Position.t -> User.t -> t
Sourceval position : t -> Position.t
Sourceval line : t -> int
Sourceval column : t -> int
Sourceval user : t -> User.t
Sourceval put : User.t -> t -> t
Sourceval update : (User.t -> User.t) -> t -> t
Sourceval indent : t -> Indent.t
Sourceval next : char -> t -> t
Sourceval check_position : t -> Indent.violation option
Sourceval align : t -> t
Sourceval left_align : t -> t
Sourceval start_detach : t -> t
Sourceval end_detach : t -> t -> t
Sourceval start_indent : int -> t -> t
Sourceval end_indent : int -> t -> t -> t