Data.Machine.Unread

Documentation

data Unread a r where

This is a simple process type that knows how to push back input.

Constructors

Unread :: a -> Unread a ()

Read :: Unread a a

peek :: Plan (Unread a) b a

Peek at the next value in the input stream without consuming it

unread :: a -> Plan (Unread a) b ()

Push back into the input stream