We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent cd80edc commit 99ef436Copy full SHA for 99ef436
classy-prelude/src/ClassyPrelude.hs
@@ -632,15 +632,17 @@ getContents = liftIO LTextIO.getContents
632
interact :: MonadIO m => (LText -> LText) -> m ()
633
interact = liftIO . LTextIO.interact
634
635
--- | Pattern synonyms for working with sequences,
636
--- corresponding to [] and (x : xs) for List
+{-# COMPLETE Empty, Cons #-}
+-- | Corresponds to [] for List
637
--
638
-- @since 1.5.1
639
-{-# COMPLETE Empty, Cons #-}
640
pattern Empty :: IsSequence seq => seq
641
pattern Empty <- (uncons -> Nothing) where
642
Empty = fromList []
643
+-- | Corresponds to (x : xs) for List
644
+--
645
+-- @since 1.5.1
646
pattern Cons :: IsSequence seq => Element seq -> seq -> seq
647
pattern Cons x xs <- (uncons -> Just (x, xs)) where
648
Cons = cons
0 commit comments