Picture

doodle.algebra.Picture
See thePicture companion object
trait Picture[-Alg <: Algebra, A]

Represents a picture, which is a function from a tagless final algebra to some type F that represents drawing a picture with result A. Has a monad instance if F does.

Attributes

Companion
object
Source
Picture.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Picture[Alg, A]

Members list

Value members

Abstract methods

def apply(implicit algebra: Alg): Drawing[A]

Attributes

Source
Picture.scala

Concrete methods

def flatMap[B, AAlg <: Alg](f: A => Picture[AAlg, B]): Picture[AAlg, B]

Attributes

Source
Picture.scala
def widen[AAlg <: Alg]: Picture[AAlg, A]

Utility to change the Algebra of this Picture to a subtype. This is occasionally useful when you need to give type inference a hint as to what to infer.

Utility to change the Algebra of this Picture to a subtype. This is occasionally useful when you need to give type inference a hint as to what to infer.

Attributes

Source
Picture.scala