Dyna

dev.constructive.eo.schemes.zoo.Dyna
See theDyna companion class
object Dyna

Attributes

Companion
class
Source
Dyna.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Dyna.type

Members list

Value members

Concrete methods

def apply[F[_], A, B](coalg: A => F[A], alg: F[Attr[F, B]] => B)(using F: Traverse[F]): Dyna[A, B]

The fused plain→cofree refold A => B, Traverse[F] only. Heads-only alg degenerates to Hylo. Stack-safe; retains O(n) Attr cells.

The fused plain→cofree refold A => B, Traverse[F] only. Heads-only alg degenerates to Hylo. Stack-safe; retains O(n) Attr cells.

Attributes

Source
Dyna.scala