clist 0.1.0.0 → 0.2.0.0

raw patch · 2 files changed

+15/−7 lines, 2 filesdep ~basePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: base

API changes (from Hackage documentation)

- Data.CList: (:.) :: a -> CList n a -> CList (Succ n) a

- Data.CList: Nil :: CList Zero a

- Data.CList: instance (GHC.Base.Monoid a, GHC.Base.Monoid (Data.CList.CList n a)) => GHC.Base.Monoid (Data.CList.CList ('Data.Peano.Succ n) a)

- Data.CList: instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.CList.CList 'Data.Peano.Zero a)

+ Data.CList: [:.] :: a -> CList n a -> CList (Succ n) a

+ Data.CList: [Nil] :: CList Zero a

+ Data.CList: instance (Data.Semigroup.Semigroup a, Data.Semigroup.Semigroup (Data.CList.CList n a), GHC.Base.Monoid a, GHC.Base.Monoid (Data.CList.CList n a)) => GHC.Base.Monoid (Data.CList.CList ('Data.Peano.Succ n) a)

+ Data.CList: instance (Data.Semigroup.Semigroup a, GHC.Base.Monoid a) => GHC.Base.Monoid (Data.CList.CList 'Data.Peano.Zero a)

+ Data.CList: instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.CList.CList n a)

Files

Data/CList.hs +11/−5
clist.cabal +4/−2

Data/CList.hs view

@@ -9,9 +9,10 @@ import Data.Eq import Data.Foldable import Data.Functor-import Data.Monoid+import Data.Monoid hiding ((<>)) import Data.Ord import Data.Peano+import Data.Semigroup import Data.Traversable import Data.Typeable @@ -29,13 +30,18 @@ deriving instance Traversable (CList n) deriving instance Typeable CList -instance Monoid a => Monoid (CList Zero a) where+instance Semigroup a => Semigroup (CList n a) where+    Nil <> Nil = Nil+    (x:.xs) <> (y:.ys) = x<>y:.xs<>ys++instance (Semigroup a, Monoid a) => Monoid (CList Zero a) where     mempty = Nil-    Nil `mappend` Nil = Nil+    mappend = (<>) -instance (Monoid a, Monoid (CList n a)) => Monoid (CList (Succ n) a) where+instance (Semigroup a, Semigroup (CList n a),+          Monoid a, Monoid (CList n a)) => Monoid (CList (Succ n) a) where     mempty = mempty:.mempty-    (x:.xs) `mappend` (y:.ys) = x<>y:.xs<>ys+    mappend = (<>)  instance Applicative (CList Zero) where     pure x = Nil

clist.cabal view

@@ -1,5 +1,5 @@ name:                clist-version:             0.1.0.0+version:             0.2.0.0 synopsis:            Counted list homepage:            https://github.com/strake/clist.hs license:             OtherLicense@@ -9,8 +9,10 @@ category:            Data build-type:          Simple cabal-version:       >=1.9.2+tested-with:         GHC ==8.0.*+                   , GHC ==8.2.2  library   exposed-modules:     Data.CList   extensions:          TypeOperators, FlexibleContexts, FlexibleInstances, GADTs, DataKinds, DeriveFunctor, DeriveFoldable, DeriveTraversable-  build-depends:       base >=4.8 && <4.9, base-unicode-symbols, peano+  build-depends:       base >=4.9 && <5, base-unicode-symbols, peano