graft

dev.constructive.eo.data.Affine.graft
object graft extends Graft[Affine]

Graft[Affine] — the build-channel injection vocabulary, reading Affine's arms on its build seam: Miss is the arm where the engine does not call the coalgebra for the slot (an apo graft places the payload by reference; a futu unroll expands a prebuilt layer — "finished"), Hit the keep-going arm (focus alongside its one-layer leftover context). This is the decoration vocabulary the recursion-scheme zoo's build-side citizens (apo's scatter, futu's unroll) construct and consume; the payload meaning of done is pinned per optic value via the existential X (Fst[X]), not here.

Attributes

Source
Affine.scala
Graph
Supertypes
trait Graft[Affine]
class Object
trait Matchable
class Any
Self type
graft.type

Members list

Value members

Concrete methods

def done[X, B](fst: Fst[X]): Affine[X, B]

Inject an already-finished payload — no further building for this slot.

Inject an already-finished payload — no further building for this slot.

Attributes

Source
Affine.scala
def step[X, B](snd: Snd[X], b: B): Affine[X, B]

Inject a focus b alongside its leftover context — keep building.

Inject a focus b alongside its leftover context — keep building.

Attributes

Source
Affine.scala