@hackage sequential-index0.1

Sequential index numbers between 0.0 and 1.0 that allow arbitrarily inserting new numbers in between (for special containers).

  • Categories

    • License

      BSD-3-Clause

    • Maintainer

      aristidb@googlemail.com

    • Versions

      • 0.2.0.1 Tue, 29 Jan 2013
      • 0.2 Thu, 3 Mar 2011
      • 0.1 Thu, 24 Feb 2011
      • 0.0 Wed, 23 Feb 2011

    Sequential index numbers between 0.0 and 1.0 that allow arbitrarily inserting new numbers in between. They can possibly used for disk-based and other special containers, where adding a new element without changing the indexes of the other elements is important.

    Conceptually, SequentialIndex denotes a path to an element in an imaginary binary tree, with a '1' at the end. Except for 0.0 and 1.0, which are logically on the left or on the right of the entire tree.

    So logically, the tree looks roughly like this:

    0.0 1.0 / /----------/ 0.1 /
    /--/ --
    /
    0.01 0.11 / \ /
    0.001 0.011 ...

    Note that 0.0 is not connected to any other node, but it is still logically smaller than all nodes.