ReifiedShape

trait Shape
trait Algebra
class Object
trait Matchable
class Any
class Algebra
Algebra { type Drawing <: (Drawing); }

Type members

Classlikes

object ShapeApi extends ShapeApi

Inherited classlikes

trait ShapeApi
Inherited from:
GenericShape
Source:
GenericShape.scala

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

Inherited methods

Inherited from:
GenericShape
Source:
GenericShape.scala
Inherited from:
GenericShape
Source:
GenericShape.scala
Inherited from:
GenericShape
Source:
GenericShape.scala

Implicits

Inherited implicits

Inherited from:
Algebra
Source:
Algebra.scala