cont-unit.ts

/**
 * Construct a continuation a' from a (f: (a:a') => void) => void
 * @param c - the cont a'
 */
export const unit = <a>(f: (c: (_: a) => void) => void): Cont<a> => ({
  run: c,
  map<b>(f: (a: a) => b) {
    return create_cont(cont_map(this.runCont, f))
  },
  then<b>(f: (a: a) => Cont<b>) {
    return create_cont<b>(cont_bind<a, b>(this.runCont, a => f(a).run))
  },
})