Interface has<KS, S>

interface has<KS extends readonly (keyof any)[], S> {
    _type: has.loop<KS, S["_type" & keyof S]>;
    def: [path: KS, predicate: S];
    tag: "@traversable/schema/URI::has";
    (u: unknown): u is has.loop<KS, S["_type" & keyof S]>;
}

Type Parameters

KS extends readonly (keyof any)[]
S

has(u: unknown): u is has.loop<KS, S["_type" & keyof S]>
Parameters
- u: unknown
Returns u is has.loop<KS, S["_type" & keyof S]>
- Defined in packages/schema/src/has.ts:8

Index

Properties

Properties

_type

_type: has.loop<KS, S["_type" & keyof S]>

def

def: [path: KS, predicate: S]

tag

tag: "@traversable/schema/URI::has"