A small typed slot map with opaque handles and reusable slots for MoonBit.

slotmap

arena

handles

free-list

collection

moon add Yoorkin/slotmap@0.2.4

Download zip

Author

Yoorkin

Version

0.2.4

License

Apache-2.0

Repository

github.com/Yoorkin/slotmap

Last updated

25 days ago

Downloads

README

#Slotmap

A small typed slot map for MoonBit. It stores values in reusable slots and returns opaque Id handles that can be used for later reads and writes.

#Example

///|
test {
  let slots : SlotMap[Int] = SlotMap()
  let id = slots.allocate()
  slots[id] = 42
  inspect(slots[id], content="42")

  slots.free(id)
  let reused = slots.allocate()
  inspect(id == reused, content="false")
  slots[reused] = 7
  inspect(slots[reused], content="7")
}

#
Id

source

type Id derive(Compare, Eq, Hash, ToJson, @moonbitlang/core/debug.Debug
Debug, @moonbitlang/core/json.FromJson
FromJson)

#
SlotMap

source

type SlotMap[T]

#
SlotMap::SlotMap

source

fn[T] SlotMap::SlotMap() -> SlotMap[T]

#
SlotMap::allocate

source

fn[T] SlotMap::allocate(arena : SlotMap[T]) -> Id

#
SlotMap::allocate_with

source

fn[T] SlotMap::allocate_with(arena : SlotMap[T], f : (Id) -> T) -> Id

#
SlotMap::free

source

fn[T] SlotMap::free(arena : SlotMap[T], id : Id) -> Unit

#
SlotMap::get

source

fn[T] SlotMap::get(arena : SlotMap[T], id : Id) -> T?

#
SlotMap::read

source

#alias("_[_]")
fn[T] SlotMap::read(arena : SlotMap[T], id : Id) -> T

#
SlotMap::write

source

#alias("_[_]=_")
fn[T] SlotMap::write(arena : SlotMap[T], id : Id, value : T) -> Unit

Source Files

slotmap.mbt

Site source Report issue Packages Build queue Skills Statistics

slotmap

#Slotmap

#Example

#Id

#SlotMap

#SlotMap::SlotMap

#SlotMap::allocate

#SlotMap::allocate_with

#SlotMap::free

#SlotMap::get

#SlotMap::read

#SlotMap::write

Source Files

#
Id

#
SlotMap

#
SlotMap::SlotMap

#
SlotMap::allocate

#
SlotMap::allocate_with

#
SlotMap::free

#
SlotMap::get

#
SlotMap::read

#
SlotMap::write