MingaEditor.Renderer.ReceiptProjection (Minga v0.1.0)

Pure projection of an accepted renderer receipt onto Editor-owned values.

Correlation and shell-identity acceptance stay at the root transition. This module projects only the already-accepted layout, focus, click-region, and window observations through their focused value owners.

Summary

Types

result()

Projected root values produced by one accepted receipt.

Functions

project(workspace, runtime, render, receipt, correlation)

Projects one accepted receipt through workspace, shell, and render owners.

Types

result()

@type result() ::
  {MingaEditor.Session.State.t(), MingaEditor.Shell.Runtime.t(),
   MingaEditor.State.Render.t()}

Projected root values produced by one accepted receipt.

Functions

project(workspace, runtime, render, receipt, correlation)

@spec project(
  MingaEditor.Session.State.t(),
  MingaEditor.Shell.Runtime.t(),
  MingaEditor.State.Render.t(),
  MingaEditor.Renderer.RenderReceipt.t(),
  MingaEditor.State.RenderCorrelation.t()
) :: result()

Projects one accepted receipt through workspace, shell, and render owners.