UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

14 lines (7 loc) • 521 B
1
2
3
4
5
6
7
8
9
10
11
12
13
14
import { Mapper, MapperP } from './Mapper' export type Modifier<Val> = Mapper<Val, Val> export type ModifierP<Val> = MapperP<Val, Val> export type ModifierVariadic<Val, Args extends unknown[]> = (obj: Val, ...args: Args) => Val export type ModifierVariadicPromisified<Val, Args extends unknown[]> = (obj: Val, ...args: Args) => Promise<Val> export type ModifierV<Val, Args extends unknown[]> = ModifierVariadic<Val, Args> export type ModifierVP<Val, Args extends unknown[]> = ModifierVariadicPromisified<Val, Args>