Times -package:typst
How many times should a certain
Chunk be played?
Repeats the cycle for a fixed number of times.
times returns a stream of time value tuples with clock of 10
ms granularity. The first component of the tuple is an absolute time
reference (epoch) denoting the start of the stream and the second
component is a time relative to the reference.
>>> Stream.mapM_ (\x -> print x >> threadDelay 1000000) $ Stream.take 3 $ Stream.times
(AbsTime (TimeSpec {sec = ..., nsec = ...}),RelTime64 (NanoSecond64 ...))
(AbsTime (TimeSpec {sec = ..., nsec = ...}),RelTime64 (NanoSecond64 ...))
(AbsTime (TimeSpec {sec = ..., nsec = ...}),RelTime64 (NanoSecond64 ...))
Note: This API is not safe on 32-bit machines.
Pre-release
times returns a stream of time value tuples with clock of 10
ms granularity. The first component of the tuple is an absolute time
reference (epoch) denoting the start of the stream and the second
component is a time relative to the reference.
>>> f = Fold.drainMapM (\x -> print x >> threadDelay 1000000)
>>> Stream.fold f $ Stream.take 3 $ Stream.times
(AbsTime (TimeSpec {sec = ..., nsec = ...}),RelTime64 (NanoSecond64 ...))
(AbsTime (TimeSpec {sec = ..., nsec = ...}),RelTime64 (NanoSecond64 ...))
(AbsTime (TimeSpec {sec = ..., nsec = ...}),RelTime64 (NanoSecond64 ...))
Note: This API is not safe on 32-bit machines.
Pre-release
"x-cross" multiplication operator <math>.
Deprecated: use replicateM_ instead
Modification times of files.
The operator
* for the
Int type. (See also
-*-.)
> times
(*) :: Int -> Int -> Int
> times :$ two
(2 *) :: Int -> Int
> times :$ xx :$ yy
x * y :: Int
Creates a parent expectation that the child expectation will happen a
certain number of times. Unlike
expectN, the child expectation
can be arbitrarily complex and span multiple actions. Also unlike
expectN, each new execution will restart response sequences for
rules with more than one response.
Different occurrences of the child can be interleaved. If ambiguity
checking is disabled, progressing on an existing occurrence is
preferred over starting a new occurrence when it's ambiguous.
times a b k computes
k x y such that
x + y = a * b
x = fl(a * b)
Which is to say that
x is the floating point image of
(a
* b) and
y stores the residual error term.
This could be nicer if we had access to a hardware fused multiply-add.
The time (in milliseconds) when an event happened. This is used mostly
for ordering events and responses to events.
A 10-point proportional spaced Times Roman font.
(-adobe-times-medium-r-normal--10-100-75-75-p-54-iso8859-1)
A 24-point proportional spaced Times Roman font.
(-adobe-times-medium-r-normal--24-240-75-75-p-124-iso8859-1)