lean4-code-actions/libs/utils/array/getAverageBy.ts

Refactorings and snippets for Lean 4

import { Mapper } from '../Mapper'
import { sum } from '../remeda/sum'

export const getAverageBy = <Val>(mapper: Mapper<Val, number>) => (array: Val[]) => sum(array.map(mapper)) / array.length