AnimateStreamOps

doodle.interact.syntax.AbstractAnimationRendererSyntax.AnimateStreamOps
implicit class AnimateStreamOps[Alg <: Algebra, A](frames: Stream[IO, Picture[Alg, A]])

This syntax is for streams producing pictures at a rate that is appropriate for animation.

Attributes

Source:
AbstractAnimationRendererSyntax.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def animate[Frame, Canvas](frame: Frame)(implicit a: AnimationRenderer[Canvas], e: Renderer[Alg, Frame, Canvas], m: Monoid[A], runtime: IORuntime): Unit

Convenience to animate a Stream of pictures on a canvas created from the given frame.

Convenience to animate a Stream of pictures on a canvas created from the given frame.

Attributes

Source:
AbstractAnimationRendererSyntax.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 at an appropriate rate for animation.

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

Attributes

Source:
AbstractAnimationRendererSyntax.scala
def animateWithCanvas[Canvas](canvas: Canvas)(implicit a: AnimationRenderer[Canvas], e: Renderer[Alg, _, Canvas], m: Monoid[A], runtime: IORuntime): Unit

Convenience to animate a Stream that is generating frames at an appropriate rate for animation onto the given canvas.

Convenience to animate a Stream that is generating frames at an appropriate rate for animation onto the given canvas.

Attributes

Source:
AbstractAnimationRendererSyntax.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.

Attributes

Source:
AbstractAnimationRendererSyntax.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.

Attributes

Source:
AbstractAnimationRendererSyntax.scala