opentheory-parser-1.117: Stream parsers

Portabilityportable
Stabilityprovisional
MaintainerJoe Leslie-Hurd <joe@gilith.com>
Safe HaskellNone

OpenTheory.Parser.Stream

Description

 

Documentation

data Stream a Source

Constructors

Error 
Eof 
Cons a (Stream a) 

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