Add pattern synonyms for IsSequence

classy-prelude-conduit/classy-prelude-conduit.cabal

@@ -1,6 +1,6 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.34.7.
+-- This file has been generated from package.yaml by hpack version 0.37.0.
 --
 -- see: https://github.com/sol/hpack
 
@@ -35,7 +35,7 @@ library
   build-depends:
       base >=4.13 && <5
     , bytestring
-    , classy-prelude ==1.5.0.*
+    , classy-prelude ==1.5.*
     , conduit ==1.3.*
     , monad-control
     , resourcet

classy-prelude-conduit/package.yaml

@@ -24,7 +24,7 @@ library:
   - -fno-warn-orphans
   dependencies:
   - conduit >=1.3 && <1.4
-  - classy-prelude >=1.5.0 && <1.5.1
+  - classy-prelude >= 1.5 && < 1.6
   - monad-control
   - resourcet
   - void

classy-prelude-yesod/classy-prelude-yesod.cabal

@@ -1,6 +1,6 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.34.7.
+-- This file has been generated from package.yaml by hpack version 0.37.0.
 --
 -- see: https://github.com/sol/hpack
 
@@ -34,7 +34,7 @@ library
   build-depends:
       aeson
     , base >=4.13 && <5
-    , classy-prelude ==1.5.0.*
+    , classy-prelude ==1.5.*
     , classy-prelude-conduit ==1.5.0.*
     , data-default
     , http-conduit

classy-prelude-yesod/package.yaml

@@ -14,7 +14,7 @@ extra-source-files:
 
 dependencies:
 - base >= 4.13 && <5
-- classy-prelude >=1.5.0 && <1.5.1
+- classy-prelude >= 1.5 && < 1.6
 - classy-prelude-conduit >=1.5.0 && <1.5.1
 - yesod >=1.2
 - yesod-newsfeed

classy-prelude/ChangeLog.md

@@ -1,5 +1,9 @@
 # ChangeLog for classy-prelude
 
+## 1.5.1.0
+
+* Added Empty and Cons pattern synonyms for sequences [#241](https://github.com/snoyberg/mono-traversable/issues/241)
+
 ## 1.5.0.3
 
 * Don't import Data.Functor.unzip [#215](https://github.com/snoyberg/mono-traversable/pull/215)

classy-prelude/classy-prelude.cabal

@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           classy-prelude
-version:        1.5.0.3
+version:        1.5.1.0
 synopsis:       A typeclass-based Prelude.
 description:    See docs and README at <http://www.stackage.org/package/classy-prelude>
 category:       Control, Prelude

classy-prelude/package.yaml

@@ -1,5 +1,5 @@
 name:          classy-prelude
-version:       1.5.0.3
+version:       1.5.1.0
 synopsis:      A typeclass-based Prelude.
 description:   See docs and README at <http://www.stackage.org/package/classy-prelude>
 category:      Control, Prelude

classy-prelude/src/ClassyPrelude.hs

@@ -1,7 +1,9 @@
 {-# LANGUAGE CPP #-}
 {-# LANGUAGE NoImplicitPrelude #-}
 {-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE PatternSynonyms #-}
 {-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE ViewPatterns #-}
 module ClassyPrelude
     ( -- * CorePrelude
       module CorePrelude
@@ -129,6 +131,9 @@ module ClassyPrelude
     , DList
     , asDList
     , applyDList
+      -- ** Pattern synonyms for sequences
+    , pattern Empty
+    , pattern Cons
       -- ** Exceptions
     , module Control.DeepSeq
       -- ** Force types
@@ -627,6 +632,20 @@ getContents = liftIO LTextIO.getContents
 interact :: MonadIO m => (LText -> LText) -> m ()
 interact = liftIO . LTextIO.interact
 
+{-# COMPLETE Empty, Cons #-}
+-- | Corresponds to [] for List
+--
+-- @since 1.5.1
+pattern Empty :: IsSequence seq => seq
+pattern Empty <- (uncons -> Nothing) where
+  Empty = fromList []
+
+-- | Corresponds to (x : xs) for List
+--
+-- @since 1.5.1
+pattern Cons :: IsSequence seq => Element seq -> seq -> seq
+pattern Cons x xs <- (uncons -> Just (x, xs)) where
+  Cons = cons
 
 #if MIN_VERSION_time(1,10,0)
 parseTime