doodle.algebra
Members list
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
- Graph
- Supertypes
- Known subtypes
- trait Bitmaptrait Blendtrait Debugtrait GenericDebug[G]trait Basictrait FromGifBase64trait FromJpgBase64trait FromPngBase64trait Layouttrait GenericLayout[G]trait Pathtrait GenericPath[G]trait Shapetrait GenericShape[G]trait Sizetrait GenericSize[G]trait Styletrait GenericStyle[G]trait Texttrait GenericText[G]trait Transformtrait GenericTransform[G]
Attributes
- Companion:
- trait
- Source:
- Algebra.scala
- Graph
- 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
- Graph
- Supertypes
Attributes
- Source:
- Bitmap.scala
- Graph
- Supertypes
Constructors for Bitmap algebra
Algebra describing color blending modes.
Attributes
- Source:
- Debug.scala
- Graph
- Supertypes
- Known subtypes
- trait GenericDebug[G]trait Basic
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
- Graph
- Supertypes
Constructor for FromGifBase64 algebra
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
- Graph
- Supertypes
Constructor for FromJpgBase64 algebra
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
- Graph
- Supertypes
Constructor for FromPngBase64 algebra
Attributes
- Source:
- Layout.scala
- Graph
- Supertypes
- Known subtypes
- trait GenericLayout[G]trait Basic
Attributes
- Source:
- Path.scala
- Graph
- Supertypes
- Known subtypes
- trait GenericPath[G]trait Basic
Constructors for Path 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.
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
- Graph
- Supertypes
- Self type
Attributes
- Companion:
- trait
- Source:
- Picture.scala
- Graph
- 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
- Graph
- Supertypes
- Known subtypes
- trait GenericShape[G]trait Basic
Constructors for Shape algebra
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
- Graph
- Supertypes
- Known subtypes
- trait GenericSize[G]trait Basic
Apply styling to a image.
Apply styling to a image.
Attributes
- Source:
- Style.scala
- Graph
- Supertypes
- Known subtypes
- trait GenericStyle[G]trait Basic
Algebra for creating and styling text.
Algebra for creating and styling text.
Attributes
- Source:
- Text.scala
- Graph
- Supertypes
- Known subtypes
- trait GenericText[G]trait Basic
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.
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
- Graph
- Supertypes
Attributes
- Source:
- Transform.scala
- Graph
- Supertypes
- Known subtypes
- trait GenericTransform[G]trait Basic