import { Json } from "atom.io/foundations/json";
import { MapOverlay } from "atom.io/foundations/overlays";
//#region src/foundations/junction/junction.d.ts
type Refinement<A, B extends A> = (a: A) => a is B;
type JunctionEntriesBase<A extends string, B extends string, Content extends Json.Object | null> = {
  readonly relations: ([A, B[]] | [B, A[]])[];
  readonly contents: [string, Content][];
};
interface JunctionEntries<A extends string, B extends string, Content extends Json.Object | null> extends Json.Object, JunctionEntriesBase<A, B, Content> {}
type JunctionSchemaBase<AName extends string, BName extends string> = {
  /** Description of the relationship between the two sides */
  readonly between: [a: AName, b: BName];
  /** How many relations are allowed in each direction? */
  readonly cardinality: `1:1` | `1:n` | `n:n`;
};
interface JunctionSchema<ASide extends string, BSide extends string> extends Json.Object, JunctionSchemaBase<ASide, BSide> {}
type BaseExternalStoreConfiguration = {
  addRelation: (a: string, b: string) => void;
  deleteRelation: (a: string, b: string) => void;
  replaceRelationsSafely: (a: string, bs: string[]) => void;
  replaceRelationsUnsafely: (a: string, bs: string[]) => void;
  getRelatedKeys(key: string): Set<string> | undefined;
  has: (a: string, b?: string) => boolean;
};
type ExternalStoreWithContentConfiguration<Content extends Json.Object> = {
  getContent: (contentKey: string) => Content | undefined;
  setContent: (contentKey: string, content: Content) => void;
  deleteContent: (contentKey: string) => void;
};
type Empty<Obj extends object> = { [Key in keyof Obj]?: undefined; };
type ExternalStoreConfiguration<Content extends Json.Object | null> = Content extends Json.Object ? BaseExternalStoreConfiguration & ExternalStoreWithContentConfiguration<Content> : BaseExternalStoreConfiguration & Empty<ExternalStoreWithContentConfiguration<Json.Object>>;
type JunctionAdvancedConfiguration<AName extends string, A extends string, BName extends string, B extends string, Content extends Json.Object | null> = {
  warn?: (...args: any[]) => void;
  externalStore?: ExternalStoreConfiguration<Content>;
  isAType?: Refinement<string, A>;
  isBType?: Refinement<string, B>;
  isContent?: Refinement<unknown, Content>;
  makeContentKey?: (a: A, b: B) => string;
  source?: Junction<AName, A, BName, B, Content>;
};
type JunctionJSON<AName extends string, A extends string, BName extends string, B extends string, Content extends Json.Object | null> = JunctionEntries<A, B, Content> & JunctionSchema<AName, BName>;
declare class Junction<const AName extends string, const A extends string, const BName extends string, const B extends string, const Content extends Json.Object | null = null> {
  readonly a: AName;
  readonly b: BName;
  readonly cardinality: `1:1` | `1:n` | `n:n`;
  readonly relations: Map<A | B, Set<A> | Set<B>>;
  readonly contents: Map<string, Content>;
  isAType?: Refinement<string, A> | null;
  isBType?: Refinement<string, B> | null;
  isContent: Refinement<unknown, Content> | null;
  makeContentKey: (a: A, b: B) => string;
  warn?: (...args: any[]) => void;
  getRelatedKeys(key: A): Set<B> | undefined;
  getRelatedKeys(key: B): Set<A> | undefined;
  getRelatedKeys(key: A | B): Set<A> | Set<B> | undefined;
  protected addRelation(a: A, b: B): void;
  protected deleteRelation(a: A, b: B): void;
  protected replaceRelationsUnsafely(a: A, bs: B[]): void;
  protected replaceRelationsUnsafely(b: B, as: A[]): void;
  protected replaceRelationsSafely(a: A, bs: B[]): void;
  protected replaceRelationsSafely(b: B, as: A[]): void;
  protected getContentInternal(contentKey: string): Content | undefined;
  protected setContent(contentKey: string, content: Content): void;
  protected deleteContent(contentKey: string): void;
  constructor(data: JunctionSchema<AName, BName> & Partial<JunctionEntries<NoInfer<A>, NoInfer<B>, Content>>, config?: JunctionAdvancedConfiguration<AName, A, BName, B, Content>);
  toJSON(): JunctionJSON<AName, A, BName, B, Content>;
  set(a: A, ...rest: Content extends null ? [b: B] : [b: B, content: Content]): this;
  set(relation: { [Key in AName]: A; } & { [Key in BName]: B; }, ...rest: Content extends null ? [] | [void?: undefined] : [content: Content]): this;
  delete(a: A, b?: B): this;
  delete(b: B, a?: A): this;
  delete(relation: { [Key in AName]: A; } | { [Key in BName]: B; } | ({ [Key in AName]: A; } & { [Key in BName]: B; }), b?: undefined): this;
  getRelatedKey(key: A): B | undefined;
  getRelatedKey(key: B): A | undefined;
  replaceRelations(a: A, relations: Content extends null ? B[] : Record<B, Content>, config?: {
    reckless: boolean;
  }): this;
  replaceRelations(b: B, relations: Content extends null ? A[] : Record<A, Content>, config?: {
    reckless: boolean;
  }): this;
  getContent(a: A, b: B): Content | undefined;
  getRelationEntries(input: Record<AName, A>): [B, Content][];
  getRelationEntries(input: Record<BName, B>): [A, Content][];
  has(a: A, b?: B): boolean;
  has(b: B, a?: A): boolean;
  overlay(): JunctionOverlay<AName, A, BName, B, Content>;
  incorporate(overlay: JunctionOverlay<AName, A, BName, B, Content>): void;
}
type JunctionOverlay<AName extends string, A extends string, BName extends string, B extends string, Content extends Json.Object | null = null> = Junction<AName, A, BName, B, Content> & {
  relations: MapOverlay<A | B, Set<A> | Set<B>>;
  contents: MapOverlay<string, Content>;
};
//#endregion
//#region src/foundations/junction/relations-overlay.d.ts
declare class RelationsOverlay<K, V extends Set<any>> extends Map<K, V> {
  deleted: Set<K>;
  protected readonly source: Map<K, V>;
  constructor(source: Map<K, V>);
  get(key: K): V | undefined;
  set(key: K, value: V): this;
  has(key: K): boolean;
  delete(key: K): boolean;
}
//#endregion
export { BaseExternalStoreConfiguration, Empty, ExternalStoreConfiguration, ExternalStoreWithContentConfiguration, Junction, JunctionAdvancedConfiguration, JunctionEntries, JunctionEntriesBase, JunctionJSON, JunctionOverlay, JunctionSchema, JunctionSchemaBase, Refinement, RelationsOverlay };
//# sourceMappingURL=index.d.ts.map