Coattr

dev.constructive.eo.schemes.zoo.Coattr
See theCoattr companion object
enum Coattr[F[_], A]

Free-without-suspension: a futumorphism's coalgebra answers each slot with either a seed still to expand (Coattr.Pure) or an already-known layer to unroll without consulting the coalgebra again (Coattr.Roll) — the multi-layer-per-step channel.

Type parameters

A

the seed type

F

the pattern functor

Attributes

Companion
object
Source
Coattr.scala
Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Type members

Enum entries

final case class Pure[F[_], A](a: A)

A seed — the engine calls the coalgebra on it.

A seed — the engine calls the coalgebra on it.

Attributes

Source
Coattr.scala
final case class Roll[F[_], A](layer: F[Coattr[F, A]])

A prebuilt layer — unrolled directly, no coalgebra call for this layer.

A prebuilt layer — unrolled directly, no coalgebra call for this layer.

Attributes

Source
Coattr.scala