interact/doodle.interact.syntax/AnimationRendererSyntax/AnimateStreamOps

AnimateStreamOps

implicit class AnimateStreamOps[Alg <: Algebra, F[_], A](frames: Stream[IO, Picture[Alg, A]])
Source:
AnimationRendererSyntax.scala
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, 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.

Source:
AnimationRendererSyntax.scala
def animateToIO[Frame, Canvas](frame: Frame)(implicit a: AnimationRenderer[Canvas], e: Renderer[Alg, 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.

Source:
AnimationRendererSyntax.scala
def animateWithCanvas[Canvas](canvas: Canvas, cb: Either[Throwable, A] => Unit)(implicit a: AnimationRenderer[Canvas], e: Renderer[Alg, _, 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.

Source:
AnimationRendererSyntax.scala
def animateWithCanvasToIO[Canvas](canvas: Canvas)(implicit a: AnimationRenderer[Canvas], e: Renderer[Alg, _, 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.

Source:
AnimationRendererSyntax.scala
def withFrameRate(period: FiniteDuration): Stream[IO, Picture[Alg, 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.

Source:
AnimationRendererSyntax.scala