prune (not) equivalent to ignore >> norecurse?

[twhitehead]

The document says that prune is equivalent to ignore >> norecurse, but I don't see how this can be.

In more detail: the (expanded) definitions of ignore, norecurse, and prune are

ignore = mzero
ignore = CondT $ return recurse'
ignore = CondT $ return (Nothing, Continue)

norecurse = CondT $ return (Just (), Stop)

prune = CondT $ return (Nothing, Stop)

which, from the relevant branch in the definition of >>=,

CondT m >>= k = CondT $ m >>= \case
  -- ...
  (Nothing, Continue)  -> return (Nothing, Continue)
  -- ...

would seem to me to imply ignore >> norecurse is equivalent to ignore.

[jwiegley]

Quite right! That comment must have been from an older iteration. I'll delete that note.