We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 011887b commit d235731Copy full SHA for d235731
src/Nix/Fresh.hs
@@ -21,7 +21,7 @@ import Control.Monad.Ref ( MonadAtomicRef(..)
21
import Nix.Thunk
22
23
-- 2021-06-02: NOTE: Remove singleton newtype accessor in favour of free coerce
24
-newtype FreshIdT i m a = FreshIdT { unFreshIdT :: ReaderT (Ref m i) m a }
+newtype FreshIdT i m a = FreshIdT (ReaderT (Ref m i) m a)
25
deriving
26
( Functor
27
, Applicative
@@ -60,4 +60,4 @@ instance
60
atomicModifyRef v (\i -> (succ i, i))
61
62
runFreshIdT :: Functor m => Ref m i -> FreshIdT i m a -> m a
63
-runFreshIdT i m = runReaderT (unFreshIdT m) i
+runFreshIdT i m = runReaderT (coerce m) i
0 commit comments