Type Alias Type<A>

Type: Readonly<
    {
        assertIs: (a: unknown) => asserts a is A;
        cast: (a: unknown) => A;
        defaultValue: A;
        fill: (a: unknown) => A;
        is: (a: unknown) => a is A;
        prune: <B extends A>(a: B) => A;
        typeName: string;
        validate: (a: unknown) => Result<A, readonly ValidationError[]>;
    },
>

typeName : Name for this type
is : Type guard function
assertIs : Type assertion function
cast : Cast function (returns the original value, no transformation)
fill : Default value filling function
prune : Excess property pruning function (recursively removes value paths that are not represented by the type; unlike fill, it never fills in default values)
validate : A base function to be used in is and assertIs. validate returns Result.Ok if the value is of Type A, otherwise returns Result.Err with structured validation error information.

Type Alias Type<A>

Type Parameters

Settings