doodle.algebra
Members list
Packages
Type members
Classlikes
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:
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 Applicative
Attributes
- Companion
- object
- Source
- Algebra.scala
- Supertypes
- Known subtypes
-
trait Bitmaptrait ReifiedBitmapclass Algebratrait Blendtrait Debugtrait GenericDebug[G]trait Basictrait FromBufferedImagetrait Java2dFromBufferedImagetrait FromGifBase64trait Java2dFromBase64trait FromJpgBase64trait FromPngBase64trait Layouttrait GenericLayout[G]trait Pathtrait GenericPath[G]trait ReifiedPathtrait Shapetrait GenericShape[G]trait ReifiedShapetrait Sizetrait GenericSize[G]trait Styletrait GenericStyle[G]trait Texttrait GenericText[G]trait ReifiedTexttrait Transformtrait GenericTransform[G]trait MouseOverShow all
Attributes
- Companion
- trait
- Source
- Algebra.scala
- Supertypes
- Self type
-
Algebra.type
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.
Attributes
- Source
- BaseConstructor.scala
- Supertypes
- Known subtypes
-
object Picture.type
Attributes
- Source
- Bitmap.scala
- Supertypes
- Known subtypes
-
trait ReifiedBitmapclass Algebra
Algebra describing color blending modes.
Attributes
- Source
- Debug.scala
- Supertypes
- Known subtypes
Algebra for converting a BufferedImage to a picture
Algebra for converting a BufferedImage to a picture
Attributes
- Source
- FromBufferedImage.scala
- Supertypes
- Known subtypes
-
trait Java2dFromBufferedImageclass Algebra
Constructor for FromBufferedImage algebra
Constructor for FromBufferedImage algebra
Attributes
- Source
- FromBufferedImage.scala
- Supertypes
- Self type
-
Algebra indicating a Picture can be created from a base 64 encoded bitmap in Gif format.
Algebra indicating a Picture can be created from a base 64 encoded bitmap in Gif format.
Attributes
- Source
- FromBase64.scala
- Supertypes
- Known subtypes
-
trait Java2dFromBase64class Algebra
Constructor for FromGifBase64 algebra
Constructor for FromGifBase64 algebra
Attributes
- Source
- FromBase64.scala
- Supertypes
- Known subtypes
-
object Picture.type
- Self type
-
Algebra indicating a Picture can be created from a base 64 encoded bitmap in JPG format.
Algebra indicating a Picture can be created from a base 64 encoded bitmap in JPG format.
Attributes
- Source
- FromBase64.scala
- Supertypes
- Known subtypes
-
trait Java2dFromBase64class Algebra
Constructor for FromJpgBase64 algebra
Constructor for FromJpgBase64 algebra
Attributes
- Source
- FromBase64.scala
- Supertypes
- Known subtypes
-
object Picture.type
- Self type
-
Algebra indicating a Picture can be created from a base 64 encoded bitmap in PNG format.
Algebra indicating a Picture can be created from a base 64 encoded bitmap in PNG format.
Attributes
- Source
- FromBase64.scala
- Supertypes
- Known subtypes
-
trait Java2dFromBase64class Algebra
Constructor for FromPngBase64 algebra
Constructor for FromPngBase64 algebra
Attributes
- Source
- FromBase64.scala
- Supertypes
- Known subtypes
-
object Picture.type
- Self type
-
Attributes
- Source
- Layout.scala
- Supertypes
- Known subtypes
Attributes
- Source
- Path.scala
- Supertypes
- Known subtypes
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.
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.
Attributes
- Companion
- object
- Source
- Picture.scala
- Supertypes
- Self type
-
Attributes
- Companion
- trait
- Source
- Picture.scala
- Supertypes
- Self type
-
Picture.type
Higher level shape primitives. These draw common geometric shapes with the center of the shape the origin of the bounding box.
Higher level shape primitives. These draw common geometric shapes with the center of the shape the origin of the bounding box.
Attributes
- Source
- Shape.scala
- Supertypes
- Known subtypes
Constructors for Shape algebra
Constructors for Shape algebra
Attributes
- Source
- Shape.scala
- Supertypes
- Known subtypes
-
object Picture.type
- Self type
-
Get information about the size of the bounding box enclosing an picture.
Get information about the size of the bounding box enclosing an picture.
Attributes
- Source
- Size.scala
- Supertypes
- Known subtypes
Apply styling to a image.
Algebra for creating and styling text.
Constructors for Text algebra
Constructors for Text algebra
Attributes
- Source
- Text.scala
- Supertypes
- Known subtypes
-
object Picture.type
- Self type
-
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.
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.
Attributes
- Source
- ToPicture.scala
- Supertypes
Attributes
- Source
- Transform.scala
- Supertypes
- Known subtypes