Class Canvas

Hierarchy

Cell<V>
- Canvas (View Summary)

Index

Accessors

Constructors

Methods

blur brighterThan brightness chroma crop derive downsample flipH grayscale invert lens meanColor merge peek spring coerce derive is lens pin

Properties

_t name value traits

Accessors

dimensions

get dimensions(): Vec
Dimensions (w, h) as a read-only Vec.

Returns Vec
- Defined in src/core/values/canvas.ts:522

Constructors

constructor

new Canvas(v?: Raster): Canvas
Parameters
- v: Raster = ...
Returns Canvas
Overrides Cell.constructor
- Defined in src/core/values/canvas.ts:193

Methods

blur

blur(radius: Val<number>): this
Gaussian blur (reactive radius). The backward pass runs an iterated Richardson–Lucy deconvolution seeded from the source (x ← x · H(target / H(x))), so untouched regions stay fixed. PutGet, not exact GetPut.
Parameters
- radius: Val<number>
Returns this
- Defined in src/core/values/canvas.ts:411

brighterThan

brighterThan(threshold: Val<number>): Writable<Bool>
Mean luma ≥ threshold (0–1) as a writable Bool; flipping the bit auto-exposes by iterating the gain until the mean crosses the threshold.
Parameters
- threshold: Val<number>
Returns Writable<Bool>
- Defined in src/core/values/canvas.ts:483

brightness

brightness(k: Val<number>): this
Multiply RGB by reactive k (alpha preserved). Invertible while k ≠ 0.
Parameters
- k: Val<number>
Returns this
- Defined in src/core/values/canvas.ts:223

chroma

chroma(): Writable<Canvas>
Chroma view: (r−Y, g−Y, b−Y) on a mid-grey base, complement is the luma Y. Editing it rewrites hue while keeping the original brightness.

Returns Writable<Canvas>
- Defined in src/core/values/canvas.ts:276

crop

crop(
 x: Val<number>,
 y: Val<number>,
 w: Val<number>,
 h: Val<number>,
): Writable<Canvas>
Sub-rectangle view (reactive x,y,w,h). Editing the crop composites back into the source; the surround reads straight from the parent.
Parameters
- x: Val<number>
- y: Val<number>
- w: Val<number>
- h: Val<number>
Returns Writable<Canvas>
- Defined in src/core/values/canvas.ts:308

derive

derive(this: Cell<Raster>, fn: (v: Raster) => Raster): this
Read-only same-type view: the RO dual of the endo .lens. For a cross-type view use the typed static Target.derive(src, fn).
Parameters
- this: Cell<Raster>
- fn: (v: Raster) => Raster
Returns this
Inherited from Cell.derive
- Defined in src/core/cell.ts:854

downsample

downsample(factor: number): Writable<Canvas>
Box-downsampled thumbnail (integer factor). Complement is the Laplacian residual source − up(down(source)); editing the thumbnail reconstructs full-res detail on top of the edit.
Parameters
- factor: number
Returns Writable<Canvas>
- Defined in src/core/values/canvas.ts:347

flipH

flipH(): this
Horizontal flip.

Returns this
- Defined in src/core/values/canvas.ts:210

grayscale

grayscale(): Writable<Canvas>
Grayscale (Rec.601 luma) view; the complement is the per-pixel chroma residual (r−Y, g−Y, b−Y), so editing the gray view recolours the source.

Returns Writable<Canvas>
- Defined in src/core/values/canvas.ts:243

invert

invert(): this
Per-channel invert (alpha preserved).

Returns this
- Defined in src/core/values/canvas.ts:198

lens

lens(
 this: Cell<Raster>,
 fwd: (v: Raster) => Raster,
 bwd: (target: Raster, current: Raster) => Raster,
): this
Endomorphic lens from a fwd/bwd pair (2-arg bwd reads the source, 1-arg reconstructs it), or apply optic value(s), chaining left-to-right. A chain whose every hop is T → T stays same-type (returns this); a chain that changes the value type yields a plain Cell of the final view.
Parameters
- this: Cell<Raster>
- fwd: (v: Raster) => Raster
- bwd: (target: Raster, current: Raster) => Raster
Returns this
Inherited from Cell.lens
- Defined in src/core/cell.ts:839
lens(
this: Cell<Raster>,
...optics: readonly AppliedOptic<Raster, Raster>[],
): this
Endomorphic lens from a fwd/bwd pair (2-arg bwd reads the source, 1-arg reconstructs it), or apply optic value(s), chaining left-to-right. A chain whose every hop is T → T stays same-type (returns this); a chain that changes the value type yields a plain Cell of the final view.
Parameters
- this: Cell<Raster>
- ...optics: readonly AppliedOptic<Raster, Raster>[]
Returns this
Inherited from Cell.lens
- Defined in src/core/cell.ts:840
lens<V1>(
this: Cell<Raster>,
optic: AppliedOptic<Raster, V1>,
): Writable<Cell<V1>>
Endomorphic lens from a fwd/bwd pair (2-arg bwd reads the source, 1-arg reconstructs it), or apply optic value(s), chaining left-to-right. A chain whose every hop is T → T stays same-type (returns this); a chain that changes the value type yields a plain Cell of the final view.
Type Parameters
- V1
Parameters
- this: Cell<Raster>
- optic: AppliedOptic<Raster, V1>
Returns Writable<Cell<V1>>
Inherited from Cell.lens
- Defined in src/core/cell.ts:841
lens<Os extends AnyOptics>(
this: Cell<Raster>,
...optics: Os,
): Writable<Cell<ChainResult<Raster, Os>>>
Endomorphic lens from a fwd/bwd pair (2-arg bwd reads the source, 1-arg reconstructs it), or apply optic value(s), chaining left-to-right. A chain whose every hop is T → T stays same-type (returns this); a chain that changes the value type yields a plain Cell of the final view.
Type Parameters
- Os extends AnyOptics
Parameters
- this: Cell<Raster>
- ...optics: Os
Returns Writable<Cell<ChainResult<Raster, Os>>>
Inherited from Cell.lens
- Defined in src/core/cell.ts:842

meanColor

meanColor(): Writable<Color>
Mean colour (0–1) as a writable Color; the GPU reduces, a write shifts every pixel by the delta.

Returns Writable<Color>
- Defined in src/core/values/canvas.ts:460

merge

merge(this: Cell<Raster>, fold?: MergeFold<Raster>): Cell<Raster>
Backward fan-in: forwards its parent's value unchanged; on write, folds N contributors into one value. fold defaults to last-writer-wins.
Parameters
- this: Cell<Raster>
- Optionalfold: MergeFold<Raster>
Returns Cell<Raster>
Inherited from Cell.merge
- Defined in src/core/cell.ts:860

peek

peek(): Raster
Returns Raster
Inherited from Cell.peek
- Defined in src/core/cell.ts:822

spring

spring(opts?: SpringOpts): Spring
GPU per-pixel spring driver seeded from this value's texture. The host steps it and writes current() back each frame.
Parameters
- Optionalopts: SpringOpts
Returns Spring
- Defined in src/core/values/canvas.ts:528

`Static`coerce

coerce<C extends AnyCellCtor>(
this: C,
v: Val<Inner<InstanceType<C>>>,
): InstanceType<C>
Coerce Val<Inner<Cls>> → Cls: instance → identity, RO cell → tracked derive, literal → fresh seed.
Type Parameters
- C extends AnyCellCtor
Parameters
- this: C
- v: Val<Inner<InstanceType<C>>>
Returns InstanceType<C>
Inherited from Cell.coerce
- Defined in src/core/cell.ts:945

`Static`derive

derive<C extends AnyCellCtor, P>(
 this: C,
 parent: Read,
 fn: (v: P) => Inner<InstanceType<C>>,
): InstanceType<C>
Read-only typed view. Cls.derive(parent, fn) (1-input), Cls.derive(parents, fn) (N-input), or Cls.derive(fn) (closure). Polymorphic-this: Vec.derive(...) → Vec.
Type Parameters
- C extends AnyCellCtor
- P
Parameters
- this: C
- parent: Read
- fn: (v: P) => Inner<InstanceType<C>>
Returns InstanceType<C>
Inherited from Cell.derive
- Defined in src/core/cell.ts:878
derive<C extends AnyCellCtor, P extends readonly Read<unknown>[]>(
 this: C,
 parents: P,
 fn: (vals: ReadValues) => Inner<InstanceType<C>>,
): InstanceType<C>
Read-only typed view. Cls.derive(parent, fn) (1-input), Cls.derive(parents, fn) (N-input), or Cls.derive(fn) (closure). Polymorphic-this: Vec.derive(...) → Vec.
Type Parameters
- C extends AnyCellCtor
- P extends readonly Read<unknown>[]
Parameters
- this: C
- parents: P
- fn: (vals: ReadValues) => Inner<InstanceType<C>>
Returns InstanceType<C>
Inherited from Cell.derive
- Defined in src/core/cell.ts:883
derive<C extends AnyCellCtor>(
this: C,
fn: () => Inner<InstanceType<C>>,
): InstanceType<C>
Read-only typed view. Cls.derive(parent, fn) (1-input), Cls.derive(parents, fn) (N-input), or Cls.derive(fn) (closure). Polymorphic-this: Vec.derive(...) → Vec.
Type Parameters
- C extends AnyCellCtor
Parameters
- this: C
- fn: () => Inner<InstanceType<C>>
Returns InstanceType<C>
Inherited from Cell.derive
- Defined in src/core/cell.ts:888

`Static`is

is<C extends AnyCellCtor>(this: C, v: unknown): v is InstanceType<C>
Type predicate against this class: Vec.is(x) narrows x to Vec. Inherited static; works for any subclass via polymorphic this.
Type Parameters
- C extends AnyCellCtor
Parameters
- this: C
- v: unknown
Returns v is InstanceType<C>
Inherited from Cell.is
- Defined in src/core/cell.ts:939

`Static`lens

lens<C extends AnyCellCtor, P>(
 this: C,
 parent: Read,
 fwd: (v: P) => Inner<InstanceType<C>>,
 bwd: (target: Inner<InstanceType<C>>, v: P) => P,
): Writable<InstanceType<C>>
Writable lens, typed to this class. Cls.lens(parent, fwd, bwd) for one input, Cls.lens(parents, fwd, bwd) for N (a 2-arg bwd reads the source, a 1-arg bwd reconstructs it); Cls.lens(parent(s), optic, …) applies an optic value (pure or complement-carrying), chaining left-to-right onto this class.
Type Parameters
- C extends AnyCellCtor
- P
Parameters
- this: C
- parent: Read
- fwd: (v: P) => Inner<InstanceType<C>>
- bwd: (target: Inner<InstanceType<C>>, v: P) => P
Returns Writable<InstanceType<C>>
Inherited from Cell.lens
- Defined in src/core/cell.ts:898
lens<C extends AnyCellCtor, P extends readonly Read<unknown>[]>(
 this: C,
 parents: P,
 fwd: (vals: ReadValues) => Inner<InstanceType<C>>,
 bwd: (
 target: Inner<InstanceType<C>>,
 vals: ReadValues,
 ) => BackUpdates<ReadValuesOrSkip>,
): Writable<InstanceType<C>>
Writable lens, typed to this class. Cls.lens(parent, fwd, bwd) for one input, Cls.lens(parents, fwd, bwd) for N (a 2-arg bwd reads the source, a 1-arg bwd reconstructs it); Cls.lens(parent(s), optic, …) applies an optic value (pure or complement-carrying), chaining left-to-right onto this class.
Type Parameters
- C extends AnyCellCtor
- P extends readonly Read<unknown>[]
Parameters
- this: C
- parents: P
- fwd: (vals: ReadValues) => Inner<InstanceType<C>>
- bwd: (
 target: Inner<InstanceType<C>>,
 vals: ReadValues,
 ) => BackUpdates<ReadValuesOrSkip>
Returns Writable<InstanceType<C>>
Inherited from Cell.lens
- Defined in src/core/cell.ts:904
lens<C extends AnyCellCtor, P>(
 this: C,
 parent: Read,
 optic: AppliedOptic<P, Inner<InstanceType<C>>>,
): Writable<InstanceType<C>>
Writable lens, typed to this class. Cls.lens(parent, fwd, bwd) for one input, Cls.lens(parents, fwd, bwd) for N (a 2-arg bwd reads the source, a 1-arg bwd reconstructs it); Cls.lens(parent(s), optic, …) applies an optic value (pure or complement-carrying), chaining left-to-right onto this class.
Type Parameters
- C extends AnyCellCtor
- P
Parameters
- this: C
- parent: Read
- optic: AppliedOptic<P, Inner<InstanceType<C>>>
Returns Writable<InstanceType<C>>
Inherited from Cell.lens
- Defined in src/core/cell.ts:910
lens<C extends AnyCellCtor, P extends readonly Read<unknown>[]>(
 this: C,
 parents: P,
 optic: AppliedOptic<ReadValues, Inner<InstanceType<C>>>,
): Writable<InstanceType<C>>
Writable lens, typed to this class. Cls.lens(parent, fwd, bwd) for one input, Cls.lens(parents, fwd, bwd) for N (a 2-arg bwd reads the source, a 1-arg bwd reconstructs it); Cls.lens(parent(s), optic, …) applies an optic value (pure or complement-carrying), chaining left-to-right onto this class.
Type Parameters
- C extends AnyCellCtor
- P extends readonly Read<unknown>[]
Parameters
- this: C
- parents: P
- optic: AppliedOptic<ReadValues, Inner<InstanceType<C>>>
Returns Writable<InstanceType<C>>
Inherited from Cell.lens
- Defined in src/core/cell.ts:915
lens<C extends AnyCellCtor, P, Os extends AnyOptics>(
 this: C,
 parent: Read,
 ...optics: Os,
): ChainResult<P, Os> extends Inner<InstanceType<C>>
 ? Writable<InstanceType<C>>
 : never
Writable lens, typed to this class. Cls.lens(parent, fwd, bwd) for one input, Cls.lens(parents, fwd, bwd) for N (a 2-arg bwd reads the source, a 1-arg bwd reconstructs it); Cls.lens(parent(s), optic, …) applies an optic value (pure or complement-carrying), chaining left-to-right onto this class.
Type Parameters
- C extends AnyCellCtor
- P
- Os extends AnyOptics
Parameters
- this: C
- parent: Read
- ...optics: Os
Returns ChainResult<P, Os> extends Inner<InstanceType<C>>
? Writable<InstanceType<C>>
: never
Inherited from Cell.lens
- Defined in src/core/cell.ts:920
lens<
 C extends AnyCellCtor,
 P extends readonly Read<unknown>[],
 Os extends AnyOptics,
>(
 this: C,
 parents: P,
 ...optics: Os,
): ChainResult<ReadValues, Os> extends Inner<InstanceType<C>>
 ? Writable<InstanceType<C>>
 : never
Writable lens, typed to this class. Cls.lens(parent, fwd, bwd) for one input, Cls.lens(parents, fwd, bwd) for N (a 2-arg bwd reads the source, a 1-arg bwd reconstructs it); Cls.lens(parent(s), optic, …) applies an optic value (pure or complement-carrying), chaining left-to-right onto this class.
Type Parameters
- C extends AnyCellCtor
- P extends readonly Read<unknown>[]
- Os extends AnyOptics
Parameters
- this: C
- parents: P
- ...optics: Os
Returns ChainResult<ReadValues, Os> extends Inner<InstanceType<C>>
? Writable<InstanceType<C>>
: never
Inherited from Cell.lens
- Defined in src/core/cell.ts:925

`Static`pin

pin<C extends AnyCellCtor>(
this: C,
v: Inner<InstanceType<C>>,
): Writable<InstanceType<C>>
Writable-shaped constant: always reads v, absorbs writes (parentless sink lens), for APIs demanding bidirectionality.
Type Parameters
- C extends AnyCellCtor
Parameters
- this: C
- v: Inner<InstanceType<C>>
Returns Writable<InstanceType<C>>
Inherited from Cell.pin
- Defined in src/core/cell.ts:958

Properties

`Readonly`_t

_t: { equals: (a: Raster, b: Raster) => boolean }

name

name: string | undefined

Optional debug label (cell(0, { name })); used by errors and graph dumps.

`Readonly`value

value: Raster

`Static`traits

traits: { equals: (a: Raster, b: Raster) => boolean } = ...

Class Canvas

Hierarchy

Index

Accessors

Constructors

Methods

Properties

Accessors

dimensions

Returns Vec

Constructors

constructor

Parameters

Returns Canvas

Methods

blur

Parameters

Returns this

brighterThan

Parameters

Returns Writable<Bool>

brightness

Parameters

Returns this

chroma

Returns Writable<Canvas>

crop

Parameters

Returns Writable<Canvas>

derive

Parameters

Returns this

downsample

Parameters

Returns Writable<Canvas>

flipH

Returns this

grayscale

Returns Writable<Canvas>

invert

Returns this

lens

Parameters

Returns this

Parameters

Returns this

Type Parameters

Parameters

Returns Writable<Cell<V1>>

Type Parameters

Parameters

Returns Writable<Cell<ChainResult<Raster, Os>>>

meanColor

Returns Writable<Color>

merge

Parameters

Returns Cell<Raster>

peek

Returns Raster

spring

Parameters

Returns Spring

Staticcoerce

Type Parameters

Parameters

Returns InstanceType<C>

Staticderive

Type Parameters

Parameters

Returns InstanceType<C>

Type Parameters

Parameters

Returns InstanceType<C>

Type Parameters

Parameters

Returns InstanceType<C>

Staticis

Type Parameters

Parameters

Returns v is InstanceType<C>

`Static`coerce

`Static`derive

`Static`is

`Static`lens

Returns ChainResult<P, Os> extends Inner<InstanceType<C>>
? Writable<InstanceType<C>>
: never

Returns ChainResult<ReadValues<P>, Os> extends Inner<InstanceType<C>>
? Writable<InstanceType<C>>
: never

`Static`pin

`Readonly`_t

`Readonly`value

`Static`traits