iota

Safe Haskell	None
Language	GHC2021

Data.Doubling

Synopsis

newtype Doubling a = Doubling {
- getDoubling :: Vector (Int, a)
}
generateDoubling :: Unbox a => Int -> (Int -> (Int, a)) -> Doubling a
generateDoubling_ :: Int -> (Int -> Int) -> Doubling ()
doublingStepN :: (Semigroup a, Unbox a) => Int -> Int -> a -> Doubling a -> (Int, a)
doublingStepN_ :: Int -> Int -> Doubling () -> Int
newtype DoublingTable a = DoublingTable (Vector (Doubling a))
buildDoublingTable :: (Semigroup a, Unbox a) => Doubling a -> DoublingTable a
doublingStepNQuery :: (Semigroup a, Unbox a) => Int -> Int -> a -> DoublingTable a -> (Int, a)

Documentation

newtype Doubling a Source #

Constructors

Doubling
Fields getDoubling :: Vector (Int, a)

Instances

Instances details

(Semigroup a, Unbox a) => Semigroup (Doubling a) Source #
Instance details Defined in Data.Doubling Methods (<>) :: Doubling a -> Doubling a -> Doubling a # sconcat :: NonEmpty (Doubling a) -> Doubling a # stimes :: Integral b => b -> Doubling a -> Doubling a #

generateDoubling :: Unbox a => Int -> (Int -> (Int, a)) -> Doubling a Source #

generateDoubling_ :: Int -> (Int -> Int) -> Doubling () Source #

doublingStepN Source #

Arguments

:: (Semigroup a, Unbox a)
=> Int	n
-> Int	initial state
-> a	initial value
-> Doubling a
-> (Int, a)

O(Mlog N)

doublingStepN_ Source #

Arguments

:: Int	n
-> Int	initial state
-> Doubling ()
-> Int

newtype DoublingTable a Source #

Constructors

DoublingTable (Vector (Doubling a))

buildDoublingTable :: (Semigroup a, Unbox a) => Doubling a -> DoublingTable a Source #

doublingStepNQuery Source #

Arguments

:: (Semigroup a, Unbox a)
=> Int	n
-> Int	initial state
-> a	initial value
-> DoublingTable a
-> (Int, a)

O(log N)