Add AtomicMap
#4424
Add AtomicMap
#4424
Conversation
BalmungSan
force-pushed
the
add-atomic-map
branch
3 times, most recently
from
488f0c7 to
81a8031
Compare
| // Provides common implementations for derived methods that depend on F being an applicative. | ||
| private[effect] sealed abstract class CommonImpl[F[_], A]( | ||
| implicit F: Applicative[F] | ||
| ) extends AtomicCell[F, A] { |
There was a problem hiding this comment.
Ideally, the implementations here would be part of the trait itself.
But since the trait doesn't know that there will be an Applicative[F] in scope, we can't provide them there.
Name suggestions are welcome :)
| /** | ||
| * Allows seeing a `AtomicCell[F, Option[A]]` as a `AtomicCell[F, A]`. This is useful not only | ||
| * for ergonomic reasons, but because some implementations may save space. | ||
| * | ||
| * Setting the `default` value is the same as storing a `None` in the underlying `AtomicCell`. | ||
| */ | ||
| def defaultedAtomicCell[F[_], A]( |
There was a problem hiding this comment.
Inspired by MapRef.defaultedRef
| ): AtomicCellOptionOps[F, A] = | ||
| new AtomicCellOptionOps(atomicCell) | ||
|
|
||
| final class AtomicCellOptionOps[F[_], A] private[effect] ( |
There was a problem hiding this comment.
I am not sure how useful these extensions are, but it felt good to have them for completeness of the API.
| new AtomicCell.ConcurrentImpl( | ||
| ref = valuesMapRef(key), | ||
| lock = keyedMutex.lock(key) | ||
| ) |
There was a problem hiding this comment.
We get the implementation by free thanks to the shapes of KeyedMutex and MapRef.
And, since the default implementation for the MapRef when F is actually a Sync uses a ConcurrentHashMap, this should be pretty efficient under the hood.
| implicit F: Applicative[F] | ||
| ) extends AtomicMap[F, K, V] { | ||
| override def apply(key: K): AtomicCell[F, V] = | ||
| AtomicCell.defaultedAtomicCell(atomicCell = atomicMap(key), default) |
There was a problem hiding this comment.
Also delegates to the AtomicCell implementation.
| ): AtomicMapOptionOps[F, K, V] = | ||
| new AtomicMapOptionOps(atomicMap) | ||
|
|
||
| final class AtomicMapOptionOps[F[_], K, V] private[effect] ( |
There was a problem hiding this comment.
The delegation here requires a little bit more boilerplate.
BalmungSan
force-pushed
the
add-atomic-map
branch
from
81a8031 to
7979479
Compare
BalmungSan
force-pushed
the
add-atomic-map
branch
from
7979479 to
33ac93d
Compare
On top of #4065
Provides a parallel of
MapRefforAtomicCell, theAtomicMap.It also includes some nice improvements for
AtomicCell, we may move these to its own PR if you prefer.