singleton

Construct a list from a single element.

Examples

>>> singleton True
[True]

>>> singleton [1, 2, 3]
[[1,2,3]]

>>> singleton 'c'
"c"

Construct a NonEmpty list from a single element.

O(1) Convert a Word8 into a ByteString

O(1) Convert a Char into a ByteString

O(1) Convert a Word8 into a ShortByteString

O(1) Convert a character into a Text. Performs replacement on invalid scalar values.

O(1). A Builder taking a single character, satisfying

• toLazyText (singleton c) = singleton
  c

O(1) Convert a character into a Stream Properties

unstream . singleton = singleton

A map of one element.

singleton 1 'a'        == fromList [(1, 'a')]
size (singleton 1 'a') == 1

A set of one element.

A map with a single element.

singleton 1 'a'        == fromList [(1, 'a')]
size (singleton 1 'a') == 1

A singleton sequence.

Create a singleton set.

Construct a map with a single element.

O(1) A vector with exactly one element.

Singleton Bundle

Singleton Bundle

O(1) A vector with exactly one element.

O(1) A vector with exactly one element.

O(1) A vector with exactly one element.

O(1) A vector with exactly one element.

Construct a map with a single element.

Construct a set with a single element.

>>> HashSet.singleton 1
fromList [1]