Control.Concurent.SDP.TUnrolled

Control.Concurent.SDP.TUnrolled provides lazy boxed unrolled linked list of stm TVars.

TUnrolled

type TUnrolled = AnyBorder TUnlist

Lazy boxed unrolled libked list.

data STM a

A monad supporting atomic memory transactions.

Instances

Monad STM

Since: base-4.3.0.0

Defined in GHC.Conc.Sync

Methods

(>>=) :: STM a -> (a -> STM b) -> STM b

(>>) :: STM a -> STM b -> STM b

return :: a -> STM a

Functor STM

Since: base-4.3.0.0

Defined in GHC.Conc.Sync

Methods

fmap :: (a -> b) -> STM a -> STM b

(<$) :: a -> STM b -> STM a

Applicative STM

Since: base-4.8.0.0

Defined in GHC.Conc.Sync

Methods

pure :: a -> STM a

(<*>) :: STM (a -> b) -> STM a -> STM b

liftA2 :: (a -> b -> c) -> STM a -> STM b -> STM c

(*>) :: STM a -> STM b -> STM b

(<*) :: STM a -> STM b -> STM a

Alternative STM

Since: base-4.8.0.0

Defined in GHC.Conc.Sync

Methods

empty :: STM a

(<|>) :: STM a -> STM a -> STM a

some :: STM a -> STM [a]

many :: STM a -> STM [a]

MonadPlus STM

Since: base-4.3.0.0

Defined in GHC.Conc.Sync

Methods

mzero :: STM a

mplus :: STM a -> STM a -> STM a

SplitM STM (TArray# e) e

Defined in SDP.Prim.TArray

Methods

takeM :: Int -> TArray# e -> STM (TArray# e)

dropM :: Int -> TArray# e -> STM (TArray# e)

keepM :: Int -> TArray# e -> STM (TArray# e)

sansM :: Int -> TArray# e -> STM (TArray# e)

splitM :: Int -> TArray# e -> STM (TArray# e, TArray# e)

divideM :: Int -> TArray# e -> STM (TArray# e, TArray# e)

splitsM :: Foldable f => f Int -> TArray# e -> STM [TArray# e]

dividesM :: Foldable f => f Int -> TArray# e -> STM [TArray# e]

partsM :: Foldable f => f Int -> TArray# e -> STM [TArray# e]

chunksM :: Int -> TArray# e -> STM [TArray# e]

eachM :: Int -> TArray# e -> STM (TArray# e)

prefixM :: (e -> Bool) -> TArray# e -> STM Int

suffixM :: (e -> Bool) -> TArray# e -> STM Int

mprefix :: (e -> STM Bool) -> TArray# e -> STM Int

msuffix :: (e -> STM Bool) -> TArray# e -> STM Int

LinearM STM (TArray# e) e

Defined in SDP.Prim.TArray

Methods

newNull :: STM (TArray# e)

nowNull :: TArray# e -> STM Bool

singleM :: e -> STM (TArray# e)

getHead :: TArray# e -> STM e

getLast :: TArray# e -> STM e

prepend :: e -> TArray# e -> STM (TArray# e)

append :: TArray# e -> e -> STM (TArray# e)

newLinear :: [e] -> STM (TArray# e)

newLinearN :: Int -> [e] -> STM (TArray# e)

fromFoldableM :: Foldable f => f e -> STM (TArray# e)

getLeft :: TArray# e -> STM [e]

getRight :: TArray# e -> STM [e]

(!#>) :: TArray# e -> Int -> STM e

writeM :: TArray# e -> Int -> e -> STM ()

copied :: TArray# e -> STM (TArray# e)

copied' :: TArray# e -> Int -> Int -> STM (TArray# e)

reversed :: TArray# e -> STM (TArray# e)

merged :: Foldable f => f (TArray# e) -> STM (TArray# e)

filled :: Int -> e -> STM (TArray# e)

copyTo :: TArray# e -> Int -> TArray# e -> Int -> Int -> STM ()

ofoldrM :: (Int -> e -> r -> STM r) -> r -> TArray# e -> STM r

ofoldlM :: (Int -> r -> e -> STM r) -> r -> TArray# e -> STM r

ofoldrM' :: (Int -> e -> r -> STM r) -> r -> TArray# e -> STM r

ofoldlM' :: (Int -> r -> e -> STM r) -> r -> TArray# e -> STM r

foldrM :: (e -> r -> STM r) -> r -> TArray# e -> STM r

foldlM :: (r -> e -> STM r) -> r -> TArray# e -> STM r

foldrM' :: (e -> r -> STM r) -> r -> TArray# e -> STM r

foldlM' :: (r -> e -> STM r) -> r -> TArray# e -> STM r

swapM :: TArray# e -> Int -> Int -> STM ()

BorderedM STM (TArray# e) Int

Defined in SDP.Prim.TArray

Methods

getBounds :: TArray# e -> STM (Int, Int)

getLower :: TArray# e -> STM Int

getUpper :: TArray# e -> STM Int

getSizeOf :: TArray# e -> STM Int

getSizesOf :: TArray# e -> STM [Int]

nowIndexIn :: TArray# e -> Int -> STM Bool

getOffsetOf :: TArray# e -> Int -> STM Int

getIndexOf :: TArray# e -> Int -> STM Int

getIndices :: TArray# e -> STM [Int]

MapM STM (TArray# e) Int e

Defined in SDP.Prim.TArray

Methods

newMap :: [(Int, e)] -> STM (TArray# e)

newMap' :: e -> [(Int, e)] -> STM (TArray# e)

getAssocs :: TArray# e -> STM [(Int, e)]

(>!) :: TArray# e -> Int -> STM e

(!>) :: TArray# e -> Int -> STM e

(!?>) :: TArray# e -> Int -> STM (Maybe e)

updateM :: TArray# e -> (Int -> e -> e) -> STM (TArray# e)

overwrite :: TArray# e -> [(Int, e)] -> STM (TArray# e)

memberM' :: TArray# e -> Int -> STM Bool

getKeys :: TArray# e -> STM [Int]

(.?) :: (e -> Bool) -> TArray# e -> STM (Maybe Int)

(*?) :: (e -> Bool) -> TArray# e -> STM [Int]

kfoldrM :: (Int -> e -> acc -> STM acc) -> acc -> TArray# e -> STM acc

kfoldlM :: (Int -> acc -> e -> STM acc) -> acc -> TArray# e -> STM acc

kfoldrM' :: (Int -> e -> acc -> STM acc) -> acc -> TArray# e -> STM acc

kfoldlM' :: (Int -> acc -> e -> STM acc) -> acc -> TArray# e -> STM acc

IndexedM STM (TArray# e) Int e

Defined in SDP.Prim.TArray

Methods

fromAssocs :: (Int, Int) -> [(Int, e)] -> STM (TArray# e)

fromAssocs' :: (Int, Int) -> e -> [(Int, e)] -> STM (TArray# e)

writeM' :: TArray# e -> Int -> e -> STM ()

swapM' :: TArray# e -> Int -> Int -> STM ()

fromIndexed' :: Indexed v' j e => v' -> STM (TArray# e)

fromIndexedM :: IndexedM STM v' j e => v' -> STM (TArray# e)

reshaped :: IndexedM STM v' j e => (Int, Int) -> v' -> (Int -> j) -> STM (TArray# e)

fromAccum :: (e -> e' -> e) -> TArray# e -> [(Int, e')] -> STM (TArray# e)

updateM' :: TArray# e -> (e -> e) -> Int -> STM ()

Freeze STM (TArray# e) (SArray# e)

Defined in SDP.Prim.TArray

Methods

freeze :: TArray# e -> STM (SArray# e)

unsafeFreeze :: TArray# e -> STM (SArray# e)

Thaw STM (SArray# e) (TArray# e)

Defined in SDP.Prim.TArray

Methods

thaw :: SArray# e -> STM (TArray# e)

unsafeThaw :: SArray# e -> STM (TArray# e)

data TVar a

Shared memory locations that support atomic memory transactions.

Instances

Eq (TVar a)

Since: base-4.8.0.0

Defined in GHC.Conc.Sync

Methods

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

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