p

doodle

# algebra

Ordering
1. Alphabetic
Visibility
1. Public
2. Protected

### Package Members

1. package generic

### Type Members

1. trait Algebra[+F[_]] extends AnyRef

Base type for algebras that produce results in some effect type F.

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.

2. trait Bitmap[F[_]] extends Algebra[F]
3. trait Blend[F[_]] extends Algebra[F]

Algebra describing color blending modes.

4. trait Debug[F[_]] extends Algebra[F]
5. trait Layout[F[_]] extends Algebra[F]
6. trait Path[F[_]] extends Algebra[F]
7. trait Picture[-Alg[x[_]] <: Algebra[x[_]], F[_], 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.

8. trait Shape[F[_]] extends Algebra[F]

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.

9. trait Size[F[_]] extends Algebra[F]

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

10. trait Style[F[_]] extends Algebra[F]

Apply styling to a image.

11. trait Text[F[_]] extends Algebra[F]

Algebra for creating and styling text.

12. trait ToPicture[F[_], Input] extends Algebra[F]

Algebra that represents converting from the Input type to a F[Unit] (that in turn can be wrapped in a 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.

13. trait Transform[F[_]] extends Algebra[F]

### Value Members

1. object Picture