Exploring safe directory handling with phantom types

root

wrk-safedir

Synopsis

Exploring safe directory handling with phantom types

Description

This project includes a libary module for working with directory paths where an attempt is made ensure the directory exists through the type system. The goal is to try to make writing to a nonexistent directory a compile-time error.

Contact

Authors

Dino Morelli dino@ui3.info