package algebra
- Alphabetic
- Public
- Protected
Type Members
- trait Algebra extends AnyRef
Base type for algebras that produce results in some effect type
Drawing.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 theDrawingtype of the method they are passed:scala def usingAlgebra(algebra: Algebra): algebra.Drawing = ???All
Drawingtypes are required to implementApplicative - trait BaseConstructor extends AnyRef
Base module for constructors
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.
- trait Bitmap extends Algebra
- trait BitmapConstructor extends AnyRef
Constructors for Bitmap algebra
- trait Blend extends Algebra
Algebra describing color blending modes.
- trait Debug extends Algebra
- trait FromBufferedImage extends Algebra
Algebra for converting a BufferedImage to a picture
- trait FromBufferedImageConstructor extends AnyRef
Constructor for FromBufferedImage algebra
- trait FromGifBase64 extends Algebra
Algebra indicating a Picture can be created from a base 64 encoded bitmap in Gif format.
- trait FromGifBase64Constructor extends AnyRef
Constructor for FromGifBase64 algebra
- trait FromJpgBase64 extends Algebra
Algebra indicating a Picture can be created from a base 64 encoded bitmap in JPG format.
- trait FromJpgBase64Constructor extends AnyRef
Constructor for FromJpgBase64 algebra
- trait FromPngBase64 extends Algebra
Algebra indicating a Picture can be created from a base 64 encoded bitmap in PNG format.
- trait FromPngBase64Constructor extends AnyRef
Constructor for FromPngBase64 algebra
- trait Layout extends Algebra
- trait Path extends Algebra
- trait PathConstructor extends AnyRef
Constructors for Path algebra
- trait Picture[-Alg <: Algebra, A] extends AnyRef
Represents a picture, which is a function from a tagless final algebra to some type F that represents drawing a picture with result 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.
- trait Shape extends Algebra
Higher level shape primitives.
Higher level shape primitives. These draw common geometric shapes with the center of the shape the origin of the bounding box.
- trait ShapeConstructor extends AnyRef
Constructors for Shape algebra
- trait Size extends Algebra
Get information about the size of the bounding box enclosing an picture.
- trait Style extends Algebra
Apply styling to a image.
- trait Text extends Algebra
Algebra for creating and styling text.
- trait TextConstructor extends AnyRef
Constructors for Text algebra
- trait ToPicture[Input, Alg <: Algebra] extends AnyRef
Represents converting from the Input type to a Picture, and depends on the support of some Algebra to actually do the conversion.
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.
- trait Transform extends Algebra