Safe Haskell	None
Language	GHC2021

Data.Monoid.RollingHash

Synopsis

newtype RollingHashBuilder (b :: Nat) = RHB (Affine (RollingHash b))
runRollingHashBuilder :: forall (b :: Nat). RollingHashBuilder b -> RollingHash b
singletonRHB :: forall (b :: Nat). KnownNat b => Int -> RollingHashBuilder b

Documentation

newtype RollingHashBuilder (b :: Nat) Source #

b should be a primitive root of 2^61-1

>>> :set -XDataKinds -XOverloadedStrings
>>> runRollingHashBuilder @2047 $ "abc" <> "def"
1182147938584434692
>>> runRollingHashBuilder @2047 "abcdef"
1182147938584434692
>>> mempty @(RollingHashBuilder 2047)
Affine {getAffine1 = 1, getAffine0 = 0}

Constructors

RHB (Affine (RollingHash b))

Instances

Instances details

Vector Vector (RollingHashBuilder b) Source #
Instance details Defined in Data.Monoid.RollingHash Methods basicUnsafeFreeze :: Mutable Vector s (RollingHashBuilder b) -> ST s (Vector (RollingHashBuilder b)) basicUnsafeThaw :: Vector (RollingHashBuilder b) -> ST s (Mutable Vector s (RollingHashBuilder b)) basicLength :: Vector (RollingHashBuilder b) -> Int basicUnsafeSlice :: Int -> Int -> Vector (RollingHashBuilder b) -> Vector (RollingHashBuilder b) basicUnsafeIndexM :: Vector (RollingHashBuilder b) -> Int -> Box (RollingHashBuilder b) basicUnsafeCopy :: Mutable Vector s (RollingHashBuilder b) -> Vector (RollingHashBuilder b) -> ST s () elemseq :: Vector (RollingHashBuilder b) -> RollingHashBuilder b -> b0 -> b0
MVector MVector (RollingHashBuilder b) Source #
Instance details Defined in Data.Monoid.RollingHash Methods basicLength :: MVector s (RollingHashBuilder b) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (RollingHashBuilder b) -> MVector s (RollingHashBuilder b) basicOverlaps :: MVector s (RollingHashBuilder b) -> MVector s (RollingHashBuilder b) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (RollingHashBuilder b)) basicInitialize :: MVector s (RollingHashBuilder b) -> ST s () basicUnsafeReplicate :: Int -> RollingHashBuilder b -> ST s (MVector s (RollingHashBuilder b)) basicUnsafeRead :: MVector s (RollingHashBuilder b) -> Int -> ST s (RollingHashBuilder b) basicUnsafeWrite :: MVector s (RollingHashBuilder b) -> Int -> RollingHashBuilder b -> ST s () basicClear :: MVector s (RollingHashBuilder b) -> ST s () basicSet :: MVector s (RollingHashBuilder b) -> RollingHashBuilder b -> ST s () basicUnsafeCopy :: MVector s (RollingHashBuilder b) -> MVector s (RollingHashBuilder b) -> ST s () basicUnsafeMove :: MVector s (RollingHashBuilder b) -> MVector s (RollingHashBuilder b) -> ST s () basicUnsafeGrow :: MVector s (RollingHashBuilder b) -> Int -> ST s (MVector s (RollingHashBuilder b))
Monoid (RollingHashBuilder b) Source #
Instance details Defined in Data.Monoid.RollingHash Methods mempty :: RollingHashBuilder b # mappend :: RollingHashBuilder b -> RollingHashBuilder b -> RollingHashBuilder b # mconcat :: [RollingHashBuilder b] -> RollingHashBuilder b #
Semigroup (RollingHashBuilder b) Source #
Instance details Defined in Data.Monoid.RollingHash Methods (<>) :: RollingHashBuilder b -> RollingHashBuilder b -> RollingHashBuilder b # sconcat :: NonEmpty (RollingHashBuilder b) -> RollingHashBuilder b # stimes :: Integral b0 => b0 -> RollingHashBuilder b -> RollingHashBuilder b #
KnownNat b => IsString (RollingHashBuilder b) Source #
Instance details Defined in Data.Monoid.RollingHash Methods fromString :: String -> RollingHashBuilder b #
Show (RollingHashBuilder b) Source #
Instance details Defined in Data.Monoid.RollingHash Methods showsPrec :: Int -> RollingHashBuilder b -> ShowS # show :: RollingHashBuilder b -> String # showList :: [RollingHashBuilder b] -> ShowS #
Eq (RollingHashBuilder b) Source #
Instance details Defined in Data.Monoid.RollingHash Methods (==) :: RollingHashBuilder b -> RollingHashBuilder b -> Bool # (/=) :: RollingHashBuilder b -> RollingHashBuilder b -> Bool #
Unbox (RollingHashBuilder b) Source #
Instance details Defined in Data.Monoid.RollingHash
newtype MVector s (RollingHashBuilder b) Source #
Instance details Defined in Data.Monoid.RollingHash newtype MVector s (RollingHashBuilder b) = MV_RollingHashBuilder (MVector s (Affine (RollingHash b)))
newtype Vector (RollingHashBuilder b) Source #
Instance details Defined in Data.Monoid.RollingHash newtype Vector (RollingHashBuilder b) = V_RollingHashBuilder (Vector (Affine (RollingHash b)))

runRollingHashBuilder :: forall (b :: Nat). RollingHashBuilder b -> RollingHash b Source #

singletonRHB :: forall (b :: Nat). KnownNat b => Int -> RollingHashBuilder b Source #

>>> :set -XDataKinds
>>> singletonRHB @2047 123
Affine {getAffine1 = 2047, getAffine0 = 123}