bound-gen 0.1.0.0 → 0.1.0.1

raw patch · 2 files changed

+2/−2 lines, 2 files

Files

• bound-gen.cabal +1/−1
• src/Bound/Unwrap.hs +1/−1

@@ -1,5 +1,5 @@ name:                bound-gen-version:             0.1.0.0+version:             0.1.0.1 synopsis:            Unwrap Scope's with globally fresh values description:             It's quite common when working with bound to need to unwrap a @Scope@.

@@ -59,7 +59,7 @@ runUnwrap = runIdentity . runUnwrapT  -- | Render a name unique within the scope of a monadic computation.-freshify :: MonadUnwrap => Fresh a -> m (Fresh a)+freshify :: MonadUnwrap m => Fresh a -> m (Fresh a) freshify nm = (\i -> nm{fresh = i}) <$> fmap getCounter gen  -- | Create a name which is unique within the scope of a monadic