@hackage path-sing0.1.0.0

A singleton wrapper for the `path` library.

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.

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

Installation
In your cabal file:
Tested Compilers
- 9.2.8
Dependencies (3)
- base ^>=4.16.4.0
- hashable >=1.4.2 && <1.5
- path >=0.9.2 && <0.10
Dependents (0)