ATSLIB/libats/ML/hashtblref

This package implements hashtables where the buckets associated with keys are represented as (singly or doubly) linked lists.
  • hashtbl
  • hashtbl_type
  • hashtbl_make_nil
  • hashtbl_get_size
  • hashtbl_get_capacity
  • hashtbl_search
  • hashtbl_search_ref
  • hashtbl_insert
  • hashtbl_insert_any
  • hashtbl_takeout
  • hashtbl_takeout_all
  • hashtbl_remove
  • hashtbl_listize1

  • hashtbl

    Synopsis

    typedef
    hashtbl // introduced in [basis.sats]
    (key:t@ype, itm:t@ype) = hashtbl(key, itm)

    hashtbl_type

    Synopsis

    Synopsis for [hashtbl_type] is unavailable.

    hashtbl_make_nil

    Synopsis

    fun{
    key,itm:t0p
    } hashtbl_make_nil
      (cap: sizeGte(1)): hashtbl(key, itm)

    hashtbl_get_size

    Synopsis

    fun{}
    hashtbl_get_size
      {key,itm:t0p}(hashtbl(key, itm)): size_t

    hashtbl_get_capacity

    Synopsis

    fun{}
    hashtbl_get_capacity
      {key,itm:t0p}(hashtbl(key, itm)): sizeGte(1)

    hashtbl_search

    Synopsis

    fun{
    key,itm:t0p
    } hashtbl_search
      (hashtbl(key, itm), key): Option_vt(itm)

    hashtbl_search_ref

    Synopsis

    fun{
    key,itm:t0p
    } hashtbl_search_ref
      (tbl: hashtbl(key, itm), k: key): cPtr0(itm)

    hashtbl_insert

    Synopsis

    fun{
    key,itm:t0p
    } hashtbl_insert
      (hashtbl(key, itm), key, itm): Option_vt(itm)

    hashtbl_insert_any

    Synopsis

    fun{
    key,itm:t0p
    } hashtbl_insert_any(hashtbl(key, itm), key, itm): void

    hashtbl_takeout

    Synopsis

    fun{
    key,itm:t0p
    } hashtbl_takeout
      (kxs: hashtbl(key, itm), k0: key): Option_vt(itm)

    hashtbl_takeout_all

    Synopsis

    fun{
    key,itm:t0p
    } hashtbl_takeout_all
      (kxs: hashtbl(key, itm)): list0 @(key, itm)

    hashtbl_remove

    Synopsis

    fun{
    key,itm:t0p
    } hashtbl_remove
      (kxs: hashtbl(key, itm), key): bool

    hashtbl_listize1

    Synopsis

    fun{
    key,itm:t0p
    } hashtbl_listize1(hashtbl(key, itm)): list0 @(key, itm)

    This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi. SourceForge.net Logo