From 0a42e65794efc8b67541576e3967c74b256e0b9d Mon Sep 17 00:00:00 2001 From: noelwelsh Date: Sat, 29 Jul 2023 14:08:55 +0000 Subject: [PATCH] deploy: 8cea10bb61f56b3b05d989310a33faffe981034b --- algebra/algebras.html | 1 + algebra/index.html | 1 + algebra/picture.html | 3 +- algebra/using.html | 1 + concepts/algebras.html | 1 + concepts/drawing-picture.html | 1 + concepts/effects.html | 1 + concepts/frame-canvas.html | 1 + concepts/index.html | 1 + concepts/picture-object.html | 1 + concepts/principles.html | 1 + concepts/syntax.html | 1 + core/index.html | 1 + development/index.html | 1 + effect/index.html | 1 + index.html | 1 + interact/animation.html | 1 + interact/index.html | 1 + main.js.map | 2 +- pictures/bounding-box.png | Bin 0 -> 2443 bytes pictures/drawing.html | 3 +- pictures/index.html | 1 + pictures/layout.html | 1 + pictures/path.html | 1 + pictures/picture-image.html | 1 + pictures/shape.html | 1 + pictures/size.html | 119 ++++++++++++++++++++++++++++++++++ pictures/style.html | 1 + pictures/transform.html | 5 +- pictures/writing.html | 1 + 30 files changed, 151 insertions(+), 5 deletions(-) create mode 100644 pictures/bounding-box.png create mode 100644 pictures/size.html diff --git a/algebra/algebras.html b/algebra/algebras.html index 4a205337..6740e986 100644 --- a/algebra/algebras.html +++ b/algebra/algebras.html @@ -41,6 +41,7 @@ + diff --git a/algebra/index.html b/algebra/index.html index 04ff9fa6..954e5d31 100644 --- a/algebra/index.html +++ b/algebra/index.html @@ -41,6 +41,7 @@ + diff --git a/algebra/picture.html b/algebra/picture.html index cf15f148..5268b010 100644 --- a/algebra/picture.html +++ b/algebra/picture.html @@ -41,6 +41,7 @@ + @@ -111,7 +112,7 @@

Converting Other Ty

Type Class Instances for Picture

There some type class instances defined for Picture.

-

Picture[Alg,*] always has an Applicative instance.

+

Picture[Alg,*] always has an Monad instance.

Picture[Alg,*] has a Monoid instance if: