Java2dAnimationWriter

object Java2dAnimationWriter extends AnimationWriter[Algebra, Drawing, Frame, Gif]

Write an animation as an animated GIF. The GIF file format doesn't support transparency to the degree we need to faithfully render Java2d images. In particular it doesn't support semi-transparent redraw. As a result we just fill with the background color on each frame, if the background is set.

trait AnimationWriter[Algebra, Drawing, Frame, Gif]
class Object
trait Matchable
class Any

Value members

Concrete methods

def write[A](file: File, frame: Frame, frames: Stream[IO, Picture[A]])(implicit m: Monoid[A]): IO[A]

Concrete fields

val gifEncoder: IO[GifEncoder]