2.6 The COMMON-EXTENSIONS module
one-of
Function
Summary
Returns a union type comprised of singletons formed from its arguments.
Signature
one-of object #rest more-objects => type
Arguments
- object
- An instance of
<object>. - more-objects
- Instances of
<object>.
Values
- type
- An instance of
<type>.
Library
common-extensions
Module
common-extensions
Description
Returns a union type comprised of singleton(object) and the singletons of any other objects passed with more-object.
one-of(x, y, z)
Is a type expression that is equivalent to
type-union(singleton(x), singleton(y), singleton(z))