strong-path: Strongly typed paths in Haskell.

[ filepath, filesystem, library, mit, system ] [ Propose Tags ]

Replacement for a FilePath that enables you to handle filepaths in your code in a type-safe manner. You can specify at type level if they are relative, absolute, file, directory, posix, windows, and even to which file or directory they point to or are relative to.

[Skip to Readme]


[Index] [Quick Jump]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS],,,,,,,
Change log
Dependencies base (>=4.7 && <5), exceptions (>=0.10 && <0.11), filepath (>=1.4 && <1.5), hashable (>=1.3 && <1.4), path (>=0.9.2 && <0.10), template-haskell (>=2.16 && <2.18) [details]
License MIT
Copyright 2020 Martin Sosic
Author Martin Sosic
Category System, Filesystem, FilePath
Home page
Bug tracker
Source repo head: git clone
Uploaded by Martinsos at 2022-03-17T10:52:16Z
Downloads 1275 total (40 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for strong-path-

[back to package description]


CI Documentation Hackage Stackage LTS Stackage Nightly

Strongly typed file paths in Haskell.

This library provides a strongly typed representation of file paths, providing more safety during compile time while also making code more readable, compared to the standard solution (FilePath, which is really just String).

Without StrongPath:

getBashProfile :: IO FilePath

With StrongPath:

getBashProfile :: IO (Path System (Rel HomeDir) (File BashProfile))

Simple but complete example:

import StrongPath (Path, System, Abs, Dir, parseAbsDir)

data HomeDir

getHomeDirPath :: IO (Path System Abs (Dir HomeDir))
getHomeDirPath = getLine >>= fromJust . parseAbsDir

Check documentation for more details!


Detailed documentation, including rich examples and API is written via Haddock.

Check out the latest documentation on Hackage: Documentation.

You can also build and view the Haddock documentation yourself if you wish, by running stack haddock --open.

Contributing / development

We are using ormolu for code formatting. In order for the PR to pass, it needs to be formatted by ormolu.

strong-path is Stack project, so make sure you have stack installed on your machine.

stack build to build the project, stack test to run the tests.

stack build --file-watch --haddock to rebuild documentation as you change it.

Publishing to Hackage

First, make sure to update the version of package in package.yaml, if needed.

Then, stack sdist to build publishable .tar.gz., and then we need to upload it manually to Hackage.

Check if Hackage correctly built the Haddock docs -> if not, you need to upload them manually (check Hackage webpage for instructions, it should be smth like cabal v2-haddock --haddock-for-hackage --enable-doc and then cabal upload -d --publish <path_to_docs.tar.gz>).

We should also tag the commit in git with version tag (e.g. v1.0.0.0) so we know which version of code was used to produce that release.