FLAT_SET¶

Provides an `ordered_set` implementation which stores all the elements in a sorted `vec`.

Flat set is a good choice when elements are rarely inserted or deleted, or the size of the set is small.

6.29.1. FLAT_SET.new(...[$config={}])¶

`new` returns a new empty flat `ordered_set`.

Config method

C.order($in_order?): default = {(:X :Y) X <= Y }

Comparison of elements

$in_order? is used to compare elements. $in_order? must be a toal order which satisfies the following for all X, Y, and Z in the domain of elements.

• reflexive: in_order?(X X)

• transitive: if in_order?(X Y) && in_order?(Y Z) then in_order?(X Z)

• antisymmetric: if in_order?(X Y) && in_order?(Y X) then X is equivalent to Y

• strongly connected: in_order?(X Y) || in_order?(Y X)

Precondition

$in_order? must be a fun which takes two values and returns a `bool`.

Example: default order

:FLAT_SET.require_from('kink/container/')

:Map <- FLAT_SET.new
Map.push('foo')
Map.push('bar')
Map.push('baz')
stdout.print_line(Map.have?('foo').repr) # => true
stdout.print_line(Map.have?('FOO').repr) # => false
Map.each{(:Elem)
  stdout.print_line(Elem.repr)
}
# Output:
#   "bar"
#   "baz"
#   "foo"

Example: reversed order

:FLAT_SET.require_from('kink/container/')

:Map <- FLAT_SET.new{(:C)
  C.order{(:X :Y) X >= Y }
}
Map.push('foo')
Map.push('bar')
Map.push('baz')
Map.each{(:Elem)
  stdout.print_line(Elem.repr)
}
# Output:
#   "foo"
#   "baz"
#   "bar"

6.29.2. FLAT_SET.of(...Elems)¶

`of` makes a new flat `ordered_set` which contains the values of `Elems`. The elements are ordered by `<=` operator, or `op_le` method.

Precondition

The elements of `Elems` must be in the domain of the elements of the set.

Example

:FLAT_SET.require_from('kink/container/')

:Map <- FLAT_SET.of('foo' 'bar' 'baz')
stdout.print_line(Map.have?('foo').repr) # => true
stdout.print_line(Map.have?('FOO').repr) # => false
Map.each{(:Elem)
  stdout.print_line(Elem.repr)
}
# Output:
#   "bar"
#   "baz"
#   "foo"

6.29.3. FLAT_SET.from_each(Eacher)¶

`from_each` makes a flat `ordered_set` containing the elements of `Eacher`. The elements are ordered by `<=` operator, or `op_le` method.

Precondition

`Eacher` must implement each($consume) method, which calls $consume for each element of `Eacher`.

The elements of `Eacher` must be in the domain of the elements of the set.

Example

:FLAT_SET.require_from('kink/container/')

:Iter <- ['foo' 'bar' 'baz'].iter
:Map <- FLAT_SET.from_each(Iter)
stdout.print_line(Map.have?('foo').repr) # => true
stdout.print_line(Map.have?('FOO').repr) # => false
Map.each{(:Elem)
  stdout.print_line(Elem.repr)
}
# Output:
#   "bar"
#   "baz"
#   "foo"