@@ -85,7 +85,7 @@ scanl f acc (x :: xs) = acc :: scanl f (f acc x) xs
85||| Produce a Stream of (corecursive) right folds of tails of the given Stream
85||| Produce a Stream of (corecursive) right folds of tails of the given Stream
86||| @ f the combining function
86||| @ f the combining function
87||| @ xs the Stream to fold up
87||| @ xs the Stream to fold up
88−-- Reusing the head of the corecursion in the obvious way doesn’t productivity check
88+-- Reusing the head of the corecursion in the obvious way doesn't productivity check
89scanr : (f : a -> Inf b -> b) -> (xs : Stream a) -> Stream b
89scanr : (f : a -> Inf b -> b) -> (xs : Stream a) -> Stream b
90scanr f (x :: Delay xs) = f x (foldr f xs) :: scanr f xs
90scanr f (x :: Delay xs) = f x (foldr f xs) :: scanr f xs