s3/delete_object

Delete an object from an S3 bucket

const app = mvfm(prelude, s3_);
const prog = app({}, ($) => {
  return $.begin(
    $.s3.putObject({
      Bucket: "my-bucket",
      Key: "temp.txt",
      Body: "temporary data",
    }),
    $.s3.deleteObject({ Bucket: "my-bucket", Key: "temp.txt" })
  );
});
await fold(
  defaults(app, { s3: memoryS3Interpreter }),
  prog
);

const app = mvfm(prelude, s3_);
const prog = app({}, ($) => {
  return $.begin(
    $.s3.putObject({
      Bucket: "my-bucket",
      Key: "temp.txt",
      Body: "temporary data",
    }),
    $.s3.deleteObject({ Bucket: "my-bucket", Key: "temp.txt" })
  );
});
await fold(
  defaults(app, { s3: memoryS3Interpreter }),
  prog
);

const app = mvfm(prelude, s3_);
const prog = app({}, ($) => {
  return $.begin(
    $.s3.putObject({
      Bucket: "my-bucket",
      Key: "temp.txt",
      Body: "temporary data",
    }),
    $.s3.deleteObject({ Bucket: "my-bucket", Key: "temp.txt" })
  );
});
await fold(
  defaults(app, { s3: memoryS3Interpreter }),
  prog
);

Ctrl+Enter