abstractly-keyed-implicits 0.1.0.0 → 0.1.1.0

raw patch · 3 files changed

+20/−1 lines, 3 files

Files

• CHANGELOG.md +4/−0
• Data/Implicit.hs +15/−0
• abstractly-keyed-implicits.cabal +1/−1

@@ -3,3 +3,7 @@ ## 0.1.0.0 -- 2025-12-25  * Fully implement proposal++## 0.1.1.0 -- 2025-12-28++* Add implicit unbinding

@@ -22,6 +22,7 @@ module Data.Implicit where  import GHC.Base (IP, ip, withDict)+import GHC.TypeError import GHC.TypeLits (Symbol)  -- | 'ImplicitParameter' @x@ @a@ is a t'Data.Kind.Constraint' that 'implicitParameter' @x@ is an implicit parameter of type @a@.@@ -34,6 +35,8 @@ -- -- To bind an implicit parameter, use 'bindImplicit'. --+-- To unbind an implicit parameter, use 'unbindImplicit'.+-- -- @ImplictParameter (MkIdent "foo") t@ is equivalent to @?foo :: t@. type ImplicitParameter (x :: k) = IP (KeyName x) @@ -50,6 +53,18 @@ {-# INLINE implicitParameter #-} implicitParameter :: forall x -> (ImplicitParameter x a) => a implicitParameter x = ip @(KeyName x)++-- | Unbind the implicit parameter @x@.+--+-- Unbinding follows the same dynamic scoping rules as 'ImplicitParameter'. @bindImplicit x a (unbindImplicit x (implicitParameter x))@+-- is a compile-time error while @unbindImplicit x (bindImplicit x a (implicitParameter x))@ is equivalent to @a@.+unbindImplicit :: forall x -> ((ImplicitUnbound x) => a) -> a+unbindImplicit key = bindImplicit key undefined++-- | A t'Data.Kind.Constraint' that there is no implicit parameter bound to @x@.+--+-- To unbind an implicit parameter, use 'unbindImplicit'.+type ImplicitUnbound (x :: k) = ImplicitParameter x (TypeError (Text "The implicit parameter " :<>: ShowType x :<>: Text " has been explicitly unbound."))  -- | The kind of type-level representations of Haskell identifiers. data Ident = MkIdent Symbol {- HLINT ignore "Use newtype instead of data" -}

@@ -1,6 +1,6 @@ cabal-version:      3.0 name:               abstractly-keyed-implicits-version:            0.1.0.0+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.