@typed/guard

Runs candidates sequentially and returns the first match tagged with its key. Candidates are snapshotted from own enumerable keys when any is called. ECMAScript own-key order applies: integer-index strings, other strings, then symbols.

Runs a synchronous or Effectful observation for each matched value and returns the value unchanged.

Recovers typed failures and lifts the recovery result into Some.

Recovers typed failures and lifts the recovery result into Some.

Recovers from the complete Effect Cause and lifts the recovery result into Some.

Recovers selected tagged typed failures and leaves unmatched tags in the error channel.

An object that supplies a Guard through an own callable asGuard property. Use an instance field rather than a prototype method.

An effectful partial transformation.

A successful Some contains a match, a successful None means the input did not match, and an Effect failure remains in the E channel. Required services remain in R.

A Guard or an object that supplies one. Guard combinators accept either form.

Keeps matched values that satisfy a predicate or refinement.

Refines and maps a matched value with an Option-returning function.

Builds a Guard from a predicate or refinement. The predicate is evaluated only when the returned Effect runs. A thrown exception becomes an Effect defect; use an effectful Guard when failure belongs in the typed error channel.

Returns a callable Guard unchanged or obtains one from an own callable asGuard property. Invalid adapter objects throw TypeError immediately.

Adds a readonly _tag to every matched object output. The output must not already have an _tag property.

Runs f on a matched object and adds its matched value under a new key. The key must not already exist. Enumerable getters and proxy traps may execute during the object spread.

Wraps any matched output in a new object under key. This is the explicit transition from an arbitrary output to the record-building workflow.

Adds a fixed property to every matched record output.

Decodes each matched encoded value through an Effect Schema.

Encodes each matched schema Type to its Encoded representation.

Creates a Guard that decodes a schema’s Encoded input to its Type.

Creates a Guard that encodes a schema’s Type to its Encoded representation.

Runs output only when input matches. None short-circuits successfully, while failures and service requirements are preserved from both Guards.

Provides a Context or Layer to a Guard’s Effect.

Provides one concrete service to a Guard.

Provides a service produced by an Effect to a Guard.

Computes the intersection of inputs accepted by an any Guard record.

Builds the tagged output union produced by any.

Extracts the typed error channel from a Guard or Guard adapter.

Extracts the accepted input type from a Guard or Guard adapter.

Extracts the matched output type from a Guard or Guard adapter.

Extracts the Effect service requirements from a Guard or Guard adapter.

Maps matched output synchronously while preserving non-match and Effect channels.

Maps matched output with an Effect while preserving None.