challenge_persistent_23_tree
→
challenge_persistent_aa_tree
→
challenge_persistent_array
→
challenge_persistent_avl_set
→
challenge_persistent_binary_trie
→
challenge_persistent_binomial_heap
→
challenge_persistent_bitset
→
challenge_persistent_bst
→
challenge_persistent_btree
→
challenge_persistent_deque
→
challenge_persistent_fenwick
→
challenge_persistent_fenwick_range_add
→
challenge_persistent_hash_map
→
challenge_persistent_implicit_treap
→
challenge_persistent_interval_set
→
challenge_persistent_interval_tree
→
challenge_persistent_kd_tree
→
challenge_persistent_leftist_heap
→
challenge_persistent_li_chao_tree
→
challenge_persistent_order_statistic
→
challenge_persistent_pairing_heap
→
challenge_persistent_patricia_trie
→
challenge_persistent_queue
→
challenge_persistent_queue_min
→
challenge_persistent_red_black_tree
→
challenge_persistent_rope
→
challenge_persistent_segment_tree
→
challenge_persistent_segment_tree_assign
→
challenge_persistent_segment_tree_gcd
→
challenge_persistent_segment_tree_lazy
→
challenge_persistent_segment_tree_max
→
challenge_persistent_segment_tree_min
→
challenge_persistent_segment_tree_range_add_max
→
challenge_persistent_segment_tree_range_add_min
→
challenge_persistent_segment_tree_xor
→
challenge_persistent_skew_heap
→
challenge_persistent_stack
→
challenge_persistent_stack_min
→
challenge_persistent_treap_map
→
challenge_persistent_treap_set
→
challenge_persistent_trie_string
→
challenge_persistent_union_find
→
persistent
→
persistent_segtree
→

loop_invariants_persistent

Persistent data structure examples with loop-invariant explanations

algorithms

persistent-data-structures

loop-invariants

moon add bobzhang/loop_invariants_persistent@0.8.0

Download zip

Author

bobzhang

Version

0.8.0

License

Apache-2.0

Repository

github.com/moonbit-community/loop_invariants

Last updated

3 months ago

Downloads

README

#Persistent Data Structures

This module contains persistent arrays, stacks, queues, deques, Fenwick trees, segment trees, heaps, tries, maps, sets, ropes, and balanced-tree examples.

Packages are organized as one persistent structure per directory. Each package contains a README.mbt.md tutorial with examples that are checked by moon test.

Run from the workspace root:

moon check
moon test
moon info
moon fmt

Site source Report issue Packages Build queue Skills Statistics