2023-08-16 17:54:17 +00:00
|
|
|
import { type Filter } from '@/deps.ts';
|
|
|
|
|
|
|
|
/** Custom filter interface that extends Nostr filters with extra options for Ditto. */
|
|
|
|
interface DittoFilter<K extends number = number> extends Filter<K> {
|
|
|
|
local?: boolean;
|
|
|
|
}
|
|
|
|
|
2023-08-17 02:21:29 +00:00
|
|
|
/** Additional options to apply to the whole subscription. */
|
|
|
|
interface GetFiltersOpts {
|
|
|
|
timeout?: number;
|
|
|
|
}
|
|
|
|
|
|
|
|
export type { DittoFilter, GetFiltersOpts };
|