ATSLIB/libats/hashtbl_chain

hashtbl

Synopsis

vtypedef
hashtbl
  (k:t0p, i:vt0p) = hashtbl_vtype(k, i)

hashtbl_vtype

Synopsis

absvtype
hashtbl_vtype
  (k:t@ype, i:vt@ype+) = ptr

hashtbl_search

Synopsis

fun{
key:t0p;itm:t0p
} hashtbl_search
(
  tbl: !hashtbl(key, INV(itm))
, key: key, res: &itm? >> opt (itm, b)
) : #[b:bool] bool(b)(*found*) // end of [hashtbl_search]

hashtbl_search_ref

Synopsis

fun{
key:t0p;itm:vt0p
} hashtbl_search_ref
  (tbl: !hashtbl(key, INV(itm)), key: key): cPtr0 (itm)

hashtbl_search_opt

Synopsis

fun{
key:t0p;itm:t0p
} hashtbl_search_opt
  (tbl: !hashtbl(key, INV(itm)), key: key): Option_vt(itm)

hashtbl_insert

Synopsis

fun{
key:t0p;itm:vt0p
} hashtbl_insert
(
  tbl: !hashtbl(key, INV(itm))
, key: key, x0: itm, res: &itm? >> opt (itm, b)
) : #[b:bool] bool (b) // endfun

hashtbl_insert_opt

Synopsis

fun{
key:t0p;itm:vt0p
} hashtbl_insert_opt
  (tbl: !hashtbl(key, INV(itm)), key, itm): Option_vt(itm)

hashtbl_insert_any

Synopsis

fun{
key:t0p;itm:vt0p
} hashtbl_insert_any
  (!hashtbl(key, INV(itm)), key, itm): void

hashtbl_takeout

Synopsis

fun{
key:t0p;itm:vt0p
} hashtbl_takeout
(
  tbl: !hashtbl(key, INV(itm))
, key: key, res: &itm? >> opt (itm, b)
) : #[b:bool] bool (b) // endfun

hashtbl_takeout_opt

Synopsis

fun{
key:t0p;itm:vt0p
} hashtbl_takeout_opt
  (!hashtbl(key, INV(itm)), key): Option_vt(itm)

hashtbl_remove

Synopsis

fun{
key:t0p;itm:t0p
} hashtbl_remove
  (tbl: !hashtbl(key, INV(itm)), key: key): bool

hashtbl_reset_capacity

Synopsis

fun{
key:t0p;itm:vt0p
} hashtbl_reset_capacity
  (tbl: !hashtbl(key, INV(itm)), cap2: sizeGte(1)): bool

hashtbl_adjust_capacity

Synopsis

fun{
key:t0p;itm:vt0p
} hashtbl_adjust_capacity (!hashtbl(key, INV(itm))): bool

fprint_hashtbl

Synopsis

fun{
key,itm:t@ype
} fprint_hashtbl
  (out: FILEref, tbl: !hashtbl(key, INV(itm))): void

fprint_hashtbl$sep

Synopsis

fun{}
fprint_hashtbl$sep (out: FILEref): void // default: fprint("; ")

fprint_hashtbl$mapto

Synopsis

fun{}
fprint_hashtbl$mapto (out: FILEref): void // default: fprint("->")

hashtbl_foreach

Synopsis

fun
{key:t0p
;itm:vt0p}
hashtbl_foreach (tbl: !hashtbl(key, INV(itm))): void

hashtbl_foreach_env

Synopsis

fun
{key:t0p
;itm:vt0p}
{env:vt0p}
hashtbl_foreach_env
  (tbl: !hashtbl(key, INV(itm)), env: &env >> _): void

hashtbl_foreach$fwork

Synopsis

fun
{key:t0p
;itm:vt0p}
{env:vt0p}
hashtbl_foreach$fwork (k: key, x: &itm >> _, &env >> _): void

hashtbl_listize

Synopsis

fun
{key:t0p
;itm:vt0p}
hashtbl_listize
  (tbl: hashtbl(key, INV(itm))):<!wrt> List0_vt @(key, itm)

hashtbl_flistize

Synopsis

fun
{key:t0p
;itm:vt0p}
{ki2:vt0p}
hashtbl_flistize
  (tbl: hashtbl(key, INV(itm))):<!wrt> List0_vt(ki2)

hashtbl_flistize$fopr

Synopsis

fun
{key:t0p
;itm:vt0p}
{ki2:vt0p}
hashtbl_flistize$fopr (k: key, x: itm): ki2

hashtbl_listize1

Synopsis

fun{
key,itm:t0p
} hashtbl_listize1
  (tbl: !hashtbl(key, INV(itm))):<!wrt> List0_vt @(key, itm)

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