ATSLIB/libats/ML/funset

set

Synopsis

typedef set(a:t0p) = set_type(a)

set_type

Synopsis

abstype
set_type
(
  a:t@ype+
) = ptr(*boxed*)

funset_is_member

Synopsis

fun{a:t0p}
funset_is_member(xs: set(INV(a)), x0: a):<> bool

funset_isnot_member

Synopsis

fun{a:t0p}
funset_isnot_member(xs: set(INV(a)), x0: a):<> bool

funset_insert

Synopsis

fun{a:t0p}
funset_insert
  (xs: &set(INV(a)) >> _, x0: a): bool(*[x0] in [xs]*)

funset_remove

Synopsis

fun{a:t0p}
funset_remove
  (xs: &set(INV(a)) >> _, x0: a): bool(*[x0] in [xs]*)

funset_getmax_opt

Synopsis

fun{a:t0p}
funset_getmax_opt(xs: set(INV(a))): Option_vt(a)

funset_getmin_opt

Synopsis

fun{a:t0p}
funset_getmin_opt(xs: set(INV(a))): Option_vt(a)

funset_takeoutmax_opt

Synopsis

fun{a:t0p}
funset_takeoutmax_opt(xs: &set(INV(a)) >> _): Option_vt(a)

funset_takeoutmin_opt

Synopsis

fun{a:t0p}
funset_takeoutmin_opt(xs: &set(INV(a)) >> _): Option_vt(a)

funset_union

Synopsis

fun{a:t0p}
funset_union(xs1: set(INV(a)), xs2: set(a)):<> set(a)

funset_intersect

Synopsis

fun{a:t0p}
funset_intersect(xs1: set(INV(a)), xs2: set(a)):<> set(a)

funset_diff

Synopsis

Synopsis for [funset_diff] is unavailable.

funset_symdiff

Synopsis

fun{a:t0p}
funset_symdiff(xs1: set(INV(a)), xs2: set(a)):<> set(a)

funset_equal

Synopsis

fun{a:t0p}
funset_equal(xs1: set(INV(a)), xs2: set(a)):<> bool

funset_compare

Synopsis

fun{a:t0p}
funset_compare(xs1: set(INV(a)), xs2: set(a)):<> int

funset_is_subset

Synopsis

fun{a:t0p}
funset_is_subset(xs1: set(INV(a)), xs2: set(a)):<> bool

funset_is_supset

Synopsis

fun{a:t0p}
funset_is_supset(xs1: set(INV(a)), xs2: set(a)):<> bool

funset_foreach

Synopsis

fun{a:t0p}
funset_foreach(set: set(INV(a))): void

funset_foreach_env

Synopsis

fun
{a:t0p}
{env:vt0p}
funset_foreach_env
  (set: set(INV(a)), env: &(env) >> _): void

funset_foreach$fwork

Synopsis

fun
{a:t0p}
{env:vt0p}
funset_foreach$fwork(x: a, env: &(env) >> _): void

funset_listize

Synopsis

fun{a:t0p}
funset_listize(xs: set(INV(a))):<> list0(a)

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