comonads-fd 1.8.0.3 → 2.0
raw patch · 6 files changed
+4/−147 lines, 6 filesdep ~comonaddep ~comonad-transformersdep ~semigroupsPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: comonad, comonad-transformers, semigroups
API changes (from Hackage documentation)
- Control.Comonad.Discont.Class: callCV :: ComonadDiscont s w => w (w (w a -> a) -> b) -> b
- Control.Comonad.Discont.Class: class Comonad w => ComonadDiscont s w | w -> s
- Control.Comonad.Discont.Class: instance ComonadDiscont s w => ComonadDiscont s (DiscontT k w)
- Control.Comonad.Discont.Lazy: DiscontT :: (w s -> a) -> w s -> DiscontT s a
- Control.Comonad.Discont.Lazy: callCV :: ComonadDiscont s w => w (w (w a -> a) -> b) -> b
- Control.Comonad.Discont.Lazy: class Comonad w => ComonadDiscont s w | w -> s
- Control.Comonad.Discont.Lazy: data DiscontT s w :: (* -> *) a :: * -> (* -> *) -> * -> *
- Control.Comonad.Discont.Lazy: discont :: (s -> a) -> s -> Discont s a
- Control.Comonad.Discont.Lazy: label :: Comonad w => DiscontT s w a -> s
- Control.Comonad.Discont.Lazy: runDiscont :: Discont s a -> (s -> a, s)
- Control.Comonad.Discont.Lazy: runDiscontT :: DiscontT s w a -> (w s -> a, w s)
- Control.Comonad.Discont.Lazy: type Discont s = DiscontT s Identity
- Control.Comonad.Discont.Memo: callCV :: ComonadDiscont s w => w (w (w a -> a) -> b) -> b
- Control.Comonad.Discont.Memo: class Comonad w => ComonadDiscont s w | w -> s
- Control.Comonad.Discont.Memo: data DiscontT s w :: (* -> *) a :: * -> (* -> *) -> * -> *
- Control.Comonad.Discont.Memo: discont :: (s -> a) -> s -> Discont s a
- Control.Comonad.Discont.Memo: discontT :: (w s -> a) -> w s -> DiscontT s w a
- Control.Comonad.Discont.Memo: label :: Comonad w => DiscontT s w a -> s
- Control.Comonad.Discont.Memo: runDiscont :: Discont s a -> (s -> a, s)
- Control.Comonad.Discont.Memo: runDiscontT :: DiscontT s w a -> (w s -> a, w s)
- Control.Comonad.Discont.Memo: type Discont s = DiscontT s Identity
- Control.Comonad.Discont.Strict: DiscontT :: (w s -> a) -> w s -> DiscontT s a
- Control.Comonad.Discont.Strict: callCV :: ComonadDiscont s w => w (w (w a -> a) -> b) -> b
- Control.Comonad.Discont.Strict: class Comonad w => ComonadDiscont s w | w -> s
- Control.Comonad.Discont.Strict: data DiscontT s w :: (* -> *) a :: * -> (* -> *) -> * -> *
- Control.Comonad.Discont.Strict: discont :: (s -> a) -> s -> Discont s a
- Control.Comonad.Discont.Strict: label :: Comonad w => DiscontT s w a -> s
- Control.Comonad.Discont.Strict: runDiscont :: Discont s a -> (s -> a, s)
- Control.Comonad.Discont.Strict: runDiscontT :: DiscontT s w a -> (w s -> a, w s)
- Control.Comonad.Discont.Strict: type Discont s = DiscontT s Identity
Files
- Control/Comonad/Discont.hs +0/−15
- Control/Comonad/Discont/Class.hs +0/−32
- Control/Comonad/Discont/Lazy.hs +0/−30
- Control/Comonad/Discont/Memo.hs +0/−31
- Control/Comonad/Discont/Strict.hs +0/−30
- comonads-fd.cabal +4/−9
− Control/Comonad/Discont.hs
@@ -1,15 +0,0 @@--------------------------------------------------------------------------------- |--- Module : Control.Comonad.Discont--- Copyright : (C) 2008-2011 Edward Kmett--- License : BSD-style (see the file LICENSE)------ Maintainer : Edward Kmett <ekmett@gmail.com>--- Stability : experimental--- Portability : non-portable (fundeps, MPTCs)------------------------------------------------------------------------------module Control.Comonad.Discont ( - module Control.Comonad.Discont.Lazy- ) where--import Control.Comonad.Discont.Lazy
− Control/Comonad/Discont/Class.hs
@@ -1,32 +0,0 @@-{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, UndecidableInstances #-}--------------------------------------------------------------------------------- |--- Module : Control.Comonad.Discont.Class--- Copyright : (C) 2008-2011 Edward Kmett--- License : BSD-style (see the file LICENSE)------ Maintainer : Edward Kmett <ekmett@gmail.com>--- Stability : experimental--- Portability : non-portable (fundeps, MPTCs)------------------------------------------------------------------------------module Control.Comonad.Discont.Class - ( ComonadDiscont(..)- ) where--import Control.Comonad-import qualified Control.Comonad.Trans.Discont.Strict as Strict-import qualified Control.Comonad.Trans.Discont.Lazy as Lazy-import qualified Control.Comonad.Trans.Discont.Memo as Memo--class Comonad w => ComonadDiscont s w | w -> s where- callCV :: w (w (w a -> a) -> b) -> b--instance ComonadDiscont s w => ComonadDiscont s (Lazy.DiscontT k w) where- callCV = Lazy.callCV--instance ComonadDiscont s w => ComonadDiscont s (Memo.DiscontT k w) where- callCV = Memo.callCV--instance ComonadDiscont s w => ComonadDiscont s (Strict.DiscontT k w) where- callCV = Strict.callCV-
− Control/Comonad/Discont/Lazy.hs
@@ -1,30 +0,0 @@--------------------------------------------------------------------------------- |--- Module : Control.Comonad.Discont.Lazy--- Copyright : (C) 2008-2011 Edward Kmett--- License : BSD-style (see the file LICENSE)------ Maintainer : Edward Kmett <ekmett@gmail.com>--- Stability : experimental--- Portability : non-portable (fundeps, MPTCs)------------------------------------------------------------------------------module Control.Comonad.Discont.Lazy ( - -- * ComonadDiscont class- ComonadDiscont(..)- , label- -- * The Discont comonad- , Discont- , discont- , runDiscont- -- * The DiscontT comonad transformer- , DiscontT(..)- , runDiscontT- -- * Re-exported modules- , module Control.Comonad- , module Control.Comonad.Trans.Class- ) where--import Control.Comonad-import Control.Comonad.Discont.Class (ComonadDiscont(..))-import Control.Comonad.Trans.Class-import Control.Comonad.Trans.Discont.Lazy (Discont, discont, runDiscont, DiscontT(..), runDiscontT, label)
− Control/Comonad/Discont/Memo.hs
@@ -1,31 +0,0 @@-------------------------------------------------------------------------------- |--- Module : Control.Comonad.Discont.Memo--- Copyright : (C) 2008-2011 Edward Kmett--- License : BSD-style (see the file LICENSE)------ Maintainer : Edward Kmett <ekmett@gmail.com>--- Stability : experimental--- Portability : non-portable (fundeps, MPTCs)------------------------------------------------------------------------------module Control.Comonad.Discont.Memo ( - -- * ComonadDiscont class- ComonadDiscont(..)- , label- -- * The Discont comonad- , Discont- , discont- , runDiscont- -- * The DiscontT comonad transformer- , DiscontT- , discontT- , runDiscontT- -- * Re-exported modules- , module Control.Comonad- , module Control.Comonad.Trans.Class- ) where--import Control.Comonad-import Control.Comonad.Discont.Class (ComonadDiscont(..))-import Control.Comonad.Trans.Class-import Control.Comonad.Trans.Discont.Memo (Discont, discont, runDiscont, DiscontT, discontT, runDiscontT, label)
− Control/Comonad/Discont/Strict.hs
@@ -1,30 +0,0 @@--------------------------------------------------------------------------------- |--- Module : Control.Comonad.Discont.Strict--- Copyright : (C) 2008-2011 Edward Kmett--- License : BSD-style (see the file LICENSE)------ Maintainer : Edward Kmett <ekmett@gmail.com>--- Stability : experimental--- Portability : non-portable (fundeps, MPTCs)------------------------------------------------------------------------------module Control.Comonad.Discont.Strict ( - -- * ComonadDiscont class- ComonadDiscont(..)- , label- -- * The Discont comonad- , Discont- , discont- , runDiscont- -- * The DiscontT comonad transformer- , DiscontT(..)- , runDiscontT- -- * Re-exported modules- , module Control.Comonad- , module Control.Comonad.Trans.Class- ) where--import Control.Comonad-import Control.Comonad.Discont.Class (ComonadDiscont(..))-import Control.Comonad.Trans.Class-import Control.Comonad.Trans.Discont.Strict (Discont, discont, runDiscont, DiscontT(..), runDiscontT, label)
comonads-fd.cabal view
@@ -1,6 +1,6 @@ name: comonads-fd category: Control, Comonads-version: 1.8.0.3+version: 2.0 license: BSD3 cabal-version: >= 1.6 license-file: LICENSE@@ -27,16 +27,11 @@ base >= 4 && < 5, transformers >= 0.2 && < 0.3, mtl >= 2.0.1.0 && <= 2.1,- semigroups >= 0.6 && < 0.7,- comonad >= 1.1 && < 1.2,- comonad-transformers >= 1.8 && < 1.9+ semigroups >= 0.7.1 && < 0.8,+ comonad >= 1.1.1 && < 1.2,+ comonad-transformers >= 2.0 && < 2.1 exposed-modules:- Control.Comonad.Discont- Control.Comonad.Discont.Class- Control.Comonad.Discont.Lazy- Control.Comonad.Discont.Memo- Control.Comonad.Discont.Strict Control.Comonad.Env Control.Comonad.Env.Class Control.Comonad.Env.Strict