Muldis::D::Core::Collective - Muldis D generic collective operators
This document is Muldis::D::Core::Collective version 0.148.0.
This document is part of the Muldis D language specification, whose root document is Muldis::D; you should read that root document before you read this one, which provides subservient details. Moreover, you should read the Muldis::D::Core document before this current document, as that forms its own tree beneath a root document branch.
This document describes essentially all of the core Muldis D generic operators that simple homogeneous collection types, that are more specific than relations in general, would have.
This documentation is pending.
function has_member (Bool <-- coll@ : Collective,
value : Universal) {...}
This function results in Bool:True iff its value argument matches a member of the simple homogeneous collection value that is its coll argument,
and Bool:False otherwise.
Note that this operation is also known as ∋ or has.
function has_not_member (Bool <-- coll@ : Collective,
value : Universal) {...}
This function is exactly the same as sys.std.Core.Collective.has_member except that it results in the opposite boolean value when given the same arguments.
Note that this operation is also known as ∌ or !has or not-has.
function value_is_member (Bool <-- value : Universal,
coll@ : Collective) {...}
This function is an alias for sys.std.Core.Collective.has_member.
This function results in Bool:True iff its value argument matches a member of the simple homogeneous collection value that is its coll argument,
and Bool:False otherwise.
Note that this operation is also known as ∈ or in.
function value_is_not_member (Bool <-- value : Universal,
coll@ : Collective) {...}
This function is an alias for sys.std.Core.Collective.has_not_member.
This function is exactly the same as sys.std.Core.Collective.value_is_member except that it results in the opposite boolean value when given the same arguments.
Note that this operation is also known as ∉ or !in or not-in.
Go to Muldis::D for the majority of distribution-internal references, and Muldis::D::SeeAlso for the majority of distribution-external references.
Darren Duncan (darren@DarrenDuncan.net)
This file is part of the formal specification of the Muldis D language.
Muldis D is Copyright © 2002-2011, Muldis Data Systems, Inc.
See the LICENSE AND COPYRIGHT of Muldis::D for details.
The TRADEMARK POLICY in Muldis::D applies to this file too.
The ACKNOWLEDGEMENTS in Muldis::D apply to this file too.
