AtCoder.Extra.Monoid.RangeAddId

Range add monoid action for \([l, r)\) intervals. Works on ideomponent monoids such as Max or Min only.

Since: 1.0.0.0

RangeAddId

newtype RangeAddId a

Range add monoid action.

Example

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

Since: 1.0.0.0

Constructors

RangeAddId a

Instances

Unbox a => Vector Vector (RangeAddId a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAddId

Methods

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

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

basicLength :: Vector (RangeAddId a) -> Int

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

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

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

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

Unbox a => MVector MVector (RangeAddId a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAddId

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Num a => Monoid (RangeAddId a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAddId

Methods

mempty :: RangeAddId a

mappend :: RangeAddId a -> RangeAddId a -> RangeAddId a

mconcat :: [RangeAddId a] -> RangeAddId a

Num a => Semigroup (RangeAddId a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAddId

Methods

(<>) :: RangeAddId a -> RangeAddId a -> RangeAddId a

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

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

Show a => Show (RangeAddId a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAddId

Methods

showsPrec :: Int -> RangeAddId a -> ShowS

show :: RangeAddId a -> String

showList :: [RangeAddId a] -> ShowS

Eq a => Eq (RangeAddId a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAddId

Methods

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

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

Ord a => Ord (RangeAddId a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAddId

Methods

compare :: RangeAddId a -> RangeAddId a -> Ordering

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

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

(>) :: RangeAddId a -> RangeAddId a -> Bool

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

max :: RangeAddId a -> RangeAddId a -> RangeAddId a

min :: RangeAddId a -> RangeAddId a -> RangeAddId a

Unbox a => Unbox (RangeAddId a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAddId

Num a => SegAct (RangeAddId a) (Max a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAddId

Methods

segAct :: RangeAddId a -> Max a -> Max a

segActWithLength :: Int -> RangeAddId a -> Max a -> Max a

Num a => SegAct (RangeAddId a) (Min a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAddId

Methods

segAct :: RangeAddId a -> Min a -> Min a

segActWithLength :: Int -> RangeAddId a -> Min a -> Min a

newtype MVector s (RangeAddId a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAddId

newtype MVector s (RangeAddId a) = MV_RangeAddId (MVector s a)

newtype Vector (RangeAddId a)

Since: 1.0.0.0

Defined in AtCoder.Extra.Monoid.RangeAddId

newtype Vector (RangeAddId a) = V_RangeAddId (Vector a)

Constructor

new :: a -> RangeAddId a

Creates RangeAddId.

Since: 1.0.0.0

Action

act :: Num a => RangeAddId a -> a -> a

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

Since: 1.0.0.0