package plebeia

  1. Overview
  2. Docs
val traverse : ('a * [< `Exit | `Right of 'c | `Up of Segment.Segs.t * 'd Right ] as 'b * Segment.Segs.t * Plebeia__.Cursor.cursor) -> ('e -> Segment.Segs.t -> Plebeia__.Cursor.cursor -> ([< `Continue | `Exit | `Up ] * 'f, Error.t) Stdlib.result) -> ('g * [> `Exit | `Up of Segment.Segs.t * 'h ] * Segment.Segs.t * Plebeia__.Cursor.cursor, Error.t) Result.t
val fold : init:'a -> Segment.Segs.t -> Plebeia__.Cursor.cursor -> ('b -> Segment.Segs.t -> Plebeia__.Cursor.cursor -> ([< `Continue | `Exit | `Up ] * 'c, Error.t) Stdlib.result) -> ('d * Plebeia__.Cursor.cursor, Error.t) Result.t
val ls : Plebeia__.Cursor.cursor -> ((Plebeia__Segment.segment * Plebeia__.Node.view) list * Plebeia__.Cursor.cursor, Error.t) Result.t
val ls_rec : Plebeia__.Cursor.cursor -> ((Plebeia__Segment.segment list * Plebeia__.Node.node) list * Plebeia__.Cursor.cursor, Error.t) Result.t
module GenTraverse : sig ... end