cabal-version: 3.0
name: abstractly-keyed-implicits
version: 0.1.1.0
synopsis: Manage the implicit parameter namespace dynamically at compile time.
description:
Manage the implicit parameter namespace dynamically at compile time.
This is an implementation of [GHC proposal 737](https://github.com/ghc-proposals/ghc-proposals/pull/737).
Relative to that proposal, this suffers from the following (likely hypothetical) limitations:
* It may break if future GHC versions change the implementation of implicit parameters
* It doesn't mandate that 'bindImplicit' and 'implicitParameter' be fully applied,
nor guarantee that they don't impose additional runtime cost.
* It uses some auxiliary internal type-level machinery that can't be hidden.
* It is not inferred as safe Haskell (though it is safe).
homepage: https://github.com/shlevy/shlevy/tree/master/abstractly-keyed-implicits
bug-reports: https://github.com/shlevy/shlevy/issues
license: Apache-2.0
license-file: LICENSE
author: Shea Levy
maintainer: shea@shealevy.com
copyright: Copyright 2025 Shea Levy
category: Data
build-type: Simple
extra-doc-files: CHANGELOG.md
tested-with: GHC == { 9.10.2, 9.12.2 }
source-repository head
type: git
location: https://github.com/shlevy/shlevy
subdir: abstractly-keyed-implicits
library
exposed-modules: Data.Implicit
build-depends: base ^>= { 4.20, 4.21 }
default-language: GHC2024