hs-functors 0.1.3.0 → 0.1.3.1
raw patch · 5 files changed
+23/−10 lines, 5 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Control.Comonad: Cokleisli :: ɯ a -> b -> Cokleisli ɯ a b
+ Control.Comonad: Cokleisli :: (ɯ a -> b) -> Cokleisli ɯ a b
- Control.Comonad.Cofree: Cofree :: a -> (f (Cofree f a)) -> Cofree f a
+ Control.Comonad.Cofree: Cofree :: a -> f (Cofree f a) -> Cofree f a
- Control.Comonad.Density: Density :: (f b -> a) -> (f b) -> Density f a
+ Control.Comonad.Density: Density :: (f b -> a) -> f b -> Density f a
- Control.Monad.Codensity: Codensity :: forall b. (a -> m b) -> m b -> Codensity m a
+ Control.Monad.Codensity: Codensity :: (forall b. (a -> m b) -> m b) -> Codensity m a
- Control.Monad.Free: Free :: (f (Free f a)) -> Free f a
+ Control.Monad.Free: Free :: f (Free f a) -> Free f a
- Data.Bifunctor.Biff: Biff :: f a `s` g b -> Biff s f g a b
+ Data.Bifunctor.Biff: Biff :: (f a `s` g b) -> Biff s f g a b
- Data.Functor.Contravariant: Op1 :: a -> b -> Op1 b a
+ Data.Functor.Contravariant: Op1 :: (a -> b) -> Op1 b a
- Data.Functor.Contravariant: Op2 :: a -> a -> b -> Op2 b a
+ Data.Functor.Contravariant: Op2 :: (a -> a -> b) -> Op2 b a
Files
- Control/Monad/Codensity.hs +0/−2
- Control/Monad/Morph.hs +0/−2
- Data/Cotraversable.hs +15/−2
- Data/Fix.hs +0/−2
- hs-functors.cabal +8/−2
Control/Monad/Codensity.hs view
@@ -1,5 +1,3 @@-{-# LANGUAGE RankNTypes #-}- module Control.Monad.Codensity where import Prelude hiding (fail)
Control/Monad/Morph.hs view
@@ -1,5 +1,3 @@-{-# LANGUAGE RankNTypes #-}- module Control.Monad.Morph where import Control.Monad
Data/Cotraversable.hs view
@@ -10,15 +10,28 @@ import Data.Functor.Reverse import Data.Proxy +-- | Laws:+--+-- * @'cosequence' = 'collect' 'id'@+--+-- * @'cosequence' . 'cosequence' = 'id'@+--+-- * @'collect' f = 'cosequence' . 'fmap' f@+--+-- * @'fmap' f = 'runIdentity' . 'collect' ('Identity' . f)@+--+-- * @'fmap' 'distribute' . 'collect' f = 'getCompose' . 'collect' ('Compose' . f)@ class Functor f => Cotraversable f where+ {-# MINIMAL collect | cosequence | cotraverse #-}+ collect :: Functor g => (a -> f b) -> g a -> f (g b) collect f = cosequence . fmap f cosequence :: Functor g => g (f a) -> f (g a)- cosequence = collect id+ cosequence = cotraverse id cotraverse :: Functor g => (g a -> b) -> g (f a) -> f b- cotraverse f = fmap f . cosequence+ cotraverse f = fmap f . collect id instance Cotraversable Identity where cosequence = Identity . fmap runIdentity
Data/Fix.hs view
@@ -1,5 +1,3 @@-{-# LANGUAGE RankNTypes #-}- module Data.Fix where import Control.Arrow
hs-functors.cabal view
@@ -1,5 +1,5 @@ name: hs-functors-version: 0.1.3.0+version: 0.1.3.1 synopsis: Functors from products of Haskell and its dual to Haskell -- description: license: BSD3@@ -45,4 +45,10 @@ , StandaloneDeriving , GeneralizedNewtypeDeriving , DeriveFunctor, DeriveFoldable, DeriveTraversable- ghc-options: -Wall -Wno-name-shadowing+ ghc-options: -Wall -Wcompat -Wredundant-constraints -Wno-name-shadowing+ -Wincomplete-record-updates -Wincomplete-uni-patterns+ -Werror=incomplete-patterns+ -Werror=incomplete-uni-patterns+ -Werror=incomplete-record-updates+ -Werror=missing-fields+ -Werror=missing-methods