mirror of
https://github.com/nim-lang/Nim.git
synced 2025-12-29 09:24:36 +00:00
64 lines
2.0 KiB
Nim
64 lines
2.0 KiB
Nim
#
|
|
#
|
|
# The Nim Compiler
|
|
# (c) Copyright 2020 Nim Contributors
|
|
#
|
|
# See the file "copying.txt", included in this
|
|
# distribution, for details about the copyright.
|
|
#
|
|
|
|
## This module adds functionality for the built-in `set` type.
|
|
##
|
|
## See also
|
|
## ========
|
|
## * `std/packedsets <packedsets.html>`_
|
|
## * `std/sets <sets.html>`_
|
|
|
|
import std/[typetraits, macros]
|
|
|
|
#[
|
|
type SetElement* = char|byte|bool|int16|uint16|enum|uint8|int8
|
|
## The allowed types of a built-in set.
|
|
]#
|
|
|
|
template toSet*(iter: untyped): untyped =
|
|
## Returns a built-in set from the elements of the iterable `iter`.
|
|
runnableExamples:
|
|
assert "helloWorld".toSet == {'W', 'd', 'e', 'h', 'l', 'o', 'r'}
|
|
assert toSet([10u16, 20, 30]) == {10u16, 20, 30}
|
|
assert [30u8, 100, 10].toSet == {10u8, 30, 100}
|
|
assert toSet(@[1321i16, 321, 90]) == {90i16, 321, 1321}
|
|
assert toSet([false]) == {false}
|
|
assert toSet(0u8..10) == {0u8..10}
|
|
|
|
var result: set[elementType(iter)]
|
|
for x in iter:
|
|
incl(result, x)
|
|
result
|
|
|
|
macro enmRange(enm: typed): untyped = result = newNimNode(nnkCurly).add(enm.getType[1][1..^1])
|
|
|
|
# proc fullSet*(T: typedesc): set[T] {.inline.} = # xxx would give: Error: ordinal type expected
|
|
proc fullSet*[T](U: typedesc[T]): set[T] {.inline.} =
|
|
## Returns a set containing all elements in `U`.
|
|
runnableExamples:
|
|
assert bool.fullSet == {true, false}
|
|
type A = range[1..3]
|
|
assert A.fullSet == {1.A, 2, 3}
|
|
assert int8.fullSet.len == 256
|
|
when T is Ordinal:
|
|
{T.low..T.high}
|
|
else: # Hole filled enum
|
|
enmRange(T)
|
|
|
|
proc complement*[T](s: set[T]): set[T] {.inline.} =
|
|
## Returns the set complement of `a`.
|
|
runnableExamples:
|
|
type Colors = enum
|
|
red, green = 3, blue
|
|
assert complement({red, blue}) == {green}
|
|
assert complement({red, green, blue}).card == 0
|
|
assert complement({range[0..10](0), 1, 2, 3}) == {range[0..10](4), 5, 6, 7, 8, 9, 10}
|
|
assert complement({'0'..'9'}) == {0.char..255.char} - {'0'..'9'}
|
|
fullSet(T) - s
|