Module Line.Internals

module Line_buffer : sig ... end
type 'a t = 'a Progress_engine__.Line_primitives.t
type event = [
  1. | `finish
  2. | `report
  3. | `rerender
  4. | `tick
]
val noop : unit -> 'a t
val theta : width:int -> (Progress_engine__.Line_buffer.t -> event -> unit) -> 'a t
val alpha : width:int -> initial:[ `Theta of Progress_engine__.Line_buffer.t -> unit | `Val of 'a ] -> (Progress_engine__.Line_buffer.t -> event -> 'a -> unit) -> 'a t
val alpha_unsized : initial: [ `Theta of width:(unit -> int) -> Progress_engine__.Line_buffer.t -> int | `Val of 'a ] -> (width:(unit -> int) -> Progress_engine__.Line_buffer.t -> event -> 'a -> int) -> 'a t
val array : 'a t array -> 'a t
val pair : ?sep:unit t -> 'a t -> 'b t -> ('a * 'b) t
val contramap : f:('a -> 'b) -> 'b t -> 'a t
val on_finalise : 'a -> 'a t -> 'a t
val of_pp : width:int -> initial:'a -> (Stdlib.Format.formatter -> event -> 'a -> unit) -> 'a t
val conditional : ('a -> bool) -> 'a t -> 'a t
val periodic : int -> 'a t -> 'a t
val accumulator : ('a -> 'a -> 'a) -> 'a -> 'a t -> 'a t
val stateful : (unit -> 'a t) -> 'a t
val box_dynamic : ?pad:[ `left | `none | `right ] -> (unit -> int) -> 'a t -> 'a t
val box_fixed : ?pad:[ `left | `none | `right ] -> int -> 'a t -> 'a t
val box_winsize : ?max:int -> ?fallback:int -> 'a t -> 'a t
val to_line : 'a t -> 'a t