bburdette / schelme / Schelme.Eval

functions to 'eval' steps, yielding the next step in the computation.

evalBody : Schelme.EvalStep.EvalBodyStep a -> Schelme.EvalStep.EvalBodyStep a

Given an EvalBodyStep, compute the next EvalBodyStep.

evalFtn : Schelme.EvalStep.EvalFtnStep a -> Schelme.EvalStep.EvalFtnStep a

Given an EvalFtnStep, compute the next EvalFtnStep.

evalList : Schelme.EvalStep.ListStep a -> Schelme.EvalStep.ListStep a

Given an ListStep, compute the next ListStep.

evalTerm : Schelme.EvalStep.EvalTermStep a -> Schelme.EvalStep.EvalTermStep a

Given an EvalTermStep, compute the next EvalTermStep.

evalTerms : Schelme.EvalStep.EvalTermsStep a -> Schelme.EvalStep.EvalTermsStep a

Given an EvalTermsStep, compute the next EvalTermsStep.