on master help sign in
Add Data.Index.next so outsiders can iterate if necessary
d9985bcEvan Czaplicki
src/Data/Index.hs+7
@@ -3,6 +3,7 @@ module Data.Index
3 , first
3 , first
4 , second
4 , second
5 , third
5 , third
6+ , next
6 , toOneBased
7 , toOneBased
7 , indexedMap
8 , indexedMap
8 , indexedTraverse
9 , indexedTraverse
@@ -37,6 +38,12 @@ third =
37 ZeroBased 2
38 ZeroBased 2
38
39
39
40
41+{-# INLINE next #-}
42+next :: ZeroBased -> ZeroBased
43+next (ZeroBased i) =
44+ ZeroBased (i + 1)
45+
46+
40
47
41-- ONE BASED
48-- ONE BASED
42
49