comonad-extras 0.1 → 0.1.1

raw patch · 2 files changed

+99/−2 lines, 2 filesdep +MemoTriePVP ok

version bump matches the API change (PVP)

Dependencies added: MemoTrie

API changes (from Hackage documentation)

Files

• Control/Comonad/Store/MemoTrie.hs +95/−0
• comonad-extras.cabal +4/−2

@@ -0,0 +1,95 @@+{-# LANGUAGE CPP, TypeOperators, FlexibleInstances, MultiParamTypeClasses #-}+-----------------------------------------------------------------------------+-- |+-- Module      :  Control.Comonad.Store.MemoTrie+-- Copyright   :  (C) 2008-2011 Edward Kmett+-- License     :  BSD-style (see the file LICENSE)+--+-- Maintainer  :  Edward Kmett <ekmett@gmail.com>+-- Stability   :  provisional+-- Portability :  portable+--+-- The trie-memoizing store (state-in-context/costate) comonad transformer is +-- subject to the laws:+-- +-- > x = seek (pos x) x+-- > y = pos (seek y x)+-- > seek y x = seek y (seek z x)+--+-- Thanks go to Russell O'Connor and Daniel Peebles for their help formulating +-- and proving the laws for this comonad transformer.+----------------------------------------------------------------------------+module Control.Comonad.Store.MemoTrie+  ( +  -- * The Store comonad+    Store, store, runStore+  -- * The Store comonad transformer+  , StoreT(..), storeT, runStoreT+  -- * Operations+  , module Control.Comonad.Store.Class+  ) where++import Control.Applicative+import Control.Comonad+import Control.Comonad.Hoist.Class+import Control.Comonad.Trans.Class+import Control.Comonad.Store.Class+import Data.Functor.Identity+import Data.MemoTrie++#ifdef __GLASGOW_HASKELL__+import Data.Typeable+instance (Typeable s, Typeable1 w) => Typeable1 (StoreT s w) where+  typeOf1 dswa = mkTyConApp storeTTyCon [typeOf (s dswa), typeOf1 (w dswa)]+    where+      s :: StoreT s w a -> s+      s = undefined+      w :: StoreT s w a -> w a+      w = undefined++instance (Typeable s, Typeable1 w, Typeable a) => Typeable (StoreT s w a) where+  typeOf = typeOfDefault++storeTTyCon :: TyCon+storeTTyCon = mkTyCon "Control.Comonad.Trans.Store.Strict.StoreT"+{-# NOINLINE storeTTyCon #-}+#endif++type Store s = StoreT s Identity++store :: HasTrie s => (s -> a) -> s -> Store s a +store f s = StoreT (Identity (trie f)) s++runStore :: HasTrie s => Store s a -> (s -> a, s)+runStore (StoreT (Identity f) s) = (untrie f, s)++data StoreT s w a = StoreT (w (s :->: a)) s++storeT :: (Functor w, HasTrie s) => w (s -> a) -> s -> StoreT s w a +storeT wf s = StoreT (trie <$> wf) s++runStoreT :: (Functor w, HasTrie s) => StoreT s w a -> (w (s -> a), s)+runStoreT (StoreT wf s) = (untrie <$> wf, s)++instance (Functor w, HasTrie s) => Functor (StoreT s w) where+  fmap f (StoreT wf s) = StoreT (fmap (fmap f) wf) s++instance (Extend w, HasTrie s) => Extend (StoreT s w) where+  duplicate (StoreT wf s) = StoreT (extend (trie . StoreT) wf) s++instance (Comonad w, HasTrie s) => Comonad (StoreT s w) where+  extract (StoreT wf s) = untrie (extract wf) s++instance HasTrie s => ComonadTrans (StoreT s) where+  lower (StoreT f s) = fmap (`untrie` s) f++instance ComonadHoist (StoreT s) where+  cohoist (StoreT f s) = StoreT (Identity (extract f)) s++instance (Comonad w, HasTrie s) => ComonadStore s (StoreT s w) where+  pos (StoreT _ s) = s+  seek s (StoreT f _) = StoreT f s+  seeks f (StoreT g s) = StoreT g (f s)+  peek s (StoreT g _) = untrie (extract g) s+  peeks f (StoreT g s) = untrie (extract g) (f s)+

@@ -1,6 +1,6 @@ name:          comonad-extras category:      Control, Comonads-version:       0.1+version:       0.1.1 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE@@ -32,7 +32,8 @@     distributive >= 0.1 && < 0.2,     semigroupoids >= 1.0 && < 1.2,     semigroups >= 0.3.4 && < 0.4,-    transformers >= 0.2.0 && <= 0.3+    transformers >= 0.2.0 && <= 0.3,+    MemoTrie >= 0.4.9 && < 0.5    if flag(DeriveDataTypeable)     extensions: DeriveDataTypeable@@ -43,5 +44,6 @@   exposed-modules:     Control.Comonad.Store.Zipper     Control.Comonad.Store.Pointer+    Control.Comonad.Store.MemoTrie    ghc-options:      -Wall