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

Refactorings and snippets for Lean 4

import { Mapper } from '../Mapper'

/**
 * @see `mapOver`
 */
export const fill = <In, Out>(fns: Mapper<In, Out>[]) => (input: In) => fns.map(fn => fn(input))