:: a -> Set a -> Set a package:rio

O(n) Prepend an element

O(log n). Insert an element in a set. If the set already contains an element equal to the given value, it is replaced with the new value.

O(log n). Delete an element from a set.

Replace all locations in the input with the same value. The default definition is fmap . const, but this may be overridden with a more efficient version. Using ApplicativeDo: 'a <$ bs' can be understood as the do expression

do bs
pure a

with an inferred Functor constraint.

O(n) Append an element

Flipped version of <$. Using ApplicativeDo: 'as $> b' can be understood as the do expression

do as
pure b

with an inferred Functor constraint.

Examples

Replace the contents of a Maybe Int with a constant String:

>>> Nothing $> "foo"
Nothing

>>> Just 90210 $> "foo"
Just "foo"

Replace the contents of an Either Int Int with a constant String, resulting in an Either Int String:

>>> Left 8675309 $> "foo"
Left 8675309

>>> Right 8675309 $> "foo"
Right "foo"

Replace each element of a list with a constant String:

>>> [1,2,3] $> "foo"
["foo","foo","foo"]

Replace the second element of a pair with a constant String:

>>> (1,2) $> "foo"
(1,"foo")