pointed 0.1.1 → 0.1.2

raw patch · 3 files changed

+13/−5 lines, 3 filesdep ~comonaddep ~comonad-transformersdep ~semigroupoids

Dependency ranges changed: comonad, comonad-transformers, semigroupoids, semigroups

Files

• Data/Copointed.hs +4/−0
• Data/Pointed.hs +4/−0
• pointed.cabal +5/−5

@@ -19,6 +19,7 @@ import qualified Control.Comonad.Trans.Store.Lazy as Lazy import qualified Control.Comonad.Trans.Store.Memo as Memo import qualified Control.Comonad.Trans.Store.Strict as Strict+import Data.List.NonEmpty (NonEmpty(..))  -- | 'Copointed' does not require a 'Functor', as the only relationship -- between 'copoint' and 'fmap' is given by a free theorem.@@ -64,6 +65,9 @@  instance Copointed Sum where   copoint = getSum++instance Copointed NonEmpty where+  copoint ~(a :| _) = a  instance Copointed Semigroup.First where   copoint = Semigroup.getFirst

@@ -20,6 +20,7 @@ import Control.Monad.Trans.List import Control.Monad.Trans.Maybe import Control.Monad.Trans.Identity+import Data.List.NonEmpty import qualified Control.Monad.Trans.RWS.Lazy as Lazy import qualified Control.Monad.Trans.RWS.Strict as Strict import qualified Control.Monad.Trans.Writer.Lazy as Lazy@@ -51,6 +52,9 @@  instance Pointed Tree where   point a = Node a []++instance Pointed NonEmpty where+  point a = a :| []   instance Pointed ZipList where   point = pure

@@ -1,6 +1,6 @@ name:          pointed category:      Data-version:       0.1.1+version:       0.1.2 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE@@ -23,10 +23,10 @@     transformers >= 0.2.0 && < 0.3,     containers >= 0.4.0.0 && < 0.5,     data-default >= 0.2.0.1 && < 0.3,-    comonad >= 1.0.3 && < 1.1, -    comonad-transformers >= 1.5.2.1 && < 1.6,-    semigroups >= 0.4 && < 0.5,-    semigroupoids >= 1.1.3 && < 1.2,+    comonad >= 1.1 && < 1.2, +    comonad-transformers >= 1.6.1 && < 1.7,+    semigroups >= 0.5 && < 0.6,+    semigroupoids >= 1.2.1 && < 1.3,     stm >= 2.1.2.1 && < 2.2    exposed-modules: