php-dextrin

DXNSortedSet

in package

• Application

implements DXNValueInterface

DXN `sorted-set` (`@sorted-set @{...}`) -- sorted and deduplicated at every construction site, same invariant enforced in the Elixir and JS ports. Cross-type ordering is implementation-defined per DXN.md; this port's fixed rank order is {@see Equality}'s own.

Table of Contents

Interfaces

DXNValueInterface

Implemented by every `DXN*` wrapper class -- the PHP analog of the `dxnType` string tag used for kind dispatch in the JS port, and of `Dextrin.Value`'s closed type union in the Elixir original. Native PHP values (`null`, `bool`, `int`, `float`, `string`, and `array` for `map`/`array`) never implement this; {@see Equality::kindOf()} handles those directly.

Constants

DXN_TYPE  : mixed = 'sorted-set'

Properties

$items  : array<int, mixed>

Methods

__construct()  : mixed

compareTo()  : int

A total order against any other DXN value, not just another instance of this class -- backs {@see DXNSortedSet}. Cross-kind ordering is implementation-defined per DXN.md; within a kind, uses the kind's own natural order where one exists, or a deterministic structural fallback where it doesn't.

dxnType()  : string

The DXN type name this value represents, e.g. "symbol", "uuid".

equals()  : bool

Structural equality, recursing into nested DXN values as needed.

fromArray()  : self

fromSet()  : self

toArray()  : array<int, mixed>

toSet()  : DXNSet

sortAndDedupe()  : array<int, mixed>