Picture

trait Picture[-Alg <: ([x[_]] =>> Algebra[x]), F[_], 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.

Companion
object
class Object
trait Matchable
class Any

Value members

Abstract methods

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