lean4-code-actions/src/utils/vscode/FileRename.ts

Refactorings and snippets for Lean 4

import { Uri } from 'vscode'
import { hasExtension as hasExtensionUri } from '../Uri'

export interface FileRename { readonly oldUri: Uri; readonly newUri: Uri }

export const hasExtension = (extension: string) => ({ oldUri, newUri }: FileRename) => {
  const hasExtensionLocal = hasExtensionUri(extension)
  return hasExtensionLocal(oldUri) && hasExtensionLocal(newUri)
}