path-sing

This library wraps the types in the path library with singleton types¹² to allow more well-typed handling of file and directory paths.

Your contributions are welcome!

Please see CONTRIBUTING.md.

Footnotes

1. https://hackage.haskell.org/package/singletons ↩

2. Dependently Typed Programming with Singletons, published at the Haskell Symposium, 2012. (https://richarde.dev/papers/2012/singletons/paper.pdf) ↩