Copyright | (c) Edward Kmett 2013-2015 |
---|---|
License | BSD3 |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell98 |
- data Config
- class HasConfig t where
- hll :: Int -> Config
- 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
class HasConfig t where Source
config :: Getter t Config Source
numBits :: Getter t Int Source
numBuckets :: Getter t Int Source
smallRange :: Getter t Double Source
interRange :: Getter t Double Source
rawFact :: Getter t Double Source
alpha :: Getter t Double Source
bucketMask :: Getter t Word32 Source
HasConfig Config | |
ReifiesConfig k p => HasConfig (HyperLogLog k p) |
ReifiesConfig
class ReifiesConfig o where Source
reflectConfig :: p o -> Config Source
KnownNat n => ReifiesConfig Nat n | |
Reifies * n Int => ReifiesConfig * (D n) | |
Reifies * n Int => ReifiesConfig * (SD n) |
reifyConfig :: Int -> (forall o. ReifiesConfig o => Proxy o -> r) -> r Source
Rank
calcBucket :: HasConfig t => t -> Word32 -> Int Source