Merge pull request #3812 from Synthetica9/patch-2
Update CoList.idr
commitd176fb3c44d59c6c899a18459c1498775ecd0832
authorNiklas Larsson <metaniklas@gmail.com>
dateTue 23 May 2017, 23:26 (9 years ago)
parenta859f653d4b36f
libs/contrib/Data/CoList.idr+1−1
@@ -47,7 +47,7 @@ takeCo (S n) (x::xs) = x :: takeCo n xs
4747||| unfoldr (\b => if b == 0 then Nothing else Just (b, b-1)) 10
4848||| ```
4949|||
50−unfoldr : (a -> Maybe (a, a)) -> a -> CoList a
50+unfoldr : (a -> Maybe (b, a)) -> a -> CoList b
5151unfoldr f x =
5252 case f x of
5353 Just (y, new_x) => y :: (unfoldr f new_x)