path-sing: A singleton wrapper for the `path` library.

[ dependent-types, filesystem, library, mpl, system ] [ Propose Tags ] [ Report a vulnerability ]

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


[Skip to Readme]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0
Change log ChangeLog.md
Dependencies base (>=4.16.4.0 && <4.17), hashable (>=1.4.2 && <1.5), path (>=0.9.2 && <0.10) [details]
Tested with ghc ==9.2.8
License MPL-2.0
Copyright 2023 Yamada Ryo
Author Yamada Ryo <ymdfield@outlook.jp>
Maintainer Yamada Ryo <ymdfield@outlook.jp>
Category System, Filesystem, Dependent Types
Bug tracker https://github.com/ymdryo/path-sing
Source repo this: git clone https://github.com/ymdryo/path-sing(tag v0.1.0)
Uploaded by YamadaRyo at 2023-09-18T04:43:04Z
Distributions
Downloads 58 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for path-sing-0.1.0.0

[back to package description]

path-sing

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

Your contributions are welcome!

Please see CONTRIBUTING.md.

2

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