Chapter.StateMachines

strToInput : String -> Maybe StkInput

stackCalc : StackIO height Integer

run : Fuel -> Vect height a -> StackIO height a -> IO ()

data StkInput : Type

Number : Integer -> StkInput

Add : StkInput

Subtract : StkInput

Multiply : StkInput

Negate : StkInput

Discard : StkInput

Duplicate : StkInput

data StackIO : Nat -> Type -> Type

Do : StackCmd ty a inHeight outHeight -> (ty -> Inf (StackIO outHeight a)) -> StackIO inHeight a

data Fuel : Type

Dry : Fuel

More : Lazy Fuel -> Fuel