Build an animation, optionally specifying how to construct diagrams from data
Build an animation, optionally specifying how to construct diagrams from data and frame numbers
Add more frames by applying the provided iteration function n
times
Add more frames by applying the provided iteration functions
Add more frames by applying the provided iteration function to a fixpoint (f(x) == x)
Add more frames by applying the provided iteration function to a fixpoint (f(x) == x) or a maximum number of iterations is reached
Add more frames by applying the provided iteration function while predicate
yields true
Add more frames by applying the provided iteration function while predicate
yields true,
or the maximum number of iterations is reached.
Add more frames by applying the provided iteration function n
times
Iterate on the builder itself n
times
Iterate on the builder itself
Iterate on the builder itself n
times
A builder for animations