picnoir/hnix
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Use non-standalone GND for FreshIdT

Browse source
This commit is contained in:
Ken Micklas 2019-03-09 16:47:15 -05:00
parent 69fa8884c1
commit 842dadf6da
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/Nix/Thunk.hs
View file

@ -55,6 +55,8 @@ newtype FreshIdT i m a = FreshIdT { unFreshIdT :: StateT i m a }
, Monad
, MonadTrans
, MonadFix
, MonadRef
, MonadAtomicRef
)
instance (Monad m, Num i) => MonadFreshId i (FreshIdT i m) where
@ -68,9 +70,6 @@ instance (Monoid w, MonadFreshId i m) => MonadFreshId i (WriterT w m)
instance MonadFreshId i m => MonadFreshId i (ExceptT e m)
instance MonadFreshId i m => MonadFreshId i (StateT s m)
deriving instance (MonadRef m) => MonadRef (FreshIdT i m)
deriving instance MonadAtomicRef m => MonadAtomicRef (FreshIdT i m)
--TODO: Eliminate the old MonadVar shims
type MonadVar m =
( MonadAtomicRef m