export interface AppliedSourceFile {
  readonly file: string
  readonly contents: string
}

export interface PatchInput {
  readonly refactors: ReadonlyArray<Refactor>
  /** Every analyzed file the refactors touch, as the model recorded it. */
  readonly files: ReadonlyArray<SourceFileRecord>
  /** The exact analyzed text of each file, by SourceFileRecord.file. */
  readonly texts: ReadonlyMap<string, string>
  /** Whether new relative imports end in .ts (otherwise .js), as in generated imports. */
  readonly allowImportingTsExtensions: boolean
}

declare const applyRefactors: (
  input: PatchInput
) => Effect.Effect<Array<{ file: string; contents: string }>, CompilerFault, Crypto.Crypto>

declare const renderPatch: (input: PatchInput) => Effect.Effect<string, CompilerFault, Crypto.Crypto>