Group element folds together in the export list
commitb3c69485fbfa8c5f0751da7152688d6e400cea8f
authorHarendra Kumar <harendra@composewell.com>
dateSun 29 May 2022, 16:17 (4 years ago)
parent9d68f58
core/src/Streamly/Internal/Data/Fold.hs+6−3
@@ -90,19 +90,22 @@ module Streamly.Internal.Data.Fold
9090 , toMap
9191
9292 -- ** Terminating Folds
93+ -- Element folds
94+ , head
95+ , one
96+ , null
97+
98+ -- Sequence folds
9399 , drainN
94100 -- , lastN
95101 -- , (!!)
96102 , genericIndex
97103 , index
98− , head
99− , one
100104 -- , findM
101105 , find
102106 , lookup
103107 , findIndex
104108 , elemIndex
105− , null
106109 , elem
107110 , notElem
108111 , all