@jsoldi/hkt/dist/types/cont/contMonad.js

Higher kinded types for typescript and a few utility monads.

import { pipe } from "../../core/utils.js";
import { contCore } from "./contCore.js";
/** Creates a continuation monad where results are wrapped in the given monad. */
export function contMonad(m) {
    return pipe(contCore(), base => {
        const toVoid = base.mapCont(m.unit, _ => undefined);
        const lift = ma => resolve => m.bind(ma, resolve);
        const drop = ca => ca(m.unit);
        return {
            ...base,
            contMonad: m,
            lift,
            drop,
            toVoid
        };
    });
}
//# sourceMappingURL=contMonad.js.map