Modulemachines-0.7.4Haskell2010

Data.Machine.Stack

datadata Stack a r where

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

valuestack

Stream outputs from one Machine into another with the possibility of pushing inputs back.

valuepeek :: PlanT (Stack a) b m a

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

valuepop :: PlanT (Stack a) b m a

Pop the next value in the input stream

valuepush :: a -> Plan (Stack a) b ()

Push back into the input stream