Safe Haskell	Safe-Inferred
Language	GHC2021

AtCoder.Extra.Monoid.RangeAdd

Contents

RangeAdd
Constructor
Actions

Description

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

Since: 1.0.0.0

Synopsis

newtype RangeAdd a = RangeAdd a
new :: a -> RangeAdd a
unRangeAdd :: RangeAdd a -> a
act :: Semigroup a => RangeAdd a -> a -> a

RangeAdd

newtype RangeAdd a Source #

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

Example

Expand

>>> 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

Instances details

Unbox a => Vector Vector (RangeAdd a) Source #	Since: 1.0.0.0
Instance details 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) Source #	Since: 1.0.0.0
Instance details 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) Source #	Since: 1.1.0.0
Instance details 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) Source #	Since: 1.0.0.0
Instance details 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) Source #	Since: 1.0.0.0
Instance details 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) Source #	Since: 1.0.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeAdd Methods (==) :: RangeAdd a -> RangeAdd a -> Bool # (/=) :: RangeAdd a -> RangeAdd a -> Bool #
Ord a => Ord (RangeAdd a) Source #	Since: 1.0.0.0
Instance details 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) Source #	Since: 1.0.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeAdd
Monoid (Max a) => SegAct (RangeAdd (Max a)) (Max a) Source #	Since: 1.1.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeAdd Methods segAct :: RangeAdd (Max a) -> Max a -> Max a Source # segActWithLength :: Int -> RangeAdd (Max a) -> Max a -> Max a Source #
Monoid (Min a) => SegAct (RangeAdd (Min a)) (Min a) Source #	Since: 1.1.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeAdd Methods segAct :: RangeAdd (Min a) -> Min a -> Min a Source # segActWithLength :: Int -> RangeAdd (Min a) -> Min a -> Min a Source #
Monoid (Sum a) => SegAct (RangeAdd (Sum a)) (Sum a) Source #	Since: 1.1.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeAdd Methods segAct :: RangeAdd (Sum a) -> Sum a -> Sum a Source # segActWithLength :: Int -> RangeAdd (Sum a) -> Sum a -> Sum a Source #
newtype MVector s (RangeAdd a) Source #	Since: 1.0.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeAdd newtype MVector s (RangeAdd a) = MV_RangeAdd (MVector s a)
newtype Vector (RangeAdd a) Source #	Since: 1.0.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeAdd newtype Vector (RangeAdd a) = V_RangeAdd (Vector a)

Constructor

new :: a -> RangeAdd a Source #

Creates RangeAdd.

Since: 1.0.0.0

unRangeAdd :: RangeAdd a -> a Source #

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

Since: 1.1.0.0

Actions

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

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

Since: 1.0.0.0