Add Data.Index.next so outsiders can iterate if necessary
commitd9985bc27f57058cdf262880e00cbf30db6bbba1
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateFri 10 Nov 2017, 16:04 (9 years ago)
parentea77dcf
src/Data/Index.hs+7
@@ -3,6 +3,7 @@ module Data.Index
33 , first
44 , second
55 , third
6+ , next
67 , toOneBased
78 , indexedMap
89 , indexedTraverse
@@ -37,6 +38,12 @@ third =
3738 ZeroBased 2
3839
3940
41+{-# INLINE next #-}
42+next :: ZeroBased -> ZeroBased
43+next (ZeroBased i) =
44+ ZeroBased (i + 1)
45+
46+
4047
4148-- ONE BASED
4249