lean4-code-actions/libs/utils/Mapper/index.ts

Refactorings and snippets for Lean 4

/**
 * @see Mutator
 */
export type Mapper<In, Out> = (input: In) => Out

export type MapperP<In, Out> = (input: In) => Promise<Out>

export type MapperV<In, Out, Args extends unknown[]> = (obj: In, ...args: Args) => Out

export type MapperVP<In, Out, Args extends unknown[]> = (obj: In, ...args: Args) => Promise<Out>

export type MapperTwo<InA, InB, Out> = (a: InA, b: InB) => Out

export type MapperTwoP<InA, InB, Out> = (a: InA, b: InB) => Promise<Out>

export type MapperTwoSym<In, Out> = MapperTwo<In, In, Out>

export type MapperTwoSymP<In, Out> = MapperTwoP<In, In, Out>

export type Predicate<T> = Mapper<T, boolean>

export type PredicateP<T> = MapperP<T, boolean>

export type Relation<T> = MapperTwoSym<T, boolean>

export type RelationP<T> = MapperTwoSymP<T, boolean>