Redraw

trait Redraw[Canvas]

Algebra for generating a stream of events indicating when the canvas is ready to redraw. The algebra applies to a Renderer's Canvas data type instead of the F data type.

Source:
Redraw.scala
class Object
trait Matchable
class Any
object CanvasAlgebra.type

Value members

Abstract methods

def redraw(canvas: Canvas): Stream[IO, Int]

Return a stream that has an event every time the canvas is ready to redraw. The value is the approximate time in millisecond since a frame was last rendered.

Return a stream that has an event every time the canvas is ready to redraw. The value is the approximate time in millisecond since a frame was last rendered.

Source:
Redraw.scala