object Picture
- Companion:
- class
Value members
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
andShape
; - the effect type has a
Functor
; and - and the result type has a
Monoid
.
In this case the combine is on
, with identity empty
.