ATSLIB/libats/ML/funset

This package implements functional sets based on ordered AVL-trees.
  • set
  • set_type
  • funset_is_member
  • funset_isnot_member
  • funset_insert
  • funset_remove
  • funset_getmax_opt
  • funset_getmin_opt
  • funset_takeoutmax_opt
  • funset_takeoutmin_opt
  • funset_union
  • funset_intersect
  • funset_diff
  • funset_symdiff
  • funset_equal
  • funset_compare
  • funset_is_subset
  • funset_is_supset
  • funset_foreach
  • funset_foreach_env
  • funset_foreach$fwork
  • funset_listize

  • 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] is [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. SourceForge.net Logo