Chrono

dev.constructive.eo.schemes.zoo.Chrono
See theChrono companion class
object Chrono

Attributes

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

Members list

Value members

Concrete methods

def apply[F[_], A, B](coalg: A => F[Coattr[F, A]], algebra: F[Attr[F, B]] => B)(using F: Traverse[F]): Chrono[A, B]

The fused free→cofree refold A => B, Traverse[F] only. Heads-only algebra + all-Pure coalg degenerate to Hylo. Stack-safe; retains O(n) Attr cells by nature.

The fused free→cofree refold A => B, Traverse[F] only. Heads-only algebra + all-Pure coalg degenerate to Hylo. Stack-safe; retains O(n) Attr cells by nature.

Attributes

Source
Chrono.scala