lean4-code-actions/libs/utils/remeda/pipeOver.ts

Refactorings and snippets for Lean 4

import { Modifier } from '../Modifier'

export const pipeOver = <In, Out>(input: In) => (modifiers: Modifier<In>[]) => {
  return modifiers.reduce((input, modifier) => modifier(input), input)
}