@hackage / path-sing

A singleton wrapper for the `path` library.

Latest0.1.0.0

Metadata

Last updated 18 Sep 2023, by YamadaRyo
License MPL-2.0
Categories Systems Programming
Maintained by: Yamada Ryo <ymdfield@outlook.jp>
Lottery factor: 0

Links

Installation

Add this line in your cabal file

Tested Compilers

9.2.8

Readme

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.

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