Next: built-in time, Previous: built-in ports, Up: built-in [Contents][Index]
Type of enumeration sets as defined by R6RS.
<enum-set>
: <enum-set> type-constructor symbol-listThe constructor is make-enumeration
.
<enum-set>
: <boolean> type-predicate objThe type predicate is enum-set?
.
<enum-set>
: <boolean> equality-predicate this {es <enum-set>}The equality predicate is enum-set=?
.
<enum-set>
: <non-negative-fixnum> hash-function thisThe hash function is enum-set-hash
.
A type annotation with the following definition:
(lambda (<symbol>) => ((or <false> <non-negative-fixnum>)))
A type annotation with the following definition:
(lambda ((list-of <symbol>)) => (<enum-set>))
<enum-set>
: <enum-set> universe thisApply enum-set-universe
to the arguments and return its return value.
<enum-set>
: <enum-set-indexer> indexer thisApply enum-set-indexer
to the arguments and return its return value.
<enum-set>
: <enum-set-constructor> constructor thisApply enum-set-constructor
to the arguments and return its return value.
<enum-set>
: (list-of <symbol>) list thisApply enum-set->list
to the arguments and return its return value.
Notice that <symbol>
has a method member?
that applies enum-set-member?
to its
arguments.
<enum-set>
: <boolean> subset? this {es <enum-set>}Apply enum-set-subset?
to the arguments and return its return value.
<enum-set>
: <boolean> = this {es <enum-set>}Apply enum-set=?
to the arguments and return its return value.
<enum-set>
: <enum-set> union this {es <enum-set>}Apply enum-set-union
to the arguments and return its return value.
<enum-set>
: <enum-set> intersection this {es <enum-set>}Apply enum-set-intersection
to the arguments and return its return value.
<enum-set>
: <enum-set> difference this {es <enum-set>}Apply enum-set-difference
to the arguments and return its return value.
<enum-set>
: <enum-set> complement thisApply enum-set-complement
to the arguments and return its return value.
<enum-set>
: <enum-set> projection this {es <enum-set>}Apply enum-set-projection
to the arguments and return its return value.
Next: built-in time, Previous: built-in ports, Up: built-in [Contents][Index]