Safe Haskell  SafeInferred 

Language  Haskell2010 
 data DGIM a = DGIM {
 dgimPredicate :: !(a > Bool)
 dgimBuckets :: ![Bucket]
 dgimMaxSameBucket :: !Integer
 dgimCliff :: !Integer
 dgimCurrentIdx :: !Integer
 mkDGIM :: (RealFrac a, Eq b) => a > Integer > (b > Bool) > DGIM b
 insert :: a > DGIM a > DGIM a
 insert_ :: DGIM a > DGIM a
 querySince :: DGIM a > Integer > Integer
 queryAll :: DGIM a > Integer
 queryLen :: DGIM a > Integer > Integer
Type (with constructors)
The core data structure which contains the current state as well as the parameters needed for operation.
DGIM  

Creation
mkDGIM :: (RealFrac a, Eq b) => a > Integer > (b > Bool) > DGIM b Source
Create a new DGIM structure given:  Required accuracy  Size of the stream to operate on  Predicate to determine if an element should be counted
Insertion
Querying
querySince :: DGIM a > Integer > Integer Source
Query how many elements have been counted since a timestamp