Text.LParse.TokenStream

This module contains the TokenStream class, an abstraction of lists, similar to Traversable, but geared for use with LParse

Documentation

class (Functor t, Foldable t) => TokenStream t where

TokenStream abstracts a list, i.e., something that has a next element to process and a rest afterwards

Methods

top :: t a -> a

top gives the next element to process. Similar to head

rest :: t a -> t a

rest gives what is left after processing top. Similar to tail

nil :: t a

nil gives the empty TokenStream. Similar to `[]`

cons :: a -> t a -> t a

cons prepends an element to the TokenStream. Similar to `(:)`

Instances

TokenStream []

Defined in Text.LParse.TokenStream

Methods

top :: [a] -> a

rest :: [a] -> [a]

nil :: [a]

cons :: a -> [a] -> [a]

TokenStream Maybe

Defined in Text.LParse.TokenStream

Methods

top :: Maybe a -> a

rest :: Maybe a -> Maybe a

nil :: Maybe a

cons :: a -> Maybe a -> Maybe a

TokenStream (Either a)

Defined in Text.LParse.TokenStream

Methods

top :: Either a a0 -> a0

rest :: Either a a0 -> Either a a0

nil :: Either a a0

cons :: a0 -> Either a a0 -> Either a a0

drop :: TokenStream s => Int -> s a -> s a

TokenStream version of drop

zip :: TokenStream s => s a -> s b -> s (a, b)

TokenStream version of zip

zipWith :: TokenStream s => (a -> b -> c) -> s a -> s b -> s c

TokenStream version of zipWith

filter :: TokenStream s => (a -> Bool) -> s a -> s a

TokenStream version of filter