replicate -package:Cabal -package:containers -package:bytestring -is:exact -package:text -package:hedgehog -package:memory -package:rio
replicate n x is a list of length
n with
x the value of every element. It is an instance of the more
general
genericReplicate, in which
n may be of any
integral type.
Examples
>>> replicate 0 True
[]
>>> replicate (-1) True
[]
>>> replicate 4 True
[True,True,True,True]
Produce a finite stream consisting of n copies of the given value.
Subject to fusion
Replicate a single value the given number of times.
Subject to fusion
Since 1.2.0
replicate n x is a list of length
n with
x the value of every element. It is an instance of the more
general
genericReplicate, in which
n may be of any
integral type.
>>> replicate 0 True
[]
>>> replicate (-1) True
[]
>>> replicate 4 True
[True,True,True,True]
replicate n x is a
DList of length
n with
x as the value of every
element.
<math>(
n).
replicate obeys the law:
toList (replicate n x) = replicate n x
Repeat an element several times.
replicate n x is a sequence of length
n with
x as the value of every element.
> replicate 10 a :: Text
"aaaaaaaaaa"
Replicate a
ShortText.
A repetition count smaller than 1 results in an empty string result.
>>> replicate 3 "jobs!"
"jobs!jobs!jobs!"
>>> replicate 10000 ""
""
>>> replicate 0 "nothing"
""
length (replicate n t) == max 0 n * length t
Replicate a byte n times.
Repeat the byte sequence over and over. Returns empty chunks when
given a negative repetition count.
Generate a structure with the specified length with every element set
to the item passed in. See also
genericReplicate
replicate n x is a list of length
n with
x the value of every element. It is an instance of the more
general
genericReplicate, in which
n may be of any
integral type.
>>> replicate n = Stream.take n . Stream.repeat
Generate a stream of length
n by repeating a value
n
times.
Replicate the given YiString set number of times, concatenating the
results. Also see
replicateChar.
O(n) replicate n x is a
Vector of length
n with
x the value of every element.