Coattr

dev.constructive.eo.schemes.zoo.Coattr
See theCoattr companion enum
object Coattr

Attributes

Companion
enum
Source
Coattr.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Coattr.type

Members list

Type members

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements.

The names of the product elements.

Attributes

Inherited from:
Mirror
Source
Mirror.scala
type MirroredLabel <: String

The name of the type.

The name of the type.

Attributes

Inherited from:
Mirror
Source
Mirror.scala

Value members

Concrete methods

def expand[F[_], A](coalg: A => F[Coattr[F, A]]): Coattr[F, A] => F[Coattr[F, A]]

The futumorphic expand step shared by futu / chrono / codyna / metaChrono: turn a coalgebra A => F[Coattr[F, A]] into the engine's layer producer over Coattr — Pure calls the coalgebra, Roll unrolls a prebuilt layer with no coalgebra call.

The futumorphic expand step shared by futu / chrono / codyna / metaChrono: turn a coalgebra A => F[Coattr[F, A]] into the engine's layer producer over Coattr — Pure calls the coalgebra, Roll unrolls a prebuilt layer with no coalgebra call.

Attributes

Source
Coattr.scala
def expandM[M[_], F[_], A, R](coalg: A => M[F[Coattr[F, A]]])(using M: Monad[M]): Coattr[F, A] => M[Either[R, F[Coattr[F, A]]]]

The effectful expand step shared by futuM / chronoM — the M-lifted expand worn in the Or-shape Machines.foldLayeredM consumes (always Right; futu never grafts). Pure runs the effectful coalgebra, Roll unrolls a prebuilt layer purely (M.pure).

The effectful expand step shared by futuM / chronoM — the M-lifted expand worn in the Or-shape Machines.foldLayeredM consumes (always Right; futu never grafts). Pure runs the effectful coalgebra, Roll unrolls a prebuilt layer purely (M.pure).

Attributes

Source
Coattr.scala