Data.CuckooFilter.Pure

A strict IntMap-based implementation of a cuckoo filter. This is still quite efficient in terms of throughput, but the IntMap's internal structures baloon the memory usage, making it far less practical for real usecases.

Documentation

data Filter a

A Cuckoo Filter with a fixed size. The current implementation uses 8 bit fingerprints and 4 element buckets.

Constructors

F

Fields

• buckets :: IntMap Bucket
• numBuckets :: !Natural
• size :: !Size

Instances

Monad m => CuckooFilter Filter m

Defined in Data.CuckooFilter.Pure

Methods

initialize :: Size -> m (Filter a)

bucketCount :: Filter a -> m Natural

writeBucket :: Int -> Bucket -> Filter a -> m (Filter a)

readBucket :: Int -> Filter a -> m Bucket

Eq (Filter a)

Defined in Data.CuckooFilter.Pure

Methods

(==) :: Filter a -> Filter a -> Bool

(/=) :: Filter a -> Filter a -> Bool

Show (Filter a)

Defined in Data.CuckooFilter.Pure

Methods

showsPrec :: Int -> Filter a -> ShowS

show :: Filter a -> String

showList :: [Filter a] -> ShowS

Generic (Filter a)

Defined in Data.CuckooFilter.Pure

Associated Types

type Rep (Filter a) :: Type -> Type

Methods

from :: Filter a -> Rep (Filter a) x

to :: Rep (Filter a) x -> Filter a

ToJSON (Filter a)

Defined in Data.CuckooFilter.Pure

Methods

toJSON :: Filter a -> Value

toEncoding :: Filter a -> Encoding

toJSONList :: [Filter a] -> Value

toEncodingList :: [Filter a] -> Encoding

FromJSON (Filter a)

Defined in Data.CuckooFilter.Pure

Methods

parseJSON :: Value -> Parser (Filter a)

parseJSONList :: Value -> Parser [Filter a]

Serialize (Filter a)

Defined in Data.CuckooFilter.Pure

Methods

put :: Putter (Filter a)

get :: Get (Filter a)

type Rep (Filter a)

Defined in Data.CuckooFilter.Pure

type Rep (Filter a) = D1 (MetaData "Filter" "Data.CuckooFilter.Pure" "cuckoo-filter-0.2.0.2-B7QL3ZxFbHGZXnXJGf4MU" False) (C1 (MetaCons "F" PrefixI True) (S1 (MetaSel (Just "buckets") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (IntMap Bucket)) :*: (S1 (MetaSel (Just "numBuckets") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Natural) :*: S1 (MetaSel (Just "size") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Size))))