package travesty
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=6096bfedbab2044c6372c918712bc5e71ffba5a373cdab37398787712c9c83af
sha512=a7a1cd7981af2c16111323cdf72ac6a45a5e58a3701376fdb3d7f3ee15fbf4003e71f94ad882ccea0d308bb229f3ac0b2c9861a231a498c22e44551f1fcf802d
doc/travesty.containers/Travesty_containers/Zipper_intf/index.html
Module Travesty_containers.Zipper_intfSource
S_non_monadic contains the core operations of a zipper, without any parametrisation over a particular failure monad.
S_monadic contains the core operations of a zipper, parametrised over a particular failure monad.
S contains S_non_monadic; a functor for generating S_monadic over a custom monad; and specialisations of it over common monads.
type ('mark, 'a, 'acc, 'final) fold_outcome = [ | `Stop of 'final(*Stop folding, immediately return
*)| `Drop of 'acc(*Drop the cursor and continue
*)| `Swap of 'a * 'acc(*Replace cursor with a new value
*)| `Mark of 'mark * 'a * 'acc(*Replace, and mark, the cursor
*)
]The type of instructions returned by functions used with fold_until_m and fold_until.
S_marked_non_monadic extends S_non_monadic to add functions for manipulating marks.
S_marked_monadic extends S_monadic to add functions for manipulating marks.
Basic_mark is the interface that mark types must implement.