Safe Haskell	None
Language	GHC2021

AtCoder.Extra.Monoid.RangeAdd

Contents

RangeAdd
Constructor
Action

Description

Monoid action for setting interval \([l, r)\).

Since: 1.0.0

Synopsis

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

RangeAdd

newtype RangeAdd a #

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

Constructors

RangeAdd a

Instances

Instances details

Unbox a => Vector Vector (RangeAdd a) #	Since: 1.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) #	Since: 1.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)) #
Num a => Monoid (RangeAdd a) #	Since: 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 #
Num a => Semigroup (RangeAdd a) #	Since: 1.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) #	Since: 1.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) #	Since: 1.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) #	Since: 1.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) #	Since: 1.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeAdd
Num a => SegAct (RangeAdd a) (Sum a) #	Since: 1.0.0
Instance details 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
Instance details Defined in AtCoder.Extra.Monoid.RangeAdd newtype MVector s (RangeAdd a) = MV_RangeAdd (MVector s a)
newtype Vector (RangeAdd a) #	Since: 1.0.0
Instance details 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

Action

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

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

Since: 1.0.0