import { Append, AppendOptional, Concat, ElementOf, IsEmpty, List, Prepend } from "../../list";
import { Satisfies, Unreachable } from "../../type";
import { $, HKT, _, I } from "..";
type __$Map<F extends HKT<any, any>, L extends List, Acc extends List = []> = L extends [...infer Init, infer Last] ? __$Map<F, Init, Prepend<Acc, $<F, Last>>> : Concat<List<$<F, ElementOf<L>>>, Acc>;
type _$Map<F extends HKT<any, any>, L extends List, Acc extends List = []> = IsEmpty<L> extends true ? Acc : L extends readonly [infer H, ...infer T] ? _$Map<F, T, Append<Acc, $<F, H>>> : L extends readonly [...any, any] ? Concat<Acc, __$Map<F, L>> : L extends {
    0?: any;
} ? L extends readonly [_?: infer H, ...__: infer T] ? _$Map<F, T, AppendOptional<Acc, $<F, H>>> : Unreachable : Acc;
/**
 * map the elements of list `L` by function `F`.
 *
 * @param P   - HKT predicate to operate on each individual element of `L`
 * @param L   - the list to filter
 *
 * @since 0.0.2
 */
export type $Map<F extends HKT<any, any>, L extends List> = _$Map<F, L>;
/**
 * maps the elements of the input list by function `F`
 *
 * @since 0.0.2
 */
export interface Map<F extends HKT<any, any>> extends HKT {
    [HKT.i]: Satisfies<_<this>, List<I<F>>>;
    [HKT.o]: $Map<F, I<this>>;
}
export {};
//# sourceMappingURL=map.d.ts.map