opentheory-parser-1.117: Stream parsers
OpenTheory.Parser.Stream
Description
data Stream a Source
Constructors
append :: [a] -> Stream a -> Stream aSource
fromList :: [a] -> Stream aSource
fromRandom :: (Random -> (a, Random)) -> Random -> (Stream a, Random)Source
size :: Stream a -> NaturalSource
toList :: Stream a -> Maybe [a]Source