interact/doodle.interact.syntax/AnimationRendererSyntax/AnimateStreamOps

AnimateStreamOps

implicit
class AnimateStreamOps[Alg <: ([x[_]] =>> Algebra[x]), F[_], A](frames: Stream[IO, Picture[Alg, F, A]])
class Object
trait Matchable
class Any

Value members

Concrete methods

def animate[Frame, Canvas](frame: Frame, cb: Either[Throwable, A] => Unit)(implicit a: AnimationRenderer[Canvas], e: Renderer[Alg, F, Frame, Canvas], m: Monoid[A], runtime: IORuntime): Unit

Render a Stream that is generating frames an appropriate rate for animation.

Render a Stream that is generating frames an appropriate rate for animation.

def animateToIO[Frame, Canvas](frame: Frame)(implicit a: AnimationRenderer[Canvas], e: Renderer[Alg, F, Frame, Canvas], m: Monoid[A]): IO[A]

Create an effect that, when run, will render a Stream that is generating frames an appropriate rate for animation.

Create an effect that, when run, will render a Stream that is generating frames an appropriate rate for animation.

def animateWithCanvas[Canvas](canvas: Canvas, cb: Either[Throwable, A] => Unit)(implicit a: AnimationRenderer[Canvas], e: Renderer[Alg, F, _, Canvas], m: Monoid[A], runtime: IORuntime): Unit

Render a Stream that is generating frames at an appropriate rate for animation.

Render a Stream that is generating frames at an appropriate rate for animation.

def animateWithCanvasToIO[Canvas](canvas: Canvas)(implicit a: AnimationRenderer[Canvas], e: Renderer[Alg, F, _, Canvas], m: Monoid[A]): IO[A]

Create an effect that, when run, will render a Stream that is generating frames an appropriate rate for animation.

Create an effect that, when run, will render a Stream that is generating frames an appropriate rate for animation.

def withFrameRate(period: FiniteDuration): Stream[IO, Picture[Alg, F, A]]

Makes this Stream produce frames with the given period between frames. This is useful if the Stream is producing frames too quickly or slowly for the desired animation.

Makes this Stream produce frames with the given period between frames. This is useful if the Stream is producing frames too quickly or slowly for the desired animation.

A convenience derived from the metered method on Stream.