Safe Haskell	None
Language	GHC2021

AtCoder.Extra.Monoid.RangeSetId

Contents

RangeSetId
Constructor
Action

Description

SegAct instance of range set action over ideomponent monoids. It can set an interval \([l, r)\) to an idempotent monoid \(x\) such as Max Int.

Since: 1.0.0

Synopsis

newtype RangeSetId a = RangeSetId (RangeSetIdRepr a)
new :: a -> RangeSetId a
act :: RangeSetId a -> a -> a

RangeSetId

newtype RangeSetId a #

SegAct instance of range set action over ideomponent monoids.

Example

>>> import AtCoder.Extra.Monoid (SegAct(..), RangeSetId(..))
>>> import AtCoder.LazySegTree qualified as LST
>>> import Data.Semigroup (Max(..))
>>> seg <- LST.build @_ @(RangeSetId (Max Int)) @(Max Int) $ VU.generate 3 (Max . (+ 10)) -- [10, 11, 12]
>>> LST.applyIn seg 0 2 $ RangeSetId (True, Max 5) -- [5, 5, 12]
>>> getMax <$> LST.prod seg 0 3
12

Since: 1.0.0

Constructors

RangeSetId (RangeSetIdRepr a)

Instances

Instances details

Unbox a => Vector Vector (RangeSetId a) #	Since: 1.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeSetId Methods basicUnsafeFreeze :: Mutable Vector s (RangeSetId a) -> ST s (Vector (RangeSetId a)) # basicUnsafeThaw :: Vector (RangeSetId a) -> ST s (Mutable Vector s (RangeSetId a)) # basicLength :: Vector (RangeSetId a) -> Int # basicUnsafeSlice :: Int -> Int -> Vector (RangeSetId a) -> Vector (RangeSetId a) # basicUnsafeIndexM :: Vector (RangeSetId a) -> Int -> Box (RangeSetId a) # basicUnsafeCopy :: Mutable Vector s (RangeSetId a) -> Vector (RangeSetId a) -> ST s () # elemseq :: Vector (RangeSetId a) -> RangeSetId a -> b -> b #
Unbox a => MVector MVector (RangeSetId a) #	Since: 1.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeSetId Methods basicLength :: MVector s (RangeSetId a) -> Int # basicUnsafeSlice :: Int -> Int -> MVector s (RangeSetId a) -> MVector s (RangeSetId a) # basicOverlaps :: MVector s (RangeSetId a) -> MVector s (RangeSetId a) -> Bool # basicUnsafeNew :: Int -> ST s (MVector s (RangeSetId a)) # basicInitialize :: MVector s (RangeSetId a) -> ST s () # basicUnsafeReplicate :: Int -> RangeSetId a -> ST s (MVector s (RangeSetId a)) # basicUnsafeRead :: MVector s (RangeSetId a) -> Int -> ST s (RangeSetId a) # basicUnsafeWrite :: MVector s (RangeSetId a) -> Int -> RangeSetId a -> ST s () # basicClear :: MVector s (RangeSetId a) -> ST s () # basicSet :: MVector s (RangeSetId a) -> RangeSetId a -> ST s () # basicUnsafeCopy :: MVector s (RangeSetId a) -> MVector s (RangeSetId a) -> ST s () # basicUnsafeMove :: MVector s (RangeSetId a) -> MVector s (RangeSetId a) -> ST s () # basicUnsafeGrow :: MVector s (RangeSetId a) -> Int -> ST s (MVector s (RangeSetId a)) #
Monoid a => Monoid (RangeSetId a) #	Since: 1.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeSetId Methods mempty :: RangeSetId a # mappend :: RangeSetId a -> RangeSetId a -> RangeSetId a # mconcat :: [RangeSetId a] -> RangeSetId a #
Semigroup (RangeSetId a) #	Since: 1.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeSetId Methods (<>) :: RangeSetId a -> RangeSetId a -> RangeSetId a # sconcat :: NonEmpty (RangeSetId a) -> RangeSetId a # stimes :: Integral b => b -> RangeSetId a -> RangeSetId a #
Show a => Show (RangeSetId a) #	Since: 1.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeSetId Methods showsPrec :: Int -> RangeSetId a -> ShowS # show :: RangeSetId a -> String # showList :: [RangeSetId a] -> ShowS #
Eq a => Eq (RangeSetId a) #	Since: 1.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeSetId Methods (==) :: RangeSetId a -> RangeSetId a -> Bool # (/=) :: RangeSetId a -> RangeSetId a -> Bool #
Ord a => Ord (RangeSetId a) #	Since: 1.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeSetId Methods compare :: RangeSetId a -> RangeSetId a -> Ordering # (<) :: RangeSetId a -> RangeSetId a -> Bool # (<=) :: RangeSetId a -> RangeSetId a -> Bool # (>) :: RangeSetId a -> RangeSetId a -> Bool # (>=) :: RangeSetId a -> RangeSetId a -> Bool # max :: RangeSetId a -> RangeSetId a -> RangeSetId a # min :: RangeSetId a -> RangeSetId a -> RangeSetId a #
Unbox a => Unbox (RangeSetId a) #	Since: 1.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeSetId
(Ord a, Bounded a) => SegAct (RangeSetId (Max a)) (Max a) #	Since: 1.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeSetId Methods segAct :: RangeSetId (Max a) -> Max a -> Max a # segActWithLength :: Int -> RangeSetId (Max a) -> Max a -> Max a #
(Ord a, Bounded a) => SegAct (RangeSetId (Min a)) (Min a) #	Since: 1.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeSetId Methods segAct :: RangeSetId (Min a) -> Min a -> Min a # segActWithLength :: Int -> RangeSetId (Min a) -> Min a -> Min a #
newtype MVector s (RangeSetId a) #	Since: 1.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeSetId newtype MVector s (RangeSetId a) = MV_RangeSetId (MVector s (RangeSetIdRepr a))
newtype Vector (RangeSetId a) #	Since: 1.0.0
Instance details Defined in AtCoder.Extra.Monoid.RangeSetId newtype Vector (RangeSetId a) = V_RangeSetId (Vector (RangeSetIdRepr a))

Constructor

new :: a -> RangeSetId a #

Creates a new RangeSet action.

Since: 1.0.0

Action

act :: RangeSetId a -> a -> a #

Applies one-length range set: \(f: x \rightarrow y\).

Since: 1.0.0