Contribution: FingerTree

Dependent Finger Trees

Authors

• Matthieu Sozeau

Description

A verified generic implementation of Finger Trees

Keywords

data structures, dependent types, finger trees

Available files

• FingerTree.PrioQueue.html
• FingerTree.FingerTree.html
• FingerTree.KeyMonoid.html
• FingerTree.DependentFingerTree.html
• FingerTree.FingerTreeModule.html
• FingerTree.Notations.html
• FingerTree.StringInterface.html
• FingerTree.DependentSequence.html
• FingerTree.OrderedType.html
• FingerTree.DigitModule.html
• FingerTree.OrdSequence.html
• FingerTree.DependentFingerTreeModule.html
• FingerTree.Reduce.html
• FingerTree.Digit.html
• FingerTree.RopeModule.html
• FingerTree.Monoid.html
• FingerTree.Modules.html
• FingerTree.Sequence.html