opentheory-stream-1.45: Infinite stream types
OpenTheory.Stream
Description
nth :: [a] -> Natural -> a Source
naturalTake :: [a] -> Natural -> [a] Source
unfold :: (b -> (a, b)) -> b -> [a] Source