deque-blog/reduce.idr

## reduce.idr
reduce : (Foldable t) => Reducer st acc elem -> acc -> t elem -> acc
reduce step acc =
  uncurry (complete step)                 -- 4) Call the completion on the result
    . (\(acc, s) => (s, unStatus acc))    -- 3) Remove the wrapping status
    . (flip runState (state step))        -- 2) Remove the state monad
    . runSteps (runStep step) acc         -- 1) Consume as many value as needed
	reduce : (Foldable t) => Reducer st acc elem -> acc -> t elem -> acc
	reduce step acc =
	uncurry (complete step) -- 4) Call the completion on the result
	. (\(acc, s) => (s, unStatus acc)) -- 3) Remove the wrapping status
	. (flip runState (state step)) -- 2) Remove the state monad
	. runSteps (runStep step) acc -- 1) Consume as many value as needed