doodle-docs/doodle.algebra.generic/GenericShape

GenericShape

trait GenericShape[G[_]] extends Shape
Source:
GenericShape.scala
trait Shape
trait Algebra
class Object
trait Matchable
class Any
class Algebra
Algebra { type Drawing = [A] =>> Finalized[G, A]; }

Type members

Classlikes

trait ShapeApi

Inherited types

type Drawing[_]

The effect type that methods on this algebra produce. Represents an effect that, when run, will draw something and produce a value.

The effect type that methods on this algebra produce. Represents an effect that, when run, will draw something and produce a value.

Inherited from:
Algebra
Source:
Algebra.scala

Value members

Abstract methods

Concrete methods

def circle(diameter: Double): Finalized[G, Unit]
def rectangle(width: Double, height: Double): Finalized[G, Unit]
def triangle(width: Double, height: Double): Finalized[G, Unit]

Implicits

Inherited implicits

implicit val drawingInstance: Applicative[Drawing]
Inherited from:
Algebra
Source:
Algebra.scala