Pure

dev.constructive.eo.schemes.zoo.Coattr.Pure
final case class Pure[F[_], A](a: A)

A seed — the engine calls the coalgebra on it.

Attributes

Source
Coattr.scala

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

An iterator over the names of all the elements of this product.

An iterator over the names of all the elements of this product.

Attributes

Inherited from:
Product
Source
Product.scala
def productIterator: Iterator[Any]

An iterator over all the elements of this product.

An iterator over all the elements of this product.

Attributes

Returns

in the default implementation, an Iterator[Any]

Inherited from:
Product
Source
Product.scala