I’m struggling conceptually to create an indexing function, the function should behave like the take-a-ticket paper sometimes found in public service offices, each call to
nextNatural should yield a monotonically increasing number
I see that the prelude has List/generate, and Natural/enumerate.
I think I ran into a corner case, where it’s just outside the “totalness” of the language, and the general algebraic nature to have stateful generator functions?
Thanks in advance. The use-case, by the way is to enumerate nodes in my graph with “stable” ints according to the order in which they are produced, I could post-process my
List Graph (which anyway gets folded into a
List/fold Graph g Graph foldFn emptyGraph and maybe enumerate the nodes here in a stable way using something like a Natural/Enumerate as I fold the
List Graph into a
Thanks in advance, loving the metal gymnastics I’m having to learn here, it’s really rewarding.