Interface Optic<A, B>

A lens as a first-class value, unbound from any source: get projects A→B, put writes B back into an A. Apply with cell.through(optic); build with optic / iso / atKey / compose (optic.ts). readsSource is false only for an iso, letting through bind a cheaper 1-arg backward.

interface Optic<A, B> {
    get: (a: A) => B;
    put: (b: B, a: A) => A;
    readsSource: boolean;
    through<C>(next: Optic<B, C>): Optic<A, C>;
}

Type Parameters

A
B

Index

Methods

Properties

get put readsSource

Methods

through

through<C>(next: Optic<B, C>): Optic<A, C>
Compose with a following optic (this first, then next).
Type Parameters
- C
Parameters
- next: Optic<B, C>
Returns Optic<A, C>
- Defined in src/core/cell.ts:690

Properties

`Readonly`get

get: (a: A) => B

`Readonly`put

put: (b: B, a: A) => A

`Readonly`readsSource

readsSource: boolean