parcom-lib-0.1.0.0: Text/Parcom/Stream.hs

{-#LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances #-}
module Text.Parcom.Stream
where

class Stream s t | s -> t where
    peek :: s -> t
    atEnd :: s -> Bool
    consume :: s -> s
    pop :: s -> (t, s)
    consume = snd . pop
    pop s = (peek s, consume s)

instance Stream [a] a where
    peek = head
    atEnd = null
    consume = tail

class Token t where
    isLineDelimiter :: t -> Bool

instance Token Char where
    isLineDelimiter '\n' = True
    isLineDelimiter _ = False