Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <[email protected]> |
Safe Haskell | None |
Data.HyperLogLog.Config
Contents
Description
- data Config
- class HasConfig t where
- hll :: Int -> Config
- numBits :: (Functor f, Contravariant f, HasConfig t) => (Int -> f Int) -> t -> f t
- numBuckets :: (Functor f, Contravariant f, HasConfig t) => (Int -> f Int) -> t -> f t
- smallRange :: (Functor f, Contravariant f, HasConfig t) => (Double -> f Double) -> t -> f t
- interRange :: (Functor f, Contravariant f, HasConfig t) => (Double -> f Double) -> t -> f t
- rawFact :: (Functor f, Contravariant f, HasConfig t) => (Double -> f Double) -> t -> f t
- alpha :: (Functor f, Contravariant f, HasConfig t) => (Double -> f Double) -> t -> f t
- bucketMask :: (Functor f, Contravariant f, HasConfig t) => (Word32 -> f Word32) -> t -> f t
- class ReifiesConfig o where
- reflectConfig :: p o -> Config
- reifyConfig :: Int -> (forall o. ReifiesConfig o => Proxy o -> r) -> r
- type Rank = Int8
- calcBucket :: HasConfig t => t -> Word32 -> Int
- calcRank :: HasConfig t => t -> Word32 -> Int8
- lim32 :: Double
Config
Constants required for a bucketing factor b
Instances
HasConfig Config | |
ReifiesConfig k p => HasConfig (HyperLogLog k p) |
numBuckets :: (Functor f, Contravariant f, HasConfig t) => (Int -> f Int) -> t -> f tSource
smallRange :: (Functor f, Contravariant f, HasConfig t) => (Double -> f Double) -> t -> f tSource
interRange :: (Functor f, Contravariant f, HasConfig t) => (Double -> f Double) -> t -> f tSource
bucketMask :: (Functor f, Contravariant f, HasConfig t) => (Word32 -> f Word32) -> t -> f tSource
ReifiesConfig
class ReifiesConfig o whereSource
Methods
reflectConfig :: p o -> ConfigSource
Instances
SingRep Nat n Integer => ReifiesConfig Nat n | |
Reifies * n Int => ReifiesConfig * (D n) | |
Reifies * n Int => ReifiesConfig * (SD n) |
reifyConfig :: Int -> (forall o. ReifiesConfig o => Proxy o -> r) -> rSource
Rank
calcBucket :: HasConfig t => t -> Word32 -> IntSource