{-# OPTIONS_HADDOCK not-home #-}
-- | This module exports 'MBloom'' internals.
module Data.BloomFilter.Mutable.Internal (
    MBloom'(..),
) where

import qualified Data.BloomFilter.BitVec64 as V
import           Data.Kind (Type)
import           Data.Word (Word64)

import           Prelude hiding (div, divMod, elem, length, mod, notElem, rem,
                     (*), (/))

-- | A mutable Bloom filter, for use within the 'ST' monad.
type MBloom' :: Type -> (Type -> Type) -> Type -> Type
data MBloom' s h a = MBloom {
      forall s (h :: * -> *) a. MBloom' s h a -> Int
hashesN  :: {-# UNPACK #-} !Int
    , forall s (h :: * -> *) a. MBloom' s h a -> Word64
size     :: {-# UNPACK #-} !Word64  -- ^ size is non-zero
    , forall s (h :: * -> *) a. MBloom' s h a -> MBitVec64 s
bitArray :: {-# UNPACK #-} !(V.MBitVec64 s)
    }
type role MBloom' nominal nominal nominal

instance Show (MBloom' s h a) where
    show :: MBloom' s h a -> String
show MBloom' s h a
mb = String
"MBloom { " String -> ShowS
forall a. [a] -> [a] -> [a]
++ Word64 -> String
forall a. Show a => a -> String
show (MBloom' s h a -> Word64
forall s (h :: * -> *) a. MBloom' s h a -> Word64
size MBloom' s h a
mb) String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" bits } "