bowtie 0.3.0 → 0.3.1

raw patch · 2 files changed

+4/−1 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

+ Bowtie.Rewrite: embedRw :: Either (AnnoErr k e) a -> Rw k e a

Files

bowtie.cabal +1/−1
src/Bowtie/Rewrite.hs +3/−0

bowtie.cabal view

@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           bowtie-version:        0.3.0+version:        0.3.1 synopsis:       Tying knots in polynomial functors description:    Please see the README on GitHub at <https://github.com/ejconlon/bowtie#readme> homepage:       https://github.com/ejconlon/bowtie#readme

src/Bowtie/Rewrite.hs view

@@ -47,6 +47,9 @@ embedRwT :: m (Either (AnnoErr k e) a) -> RwT k e m a embedRwT n = RwT (ReaderT (const (ExceptT n))) +embedRw :: Either (AnnoErr k e) a -> Rw k e a+embedRw = embedRwT . Identity+ pushRw :: (Monad m) => k -> RwT k e m a -> RwT k e m a pushRw b m = RwT (local (NESeq.|> b) (unRwT m))