arrow.fx.stm.internal

In some special cases it is possible to detect if a STM transaction blocks indefinitely so we can abort here.

sealed class Branch<out A>

data class Hamt<A>(val branches: TVar<Array<Branch<A>?>>)

Low level stm datastructure which can be used to efficiently implement other datastructures like Map/Set on top.

inline fun <A> STM.alterHamtWithHash(hamt: Hamt<A>, hash: Int, test: (A) -> Boolean, fn: (A?) -> A?): Boolean

inline fun <A> STM.lookupHamtWithHash(hmt: Hamt<A>, hash: Int, test: (A) -> Boolean): A?

fun <A> STM.pair(depth: Int, hash1: Int, branch1: Branch<A>, hash2: Int, branch2: Branch<A>): Hamt<A>

const val ARR_SIZE: Int = 32

const val DEPTH_STEP: Int = 5

const val MASK: Int

Package-level declarations