comonad 5.0.9 → 5.0.10
raw patch · 5 files changed
+21/−11 lines, 5 filesdep −transformers-compatdep ~transformersPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies removed: transformers-compat
Dependency ranges changed: transformers
API changes (from Hackage documentation)
+ Control.Comonad: ($dm<@>) :: (ComonadApply w, Applicative w) => w (a -> b) -> w a -> w b
- Control.Comonad: (<@>) :: (ComonadApply w, Applicative w) => w (a -> b) -> w a -> w b
+ Control.Comonad: (<@>) :: ComonadApply w => w (a -> b) -> w a -> w b
- Control.Comonad: Cokleisli :: (w a -> b) -> Cokleisli w a b
+ Control.Comonad: Cokleisli :: (w a -> b) -> Cokleisli (w :: k -> Type) (a :: k) b
- Control.Comonad: [runCokleisli] :: Cokleisli w a b -> w a -> b
+ Control.Comonad: [runCokleisli] :: Cokleisli (w :: k -> Type) (a :: k) b -> w a -> b
- Control.Comonad: class Functor w => Comonad w
+ Control.Comonad: class Functor w => Comonad (w :: Type -> Type)
- Control.Comonad: class Comonad w => ComonadApply w
+ Control.Comonad: class Comonad w => ComonadApply (w :: Type -> Type)
- Control.Comonad: class () => Functor (f :: Type -> Type)
+ Control.Comonad: class Functor (f :: Type -> Type)
- Control.Comonad: newtype Cokleisli w a b
+ Control.Comonad: newtype Cokleisli (w :: k -> Type) (a :: k) b
- Control.Comonad.Env: EnvT :: e -> w a -> EnvT e w a
+ Control.Comonad.Env: EnvT :: e -> w a -> EnvT e (w :: Type -> Type) a
- Control.Comonad.Env: class Comonad w => ComonadEnv e w | w -> e
+ Control.Comonad.Env: class Comonad w => ComonadEnv e (w :: Type -> Type) | w -> e
- Control.Comonad.Env: data EnvT e w a
+ Control.Comonad.Env: data EnvT e (w :: Type -> Type) a
- Control.Comonad.Env: local :: (e -> e') -> EnvT e w a -> EnvT e' w a
+ Control.Comonad.Env: local :: forall e e' (w :: Type -> Type) a. (e -> e') -> EnvT e w a -> EnvT e' w a
- Control.Comonad.Env.Class: class Comonad w => ComonadEnv e w | w -> e
+ Control.Comonad.Env.Class: class Comonad w => ComonadEnv e (w :: Type -> Type) | w -> e
- Control.Comonad.Hoist.Class: class ComonadHoist t
+ Control.Comonad.Hoist.Class: class ComonadHoist (t :: Type -> Type -> Type -> Type)
- Control.Comonad.Hoist.Class: cohoist :: (ComonadHoist t, Comonad w, Comonad v) => (forall x. w x -> v x) -> t w a -> t v a
+ Control.Comonad.Hoist.Class: cohoist :: (ComonadHoist t, Comonad w, Comonad v) => (forall x. () => w x -> v x) -> t w a -> t v a
- Control.Comonad.Store: StoreT :: w (s -> a) -> s -> StoreT s w a
+ Control.Comonad.Store: StoreT :: w (s -> a) -> s -> StoreT s (w :: Type -> Type) a
- Control.Comonad.Store: class Comonad w => ComonadStore s w | w -> s
+ Control.Comonad.Store: class Comonad w => ComonadStore s (w :: Type -> Type) | w -> s
- Control.Comonad.Store: data StoreT s w a
+ Control.Comonad.Store: data StoreT s (w :: Type -> Type) a
- Control.Comonad.Store.Class: class Comonad w => ComonadStore s w | w -> s
+ Control.Comonad.Store.Class: class Comonad w => ComonadStore s (w :: Type -> Type) | w -> s
- Control.Comonad.Store.Class: lowerPeek :: (ComonadTrans t, ComonadStore s w) => s -> t w a -> a
+ Control.Comonad.Store.Class: lowerPeek :: forall t s (w :: Type -> Type) a. (ComonadTrans t, ComonadStore s w) => s -> t w a -> a
- Control.Comonad.Store.Class: lowerPos :: (ComonadTrans t, ComonadStore s w) => t w a -> s
+ Control.Comonad.Store.Class: lowerPos :: forall t s (w :: Type -> Type) a. (ComonadTrans t, ComonadStore s w) => t w a -> s
- Control.Comonad.Traced: TracedT :: w (m -> a) -> TracedT m w a
+ Control.Comonad.Traced: TracedT :: w (m -> a) -> TracedT m (w :: Type -> Type) a
- Control.Comonad.Traced: [runTracedT] :: TracedT m w a -> w (m -> a)
+ Control.Comonad.Traced: [runTracedT] :: TracedT m (w :: Type -> Type) a -> w (m -> a)
- Control.Comonad.Traced: class Comonad w => ComonadTraced m w | w -> m
+ Control.Comonad.Traced: class Comonad w => ComonadTraced m (w :: Type -> Type) | w -> m
- Control.Comonad.Traced: newtype TracedT m w a
+ Control.Comonad.Traced: newtype TracedT m (w :: Type -> Type) a
- Control.Comonad.Traced.Class: class Comonad w => ComonadTraced m w | w -> m
+ Control.Comonad.Traced.Class: class Comonad w => ComonadTraced m (w :: Type -> Type) | w -> m
- Control.Comonad.Trans.Class: class ComonadTrans t
+ Control.Comonad.Trans.Class: class ComonadTrans (t :: Type -> Type -> Type -> Type)
- Control.Comonad.Trans.Env: EnvT :: e -> w a -> EnvT e w a
+ Control.Comonad.Trans.Env: EnvT :: e -> w a -> EnvT e (w :: Type -> Type) a
- Control.Comonad.Trans.Env: ask :: EnvT e w a -> e
+ Control.Comonad.Trans.Env: ask :: forall e (w :: Type -> Type) a. EnvT e w a -> e
- Control.Comonad.Trans.Env: asks :: (e -> f) -> EnvT e w a -> f
+ Control.Comonad.Trans.Env: asks :: forall e f (w :: Type -> Type) a. (e -> f) -> EnvT e w a -> f
- Control.Comonad.Trans.Env: data EnvT e w a
+ Control.Comonad.Trans.Env: data EnvT e (w :: Type -> Type) a
- Control.Comonad.Trans.Env: local :: (e -> e') -> EnvT e w a -> EnvT e' w a
+ Control.Comonad.Trans.Env: local :: forall e e' (w :: Type -> Type) a. (e -> e') -> EnvT e w a -> EnvT e' w a
- Control.Comonad.Trans.Identity: newtype () => IdentityT (f :: k -> Type) (a :: k)
+ Control.Comonad.Trans.Identity: newtype IdentityT (f :: k -> Type) (a :: k)
- Control.Comonad.Trans.Store: StoreT :: w (s -> a) -> s -> StoreT s w a
+ Control.Comonad.Trans.Store: StoreT :: w (s -> a) -> s -> StoreT s (w :: Type -> Type) a
- Control.Comonad.Trans.Store: data StoreT s w a
+ Control.Comonad.Trans.Store: data StoreT s (w :: Type -> Type) a
- Control.Comonad.Trans.Store: experiment :: (Comonad w, Functor f) => (s -> f s) -> StoreT s w a -> f a
+ Control.Comonad.Trans.Store: experiment :: forall (w :: Type -> Type) f s a. (Comonad w, Functor f) => (s -> f s) -> StoreT s w a -> f a
- Control.Comonad.Trans.Store: peek :: Comonad w => s -> StoreT s w a -> a
+ Control.Comonad.Trans.Store: peek :: forall (w :: Type -> Type) s a. Comonad w => s -> StoreT s w a -> a
- Control.Comonad.Trans.Store: peeks :: Comonad w => (s -> s) -> StoreT s w a -> a
+ Control.Comonad.Trans.Store: peeks :: forall (w :: Type -> Type) s a. Comonad w => (s -> s) -> StoreT s w a -> a
- Control.Comonad.Trans.Store: pos :: StoreT s w a -> s
+ Control.Comonad.Trans.Store: pos :: forall s (w :: Type -> Type) a. StoreT s w a -> s
- Control.Comonad.Trans.Store: seek :: s -> StoreT s w a -> StoreT s w a
+ Control.Comonad.Trans.Store: seek :: forall s (w :: Type -> Type) a. s -> StoreT s w a -> StoreT s w a
- Control.Comonad.Trans.Store: seeks :: (s -> s) -> StoreT s w a -> StoreT s w a
+ Control.Comonad.Trans.Store: seeks :: forall s (w :: Type -> Type) a. (s -> s) -> StoreT s w a -> StoreT s w a
- Control.Comonad.Trans.Traced: TracedT :: w (m -> a) -> TracedT m w a
+ Control.Comonad.Trans.Traced: TracedT :: w (m -> a) -> TracedT m (w :: Type -> Type) a
- Control.Comonad.Trans.Traced: [runTracedT] :: TracedT m w a -> w (m -> a)
+ Control.Comonad.Trans.Traced: [runTracedT] :: TracedT m (w :: Type -> Type) a -> w (m -> a)
- Control.Comonad.Trans.Traced: censor :: Functor w => (m -> m) -> TracedT m w a -> TracedT m w a
+ Control.Comonad.Trans.Traced: censor :: forall (w :: Type -> Type) m a. Functor w => (m -> m) -> TracedT m w a -> TracedT m w a
- Control.Comonad.Trans.Traced: listen :: Functor w => TracedT m w a -> TracedT m w (a, m)
+ Control.Comonad.Trans.Traced: listen :: forall (w :: Type -> Type) m a. Functor w => TracedT m w a -> TracedT m w (a, m)
- Control.Comonad.Trans.Traced: listens :: Functor w => (m -> b) -> TracedT m w a -> TracedT m w (a, b)
+ Control.Comonad.Trans.Traced: listens :: forall (w :: Type -> Type) m b a. Functor w => (m -> b) -> TracedT m w a -> TracedT m w (a, b)
- Control.Comonad.Trans.Traced: newtype TracedT m w a
+ Control.Comonad.Trans.Traced: newtype TracedT m (w :: Type -> Type) a
- Control.Comonad.Trans.Traced: trace :: Comonad w => m -> TracedT m w a -> a
+ Control.Comonad.Trans.Traced: trace :: forall (w :: Type -> Type) m a. Comonad w => m -> TracedT m w a -> a
- Data.Functor.Composition: class Composition o
+ Data.Functor.Composition: class Composition (o :: Type -> Type -> Type -> Type -> Type -> Type)
Files
- .gitignore +1/−1
- CHANGELOG.markdown +6/−1
- comonad.cabal +8/−8
- examples/History.hs +1/−1
- src/Control/Comonad/Trans/Env.hs +5/−0
.gitignore view
@@ -1,5 +1,5 @@ dist-dist-newstyle+dist-* docs wiki TAGS
CHANGELOG.markdown view
@@ -1,8 +1,13 @@+5.0.10 [2026.01.10]+-------------------+* Support building with MicroHs.+* Remove unused `transformers-compat` dependency.+ 5.0.9 [2024.12.04] ------------------ * Drop support for pre-8.0 versions of GHC. -5.0.8 [2023.09.30]+5.0.8 [2020.12.30] ----------------- * Explicitly mark modules as Safe or Trustworthy * The build-type has been changed from `Custom` to `Simple`.
comonad.cabal view
@@ -1,6 +1,6 @@ name: comonad category: Control, Comonads-version: 5.0.9+version: 5.0.10 license: BSD3 cabal-version: >= 1.10 license-file: LICENSE@@ -23,10 +23,11 @@ , GHC == 9.0.2 , GHC == 9.2.8 , GHC == 9.4.8- , GHC == 9.6.6+ , GHC == 9.6.7 , GHC == 9.8.4- , GHC == 9.10.1- , GHC == 9.12.1+ , GHC == 9.10.3+ , GHC == 9.12.2+ , GHC == 9.14.1 extra-source-files: .gitignore .hlint.yaml@@ -69,7 +70,7 @@ source-repository head type: git- location: git://github.com/ekmett/comonad.git+ location: https://github.com/ekmett/comonad.git library hs-source-dirs: src@@ -79,11 +80,10 @@ build-depends: base >= 4.9 && < 5, tagged >= 0.8.6.1 && < 1,- transformers >= 0.3 && < 0.7,- transformers-compat >= 0.5 && < 1+ transformers >= 0.5 && < 0.7 if flag(containers)- build-depends: containers >= 0.3 && < 0.8+ build-depends: containers >= 0.3 && < 0.9 if flag(distributive) build-depends: distributive >= 0.5.2 && < 1
examples/History.hs view
@@ -52,7 +52,7 @@ ini dx = extract dx `fby` extend ini dx fibo :: Num b => History a -> b-fibo d = wfix $ d $> fby 0 . extend (\dfibo -> extract dfibo + fby 1 dfibo) +fibo d = wfix $ d $> fby 0 . extend (\dfibo -> extract dfibo + fby 1 dfibo) fibo' :: Num b => History a -> b fibo' d = fst $ wfix $ d $> fby (0, 1) . fmap (\(x, x') -> (x',x+x'))
src/Control/Comonad/Trans/Env.hs view
@@ -65,6 +65,11 @@ import Data.Semigroup #endif +#ifdef __MHS__+import Data.Foldable+import Data.Traversable+#endif+ -- $setup -- >>> import Control.Comonad