AtCoder.Extra.Monoid.RangeAdd

Monoid action \(f: x \rightarrow x + d\).

Since: 1.0.0.0

RangeAdd

newtype RangeAdd a

Monoid action \(f: x \rightarrow x + d\).

Example

>>> import AtCoder.Extra.Monoid (SegAct(..), RangeAdd(..))
>>> import AtCoder.LazySegTree qualified as LST
>>> import Data.Semigroup (Max(..))
>>> seg <- LST.build @_ @(RangeAdd (Sum Int)) @(Sum Int) $ VU.generate 3 Sum -- [0, 1, 2]
>>> LST.applyIn seg 0 3 $ RangeAdd (Sum 5) -- [5, 6, 7]
>>> getSum <$> LST.prod seg 0 3
18

Since: 1.0.0.0

Constructors

RangeAdd a

Instances

Unbox a => Vector Vector (RangeAdd a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAdd

Methods

basicUnsafeFreeze :: Mutable Vector s (RangeAdd a) -> ST s (Vector (RangeAdd a))

basicUnsafeThaw :: Vector (RangeAdd a) -> ST s (Mutable Vector s (RangeAdd a))

basicLength :: Vector (RangeAdd a) -> Int

basicUnsafeSlice :: Int -> Int -> Vector (RangeAdd a) -> Vector (RangeAdd a)

basicUnsafeIndexM :: Vector (RangeAdd a) -> Int -> Box (RangeAdd a)

basicUnsafeCopy :: Mutable Vector s (RangeAdd a) -> Vector (RangeAdd a) -> ST s ()

elemseq :: Vector (RangeAdd a) -> RangeAdd a -> b -> b

Unbox a => MVector MVector (RangeAdd a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAdd

Methods

basicLength :: MVector s (RangeAdd a) -> Int

basicUnsafeSlice :: Int -> Int -> MVector s (RangeAdd a) -> MVector s (RangeAdd a)

basicOverlaps :: MVector s (RangeAdd a) -> MVector s (RangeAdd a) -> Bool

basicUnsafeNew :: Int -> ST s (MVector s (RangeAdd a))

basicInitialize :: MVector s (RangeAdd a) -> ST s ()

basicUnsafeReplicate :: Int -> RangeAdd a -> ST s (MVector s (RangeAdd a))

basicUnsafeRead :: MVector s (RangeAdd a) -> Int -> ST s (RangeAdd a)

basicUnsafeWrite :: MVector s (RangeAdd a) -> Int -> RangeAdd a -> ST s ()

basicClear :: MVector s (RangeAdd a) -> ST s ()

basicSet :: MVector s (RangeAdd a) -> RangeAdd a -> ST s ()

basicUnsafeCopy :: MVector s (RangeAdd a) -> MVector s (RangeAdd a) -> ST s ()

basicUnsafeMove :: MVector s (RangeAdd a) -> MVector s (RangeAdd a) -> ST s ()

basicUnsafeGrow :: MVector s (RangeAdd a) -> Int -> ST s (MVector s (RangeAdd a))

Monoid a => Monoid (RangeAdd a)

Since: 1.1.0.0

Defined in AtCoder.Extra.Monoid.RangeAdd

Methods

mempty :: RangeAdd a

mappend :: RangeAdd a -> RangeAdd a -> RangeAdd a

mconcat :: [RangeAdd a] -> RangeAdd a

Semigroup a => Semigroup (RangeAdd a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAdd

Methods

(<>) :: RangeAdd a -> RangeAdd a -> RangeAdd a

sconcat :: NonEmpty (RangeAdd a) -> RangeAdd a

stimes :: Integral b => b -> RangeAdd a -> RangeAdd a

Show a => Show (RangeAdd a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAdd

Methods

showsPrec :: Int -> RangeAdd a -> ShowS

show :: RangeAdd a -> String

showList :: [RangeAdd a] -> ShowS

Eq a => Eq (RangeAdd a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAdd

Methods

(==) :: RangeAdd a -> RangeAdd a -> Bool

(/=) :: RangeAdd a -> RangeAdd a -> Bool

Ord a => Ord (RangeAdd a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAdd

Methods

compare :: RangeAdd a -> RangeAdd a -> Ordering

(<) :: RangeAdd a -> RangeAdd a -> Bool

(<=) :: RangeAdd a -> RangeAdd a -> Bool

(>) :: RangeAdd a -> RangeAdd a -> Bool

(>=) :: RangeAdd a -> RangeAdd a -> Bool

max :: RangeAdd a -> RangeAdd a -> RangeAdd a

min :: RangeAdd a -> RangeAdd a -> RangeAdd a

Unbox a => Unbox (RangeAdd a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAdd

Monoid (Max a) => SegAct (RangeAdd (Max a)) (Max a)

Since: 1.1.0.0

Defined in AtCoder.Extra.Monoid.RangeAdd

Methods

segAct :: RangeAdd (Max a) -> Max a -> Max a

segActWithLength :: Int -> RangeAdd (Max a) -> Max a -> Max a

Monoid (Min a) => SegAct (RangeAdd (Min a)) (Min a)

Since: 1.1.0.0

Defined in AtCoder.Extra.Monoid.RangeAdd

Methods

segAct :: RangeAdd (Min a) -> Min a -> Min a

segActWithLength :: Int -> RangeAdd (Min a) -> Min a -> Min a

Monoid (Sum a) => SegAct (RangeAdd (Sum a)) (Sum a)

Since: 1.1.0.0

Defined in AtCoder.Extra.Monoid.RangeAdd

Methods

segAct :: RangeAdd (Sum a) -> Sum a -> Sum a

segActWithLength :: Int -> RangeAdd (Sum a) -> Sum a -> Sum a

newtype MVector s (RangeAdd a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAdd

newtype MVector s (RangeAdd a) = MV_RangeAdd (MVector s a)

newtype Vector (RangeAdd a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAdd

newtype Vector (RangeAdd a) = V_RangeAdd (Vector a)

Constructor

new :: a -> RangeAdd a

Creates RangeAdd.

Since: 1.0.0.0

unRangeAdd :: RangeAdd a -> a

\(O(1)\) Retrieves the internal value of RangeAdd.

Since: 1.1.0.0

Actions

act :: Semigroup a => RangeAdd a -> a -> a

\(O(1)\) Applies one-length range add: \(f: x \rightarrow d + x\).

Since: 1.0.0.0