Something went wrong. Try again.
An experimental TypeSpec syntax for Lexicon
Something went wrong. Try again.
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283/** * GENERATED CODE - DO NOT MODIFY */
import { type ValidationResult } from '@atproto/lexicon'
export type OmitKey<T, K extends keyof T> = { [K2 in keyof T as K2 extends K ? never : K2]: T[K2]}
export type $Typed<V, T extends string = string> = V & { $type: T }export type Un$Typed<V extends { $type?: string }> = OmitKey<V, '$type'>
export type $Type<Id extends string, Hash extends string> = Hash extends 'main' ? Id : `${Id}#${Hash}`
function isObject<V>(v: V): v is V & object { return v != null && typeof v === 'object'}
function is$type<Id extends string, Hash extends string>( $type: unknown, id: Id, hash: Hash,): $type is $Type<Id, Hash> { return hash === 'main' ? $type === id : // $type === `${id}#${hash}` typeof $type === 'string' && $type.length === id.length + 1 + hash.length && $type.charCodeAt(id.length) === 35 /* '#' */ && $type.startsWith(id) && $type.endsWith(hash)}
export type $TypedObject< V, Id extends string, Hash extends string,> = V extends { $type: $Type<Id, Hash>} ? V : V extends { $type?: string } ? V extends { $type?: infer T extends $Type<Id, Hash> } ? V & { $type: T } : never : V & { $type: $Type<Id, Hash> }
export function is$typed<V, Id extends string, Hash extends string>( v: V, id: Id, hash: Hash,): v is $TypedObject<V, Id, Hash> { return isObject(v) && '$type' in v && is$type(v.$type, id, hash)}
export function maybe$typed<V, Id extends string, Hash extends string>( v: V, id: Id, hash: Hash,): v is V & object & { $type?: $Type<Id, Hash> } { return ( isObject(v) && ('$type' in v ? v.$type === undefined || is$type(v.$type, id, hash) : true) )}
export type Validator<R = unknown> = (v: unknown) => ValidationResult<R>export type ValidatorParam<V extends Validator> = V extends Validator<infer R> ? R : never
/** * Utility function that allows to convert a "validate*" utility function into a * type predicate. */export function asPredicate<V extends Validator>(validate: V) { return function <T>(v: T): v is T & ValidatorParam<V> { return validate(v).success }}