doodle.algebra

Base type for algebras that produce results in some effect type Drawing. Users of algebras should use dependent method types (or dependent function types in Scala 3) to return the Drawing type of the method they are passed:

def usingAlgebra(algebra: Algebra): algebra.Drawing = ???

All Drawing types are required to implement Monad

Base module for constructors

The intention is to assist with type inference for constructors by defining constructors that are parameterized by the Algebra and Drawing types, and instantiating those types within each backend.

Algebras that define constructors should also define a constructor mixin. See e.g. Shape for an example.

Algebra describing color blending modes.

Algebra for converting a BufferedImage to a picture

Constructor for FromBufferedImage algebra

Algebra indicating a Picture can be created from a base 64 encoded bitmap in Gif format.

Constructor for FromGifBase64 algebra

Algebra indicating a Picture can be created from a base 64 encoded bitmap in JPG format.

Constructor for FromJpgBase64 algebra

Algebra indicating a Picture can be created from a base 64 encoded bitmap in PNG format.

Constructor for FromPngBase64 algebra

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.

Higher level shape primitives. These draw common geometric shapes with the center of the shape the origin of the bounding box.

Constructors for Shape algebra

Get information about the size of the bounding box enclosing an picture.

Apply styling to a image.

Algebra for creating and styling text.

Constructors for Text algebra

Represents converting from the Input type to a Picture, and depends on the support of some Algebra to actually do the conversion. This can be used to represent, for example, creating a picture from a bitmap in a base64 encoded string.