doodle.algebra
Type members
Classlikes
Base type for algebras that produce results in some effect type F. This type serves to make sure algebras are internally consistent. E.g. they all produce an effect with the same type.
Base type for algebras that produce results in some effect type F. This type serves to make sure algebras are internally consistent. E.g. they all produce an effect with the same type.
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.
- Companion
- object
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.
Get information about the size of the bounding box enclosing an picture.
Get information about the size of the bounding box enclosing an picture.
Algebra that represents converting from the Input type to a F[Unit] (that in turn can be wrapped in a Picture). This can be used to represent, for example, creating a picture from a bitmap in a base64 encoded string.
Algebra that represents converting from the Input type to a F[Unit] (that in turn can be wrapped in a Picture). This can be used to represent, for example, creating a picture from a bitmap in a base64 encoded string.