core/doodle.algebra/Picture

Picture

object Picture
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[Alg <: ([x[_]] =>> Algebra[x]), F[_], A](f: Alg[F] => F[A]): Picture[Alg, F, A]

Implicits

Implicits

implicit def pictureMonadInstance[Alg <: ([x[_]] =>> Algebra[x]), F[_]](implicit m: Monad[F]): Monad[[_] =>> Picture[Alg, F, _$10]]

Picture[Alg,F,?] has a Monad instance if F does

Picture[Alg,F,?] has a Monad instance if F does

implicit def pictureMonoidInstance[Alg <: ([x[_]] =>> Layout[x] & Shape[x]), F[_], A](implicit f: Functor[F], m: Monoid[A]): Monoid[Picture[Alg, F, A]]

Picture[Alg,F,?] has a Monoid instance if:

Picture[Alg,F,?] has a Monoid instance if:

  • the algebra has Layout and Shape;
  • the effect type has a Functor; and
  • and the result type has a Monoid.

In this case the combine is on, with identity empty.