ck/set▲toc

Integer set

.

type setck/set/set: V

Sets of integers. Duplicates are omitted.

fun empty(): setck/set/set: V

Create an empty set.

fun erase( t : setck/set/set: V, v : intstd/core/types/int: V ) : setck/set/set: V

Remove an element from a set. Do nothing if the given value does not exist.

fun foreach( t : setck/set/set: V, action : (intstd/core/types/int: V) -> e types/() ) : e types/()

Iterate over elements in ascending order.

fun insert( t : setck/set/set: V, v : intstd/core/types/int: V ) : setck/set/set: V

Add a value to a set. Do nothing if the given value already exists.

fun is-empty( t : setck/set/set: V ) : boolstd/core/types/bool: V

Check whether a set is empty.

fun max( t : setck/set/set: V ) : maybestd/core/types/maybe: V -> V<intstd/core/types/int: V>

Return the maximum element of a set.

fun mem( t : setck/set/set: V, v : intstd/core/types/int: V ) : boolstd/core/types/bool: V

Check whether a value belongs to a set.

fun min( t : setck/set/set: V ) : maybestd/core/types/maybe: V -> V<intstd/core/types/int: V>

Return the minimum element of a set.

fun singleton( v : intstd/core/types/int: V ) : setck/set/set: V

Create a set with a single element.

private import std/core/typesstd/core/types, std/core/hndstd/core/hnd, std/corestd/core