The latest version of type-safe-avl is 1.0.0.1-1.
type-safe-avl
Version 1.0.0.1 revision 0 uploaded by nico.
Package meta
- Synopsis
- Type safe BST and AVL trees
- Description
Several implementations of binary search trees (BST) and balanced binary search trees (AVL). Verify at compile time if the operations over BST/AVL trees preserves the order of the keys and the balance in the heights. For both of them there's one unsafe implementation and three type-safe implementations. The last ones differ one how the structural invariants are handled at the type level.
- Author
- Nicolás Rodríguez <marco.nicolas.rodriguez@protonmail.com>
- Bug reports
- https://github.com/nico-rodriguez/type-safe-avl/issues
- Category
- Data
- Copyright
- n/a
- Homepage
- https://github.com/nico-rodriguez/type-safe-avl
- Maintainer
- Nicolás Rodríguez <marco.nicolas.rodriguez@protonmail.com>
- Package URL
- n/a
- Stability
- n/a