hashmap

Documentation

Index

• type Entry
• type HashMap
  • func New[V any]() *HashMap[V]
  • func (h *HashMap[V]) Clear()
  • func (h *HashMap[V]) Get(k tla.TLAValue) (V, bool)
  • func (h *HashMap[V]) Keys() []tla.TLAValue
  • func (h *HashMap[V]) Set(k tla.TLAValue, v V)

Types

type Entry

type Entry[V any] struct {
	Key   tla.TLAValue
	Value V
}

type HashMap

type HashMap[V any] struct {
	// contains filtered or unexported fields
}

func New

func New[V any]() *HashMap[V]

func (*HashMap[V]) Clear

func (h *HashMap[V]) Clear()

func (*HashMap[V]) Get

func (h *HashMap[V]) Get(k tla.TLAValue) (V, bool)

func (*HashMap[V]) Keys

func (h *HashMap[V]) Keys() []tla.TLAValue

func (*HashMap[V]) Set

func (h *HashMap[V]) Set(k tla.TLAValue, v V)