-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Sequential index numbers between 0.0 and 1.0 that allow arbitrarily inserting new numbers in between (for special containers).
--   
--   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. However, leafs can only be on the right side of
--   their parent. I.e. the path must end with a '1' (or be the path to the
--   root node, 0.0). 1.0 denotes the invalid node.
@package sequential-index
@version 0.1

module Data.SequentialIndex
data SequentialIndex
mantissa :: SequentialIndex -> Integer
exponent :: SequentialIndex -> Int
zero :: SequentialIndex
one :: SequentialIndex
root :: SequentialIndex
sequentialIndex :: Integer -> Int -> SequentialIndex
unsafeSequentialIndex :: Integer -> Int -> SequentialIndex
tryFromBools :: [Bool] -> Maybe SequentialIndex
between :: SequentialIndex -> SequentialIndex -> SequentialIndex
prefixBits :: Int -> Integer -> SequentialIndex -> SequentialIndex
build :: Int -> [Integer] -> SequentialIndex
buildBits :: (Bits a, Integral a) => [a] -> SequentialIndex
leftChild :: SequentialIndex -> SequentialIndex
rightChild :: SequentialIndex -> SequentialIndex
toByteString :: SequentialIndex -> ByteString
fromByteString :: ByteString -> Maybe SequentialIndex
instance Eq SequentialIndex
instance Show SequentialIndex
instance Ord SequentialIndex
instance Bounded SequentialIndex

module Data.SequentialIndex.Open
data SequentialIndex
mantissa :: SequentialIndex -> Integer
exponent :: SequentialIndex -> Int
sequentialIndex :: Int -> Integer -> SequentialIndex
toClosed :: SequentialIndex -> SequentialIndex
fromClosed :: SequentialIndex -> Maybe SequentialIndex
root :: SequentialIndex
leftChild :: SequentialIndex -> SequentialIndex
rightChild :: SequentialIndex -> SequentialIndex
prefixBits :: Int -> Integer -> SequentialIndex -> SequentialIndex
toByteString :: SequentialIndex -> ByteString
fromByteString :: ByteString -> Maybe SequentialIndex
instance Eq SequentialIndex
instance Ord SequentialIndex
instance Show SequentialIndex