empty -package:pretty
The identity of
<|>
empty <|> a == a
a <|> empty == a
The
Builder denoting a zero-length sequence of bytes. This
function is only exported for use in rewriting rules. Use
mempty otherwise.
An empty immutable array.
Smart constructor for
Empty.
The empty map.
empty == fromList []
size empty == 0
The empty map.
empty == fromList []
size empty == 0
Construct an empty set.
>>> HashSet.empty
fromList []
O(1). The empty Builder, satisfying
Construct the empty value for a datatype. For algebraic datatypes, the
leftmost constructor is chosen.
The empty map.
empty == fromList []
size empty == 0