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


-- | (UNTESTED) Generic splay-based sequence representation
--   
--   <i>WARNING</i>: This package is <i>untested</i> and <i>unstable</i>,
--   do not use except for testing. A general sequence representation with
--   arbitary annotations, for use as a base for implementations of various
--   collection types.
@package splay
@version 0.0.2


-- | A generic sequence representation with arbitary annotations, for use
--   as a base for implementations of various collection types
module Data.Splay

-- | A representation of a sequence of values of type <tt>a</tt> using a
--   splay tree, which can also contain measurements of type <tt>s</tt>.
data Splay s a

-- | <tt>s</tt> is a measurement of <tt>a</tt>
class Monoid s => Measured s a | a -> s
measure :: Measured s a => a -> s

-- | Construct a sequence of only one element
singleton :: Measured s a => a -> Splay s a

-- | Split the sequence into two part: the longest prefix whose measure
--   does <i>not</i> satisfy the predicate, and the rest of the sequence
--   
--   The predicate must be monotonic. Note that <tt><a>False</a> &lt;
--   <a>True</a></tt>.
split :: Measured s a => (s -> Bool) -> Splay s a -> (Splay s a, Splay s a)

-- | Concatenate two sequences
(><) :: Measured s a => Splay s a -> Splay s a -> Splay s a
instance Data.Splay.Measured s a => Data.Splay.Measured s (Data.Splay.Internal.Splay s a)