cabal-version:      2.4
name:               path-sing
version:            0.1.0.0

-- A short (one-line) description of the package.
synopsis: A singleton wrapper for the `path` library.

-- A longer description of the package.
description:
    This library wraps the types in the [path](https://hackage.haskell.org/package/path) library
    with [singleton types](https://hackage.haskell.org/package/singletons) to allow more well-typed
    handling of file and directory paths.

-- A URL where users can report bugs.
bug-reports: https://github.com/ymdryo/path-sing

-- The license under which the package is released.
license:            MPL-2.0
license-file:       LICENSE
author:             Yamada Ryo <ymdfield@outlook.jp>
maintainer:         Yamada Ryo <ymdfield@outlook.jp>

-- A copyright notice.
copyright: 2023 Yamada Ryo
category: System, Filesystem, Dependent Types

extra-source-files:
    ChangeLog.md
    NOTICE
    README.md

tested-with:
    GHC == 9.2.8

source-repository this
    type: git
    location: https://github.com/ymdryo/path-sing
    tag: v0.1.0

library
    exposed-modules:
        Path.Sing

    -- Modules included in this executable, other than Main.
    -- other-modules:

    -- LANGUAGE extensions used by modules in this package.
    -- other-extensions:
    build-depends:
        base                          ^>= 4.16.4.0,
        hashable                      >= 1.4.2 && < 1.5,
        path                          >= 0.9.2 && < 0.10,

    hs-source-dirs:   src
    ghc-options:      -Wall
    default-language: GHC2021

    default-extensions:
        LambdaCase,
        DerivingStrategies,
        DataKinds,
        TypeFamilies,
        BlockArguments,
        FunctionalDependencies,
        RecordWildCards