append
A monomorphic version of
<> for
NonEmpty.
>>> append (1 :| []) (2 :| [3])
1 :| [2,3]
O(n) Append two ByteStrings
Concatenate two
Builders. This function is only exported for
use in rewriting rules. Use
mappend otherwise.
O(n/c) Append two ByteStrings
O(n) Appends one
Text to the other by copying both of
them into a new
Text.
O(n/c) Appends one
Text to another.
O(1). The concatenation of two Builders, an associative
operation with identity
empty, satisfying
append one bytearray to the other
append one bytearray to the other
append xs ys is a
DList obtained from the
concatenation of the elements of
xs and
ys.
<math>(
1).
append obeys the law:
toList (append xs ys) = toList xs ++ toList ys
Appends two
FilePaths. If the second path is absolute, it is
returned unchanged.
Append new entries to a
".tar" file from a directory of
files.
This is much like
create, except that all the entries are added
to the end of an existing tar file. Or if the file does not already
exists then it behaves the same as
create.
O(n) Appends one
Text to the other by copying both of
them into a new
Text. Subject to fusion.
O(n/c) Appends one
Text to another. Subject to fusion.
Append an element to the end of a
Set
Concatenate two
ShortTexts
This is a type-specialised alias of
<>.
>>> append "foo" "bar"
"foobar"
length (append t1 t2) == length t1 + length t2
Append chunks of bytes to append to a file
The chunks do not need to be aligned to line boundaries
Stream lines of
Text to append to a file
Returns a new growing vector with a new element at the end. Note that
the return value may share storage with the input value. Furthermore,
calling append twice on the same input may result in two
vectors that share the same storage.