bowtie 0.1.0 → 0.1.1

raw patch · 2 files changed

+11/−1 lines, 2 files

Files

bowtie.cabal +1/−1
src/Bowtie.hs +10/−0

bowtie.cabal view

@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           bowtie-version:        0.1.0+version:        0.1.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.hs view

@@ -39,6 +39,8 @@   , memoVal   , memoCata   , memoCataM+  , memoRight+  , memoRightM   ) where @@ -295,3 +297,11 @@ memoCataM f = go  where   go (MemoP k v) = traverse go v >>= \x -> runReaderT (f x) k++-- | Peek at the top value like 'annoRight'+memoRight :: (f (Memo f k) -> Reader k x) -> Memo f k -> x+memoRight f = annoRight f . unMemoF . unMemo++-- | Peek at the top value like 'annoRightM'+memoRightM :: (f (Memo f k) -> ReaderT k m x) -> Memo f k -> m x+memoRightM f = annoRightM f . unMemoF . unMemo