NOTE: the latest version is 3.0.0

README About Versions Source Modules

Show

Functions for showing eval Steps as string.

showTerm : Term a -> String

Show a Term.

showTerms : List (Term a) -> String

Show a List of Terms.

showListStep : ListStep a -> String

Show a ListStep.

showEvalTermStep : EvalTermStep a -> String

Show a EvalTermStep.

showEvalTermsStep : EvalTermsStep a -> String

Show a EvalTermsStep.

showEvalBodyStep : EvalBodyStep a -> String

Show a EvalBodyStep.

showEvalFtnStep : EvalFtnStep a -> String

Show a EvalFtnStep.

showBuiltInStep : BuiltInStep a -> String

Show a BuiltInStep.

showSideEffectorStep : SideEffectorStep a -> String

Show a SideEffectorStep.

Modules