opentheory-parser-1.157: Stream parsers

LicenseMIT
MaintainerJoe Leslie-Hurd <joe@gilith.com>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell98

OpenTheory.Parser.Stream

Description

 

Documentation

data Stream a Source

Constructors

Error 
Eof 
Cons a (Stream a) 

Instances

Eq a => Eq (Stream a) 
Ord a => Ord (Stream a) 
Show a => Show (Stream a) 
Arbitrary a => Arbitrary (Stream a) 

append :: [a] -> Stream a -> Stream a Source

fromList :: [a] -> Stream a Source

lengthStream :: Stream a -> Natural Source

mapStream :: (a -> b) -> Stream a -> Stream b Source

toList :: Stream a -> ([a], Bool) Source