Search Package Index

defensive-to-contracts

• peterzhong2023λ66eb05c

This package presents a tool that converts defensive programming into equivalent contracts. Currently, the tool is still at its infancy and have not been tested on many code bases. The sample folder contains some example files to get you started. So far I have exposed two functions that allows you to input a path and either returns the raw result or load up a GUI that allows you to change a file.

This package needs license metadata

early-return

• hansλ62ec8e5

early-return, define/return and define/contract/return provide function definitions that can be used for defensive programming. Making functions return early when conditions are not met.

let-assert

• hansλ62ec8e5

A let* construct with assertions, i.e. when an assertion is not satisfied, one can prematurely exit a function with a given return value.