GenericPath

doodle.algebra.generic.GenericPath
trait GenericPath[G[_]] extends Path

Attributes

Source
GenericPath.scala
Graph
Supertypes
trait Path
trait Algebra
class Object
trait Matchable
class Any
Known subtypes
trait Path
trait ReifiedPath
class Algebra
trait Path
trait BaseAlgebra
class JvmAlgebra
Show all
Self type
Algebra { type Drawing = [A] =>> Finalized[G, A]; }

Members list

Type members

Classlikes

trait PathApi

Attributes

Source
GenericPath.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object PathApi
object PathApi
object PathApi

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.

Attributes

Inherited from:
Algebra
Source
Algebra.scala

Value members

Abstract methods

Attributes

Source
GenericPath.scala

Concrete methods

Attributes

Source
GenericPath.scala

Attributes

Source
GenericPath.scala

Inherited methods

Attributes

Inherited from:
Path
Source
Path.scala

Create an equilateral triangle with the given side length.

Create an equilateral triangle with the given side length.

Attributes

Inherited from:
Path
Source
Path.scala

Attributes

Inherited from:
Path
Source
Path.scala

Attributes

Inherited from:
Path
Source
Path.scala

Attributes

Inherited from:
Path
Source
Path.scala

Attributes

Inherited from:
Path
Source
Path.scala

Implicits

Inherited implicits

implicit val drawingInstance: Monad[Drawing]

Attributes

Inherited from:
Algebra
Source
Algebra.scala