MetaChrono

dev.constructive.eo.schemes.zoo.MetaChrono
See theMetaChrono companion class
object MetaChrono

Attributes

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

Members list

Value members

Concrete methods

def apply[F[_], S, A, G[_], T](algebra: F[Attr[F, A]] => A, coalg: A => G[Coattr[G, A]])(using F: Traverse[F], P: Project[F, S], G: Traverse[G], E: Embed[G, T]): MetaChrono[S, A, T]

The course-of-value fold → multi-layer unfold read S => T. Does not fuse — keeps both Basises (Project[F, S], Embed[G, T]). Stack-safe (two passes).

The course-of-value fold → multi-layer unfold read S => T. Does not fuse — keeps both Basises (Project[F, S], Embed[G, T]). Stack-safe (two passes).

Attributes

Source
MetaChrono.scala