Import
import { GuardType } from "@typed/router";Access GuardType.Error through the imported GuardType export. Its declaration below describes the member.
This public exposure is a re-export. Its import path is supported; declaration documentation is shared with the other public exposures below.
Signatures
type Error<T> = [
T
] extends [
Guard<infer _I, infer _O, infer E, infer _R>
] ? E : [
T
] extends [
AsGuard<infer _I, infer _O, infer E, infer _R>
] ? E : never;Why
Typed failure remains distinct from None, defects, and interruption throughout composition.
Ownership and lifetime
This compile-time type acquires no resources and has no runtime lifetime.
Examples
import type { Guard } from "@typed/guard"
type Error = Guard.Error<Guard<string, number, "Invalid">>Other public imports
These import paths expose the same declaration. Each page retains its own public name and signature.