manabeai/ac-library-mbt/lazysegtree does not have a README file

    LazySegTree

    pub struct LazySegTree[S, F] {
    // private fields
    }

    Lazy monoid tree. composition(f,g) means f after g. All callbacks must be pure.

    LazySegTree::all_prod

    fn[S, F] LazySegTree::all_prod(self : LazySegTree[S, F]) -> S

    LazySegTree::apply

    fn[S, F] LazySegTree::apply(self : LazySegTree[S, F], p : Int, f : F) -> Unit

    LazySegTree::apply_range

    fn[S, F] LazySegTree::apply_range(self : LazySegTree[S, F], l : Int, r : Int, f : F) -> Unit

    LazySegTree::from_array

    fn[S, F] LazySegTree::from_array(values : Array[S], op~ : (S, S) -> S, e~ : () -> S, mapping~ : (F, S) -> S, composition~ : (F, F) -> F, id~ : () -> F) -> LazySegTree[S, F]

    LazySegTree::get

    fn[S, F] LazySegTree::get(self : LazySegTree[S, F], p : Int) -> S

    LazySegTree::max_right

    fn[S, F] LazySegTree::max_right(self : LazySegTree[S, F], l : Int, predicate : (S) -> Bool) -> Int

    LazySegTree::min_left

    fn[S, F] LazySegTree::min_left(self : LazySegTree[S, F], r : Int, predicate : (S) -> Bool) -> Int

    LazySegTree::new

    fn[S, F] LazySegTree::new(n : Int, op~ : (S, S) -> S, e~ : () -> S, mapping~ : (F, S) -> S, composition~ : (F, F) -> F, id~ : () -> F) -> LazySegTree[S, F]

    LazySegTree::prod

    fn[S, F] LazySegTree::prod(self : LazySegTree[S, F], l : Int, r : Int) -> S

    LazySegTree::set

    fn[S, F] LazySegTree::set(self : LazySegTree[S, F], p : Int, value : S) -> Unit

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io