Class Bool

derive

• derive(this: Cell<boolean>, fn: (v: boolean) => boolean): 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<boolean>
  • fn: (v: boolean) => boolean

  Returns this

lens

• lens(
      this: Cell<boolean>,
      fwd: (v: boolean) => boolean,
      bwd: (target: boolean, current: boolean) => boolean,
  ): this

  Endomorphic lens. A 2-arg bwd(view, current) consults the current source; a 1-arg bwd(view) reconstructs it from the view alone.

  Parameters

  • this: Cell<boolean>
  • fwd: (v: boolean) => boolean
  • bwd: (target: boolean, current: boolean) => boolean

  Returns this

merge

• merge(this: Cell<boolean>, fold?: MergeFold<boolean>): Cell<boolean>

  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<boolean>
  • Optionalfold: MergeFold<boolean>

  Returns Cell<boolean>

peek

• peek(): boolean

  Returns boolean

through

• through<B>(this: Cell<boolean>, o: Optic<boolean, B>): Writable<Cell<B>>

  Apply optic value(s) as a writable lens: c.through(o) ≡ lens(c, o.get, o.put); multiple optics compose left-to-right (c.through(a, b) = a then b). Cross-type, unlike the endomorphic instance .lens.

  Type Parameters

  • B

  Parameters

  • this: Cell<boolean>
  • o: Optic<boolean, B>

  Returns Writable<Cell<B>>

• through<B, C>(
      this: Cell<boolean>,
      o1: Optic<boolean, B>,
      o2: Optic<B, C>,
  ): Writable<Cell<C>>

  Apply optic value(s) as a writable lens: c.through(o) ≡ lens(c, o.get, o.put); multiple optics compose left-to-right (c.through(a, b) = a then b). Cross-type, unlike the endomorphic instance .lens.

  Type Parameters

  • B
  • C

  Parameters

  • this: Cell<boolean>
  • o1: Optic<boolean, B>
  • o2: Optic<B, C>

  Returns Writable<Cell<C>>

• through<B, C, D>(
      this: Cell<boolean>,
      o1: Optic<boolean, B>,
      o2: Optic<B, C>,
      o3: Optic<C, D>,
  ): Writable<Cell<D>>

  Apply optic value(s) as a writable lens: c.through(o) ≡ lens(c, o.get, o.put); multiple optics compose left-to-right (c.through(a, b) = a then b). Cross-type, unlike the endomorphic instance .lens.

  Type Parameters

  • B
  • C
  • D

  Parameters

  • this: Cell<boolean>
  • o1: Optic<boolean, B>
  • o2: Optic<B, C>
  • o3: Optic<C, D>

  Returns Writable<Cell<D>>

Staticcoerce

• 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>

Staticderive

• derive<C extends AnyCellCtor, P>(
      this: C,
      parent: Read<P>,
      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<P>
  • fn: (v: P) => Inner<InstanceType<C>>

  Returns InstanceType<C>

• derive<C extends AnyCellCtor, P extends readonly Read<unknown>[]>(
      this: C,
      parents: P,
      fn: (vals: ReadValues<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 extends readonly Read<unknown>[]

  Parameters

  • this: C
  • parents: P
  • fn: (vals: ReadValues<P>) => Inner<InstanceType<C>>

  Returns InstanceType<C>

• 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>

Staticis

• 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>

Staticlens

• lens<C extends AnyCellCtor, P>(
      this: C,
      parent: Read<P>,
      fwd: (v: P) => Inner<InstanceType<C>>,
      bwd: (target: Inner<InstanceType<C>>, v: P) => P,
  ): Writable<InstanceType<C>>

  Writable lens. 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), spec) builds a complement-carrying lens from { init, step, fwd, bwd }.

  Type Parameters

  • C extends AnyCellCtor
  • P

  Parameters

  • this: C
  • parent: Read<P>
  • fwd: (v: P) => Inner<InstanceType<C>>
  • bwd: (target: Inner<InstanceType<C>>, v: P) => P

  Returns Writable<InstanceType<C>>

• lens<C extends AnyCellCtor, P extends readonly Read<unknown>[]>(
      this: C,
      parents: P,
      fwd: (vals: ReadValues<P>) => Inner<InstanceType<C>>,
      bwd: (
          target: Inner<InstanceType<C>>,
          vals: ReadValues<P>,
      ) => BackUpdates<ReadValuesOrSkip<P>>,
  ): Writable<InstanceType<C>>

  Writable lens. 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), spec) builds a complement-carrying lens from { init, step, fwd, bwd }.

  Type Parameters

  • C extends AnyCellCtor
  • P extends readonly Read<unknown>[]

  Parameters

  • this: C
  • parents: P
  • fwd: (vals: ReadValues<P>) => Inner<InstanceType<C>>
  • bwd: (
        target: Inner<InstanceType<C>>,
        vals: ReadValues<P>,
    ) => BackUpdates<ReadValuesOrSkip<P>>

  Returns Writable<InstanceType<C>>

• lens<C extends AnyCellCtor, P, Cm>(
      this: C,
      parent: Read<P>,
      spec: StatefulLensSpec1<P, Inner<InstanceType<C>>, Cm>,
  ): Writable<InstanceType<C>>

  Writable lens. 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), spec) builds a complement-carrying lens from { init, step, fwd, bwd }.

  Type Parameters

  • C extends AnyCellCtor
  • P
  • Cm

  Parameters

  • this: C
  • parent: Read<P>
  • spec: StatefulLensSpec1<P, Inner<InstanceType<C>>, Cm>

  Returns Writable<InstanceType<C>>

• lens<C extends AnyCellCtor, P extends readonly Read<unknown>[], Cm>(
      this: C,
      parents: P,
      spec: StatefulLensSpec<ReadValues<P>, Inner<InstanceType<C>>, Cm>,
  ): Writable<InstanceType<C>>

  Writable lens. 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), spec) builds a complement-carrying lens from { init, step, fwd, bwd }.

  Type Parameters

  • C extends AnyCellCtor
  • P extends readonly Read<unknown>[]
  • Cm

  Parameters

  • this: C
  • parents: P
  • spec: StatefulLensSpec<ReadValues<P>, Inner<InstanceType<C>>, Cm>

  Returns Writable<InstanceType<C>>

Staticpin

• 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>>

name

Readonlyvalue