AtCoder.Extra.Monoid.RangeAdd

Range add monoid action for \([l, r)\) intervals.

Since: 1.0.0.0

RangeAdd

newtype RangeAdd a

Range add monoid action.

Example

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

Num a => Monoid (RangeAdd a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAdd

Methods

mempty :: RangeAdd a

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

mconcat :: [RangeAdd a] -> RangeAdd a

Num 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

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

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAdd

Methods

segAct :: RangeAdd a -> Sum a -> Sum a

segActWithLength :: Int -> RangeAdd 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

Action

act :: Num a => RangeAdd a -> a -> a

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

Since: 1.0.0.0