ATSLIB/libats/ML/funmap

This package implements functional associative maps based on ordered AVL-trees.

map

typedef
map(key:t0p
   ,
   itm:t0p) = map_type(key, itm)

abstype
map_type
(
  key:t@ype
, itm:t0ype+
) = ptr(*boxed*)

fun{}
funmap_nil
  {key,itm:t0p}():<> map(key, itm)

fun{}
funmap_make_nil
  {key,itm:t0p}():<> map(key, itm)

fun{
key,itm:t0p
} funmap_search
(
  map: map(key, INV(itm)), k0: key
) : Option_vt(itm) // end of [funmap_search]

fun{
key,itm:t0p
} funmap_insert
(
  &map(key, INV(itm)) >> _, key, itm
) : Option_vt(itm) // end of [funmap_insert]

fun{
key,itm:t0p
} funmap_takeout
(
  map: &map(key, INV(itm)) >> _, k0: key
) : Option_vt(itm) // end of [funmap_takeout]

fun{
key,itm:t0p
} funmap_remove
  (map: &map(key, INV(itm)) >> _, k0: key): bool

fun{
key,itm:t0p
} funmap_listize
  (map: map(key, INV(itm))): list0 @(key, itm)

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