path-sing
Version 0.1.0.0 revision 0 uploaded by YamadaRyo.
Package meta
- Synopsis
- A singleton wrapper for the `path` library.
- Description
This library wraps the types in the path library with singleton types to allow more well-typed handling of file and directory paths.
- Author
- Yamada Ryo <ymdfield@outlook.jp>
- Bug reports
- https://github.com/ymdryo/path-sing
- Category
- System, Filesystem, Dependent Types
- Copyright
- 2023 Yamada Ryo
- Homepage
- n/a
- Maintainer
- Yamada Ryo <ymdfield@outlook.jp>
- Package URL
- n/a
- Stability
- n/a