This directory contains example applications of the monadic translator. These examples serve as test cases of the monadic translator.
array_global_stateProgScript.sml: An example showing how to use the monadic translator with references, arrays and exceptions.
array_local_stateProgScript.sml: An example showing how to use the monadic translator with references, arrays and exceptions.
array_searchProgScript.sml: An example showing how to use the monadic translator to translate monadic array search functions, including exceptions.
doubleArgProgScript.sml: An example showing how to use the monadic translator to translate monadic doubling functions, including using references (no arrays, no exceptions).
exceptionProgScript.sml: An example showing how to use the monadic translator to translate monadic functions using exceptions (no references, no arrays).
exception_arity_testProgScript.sml: A test file for the support of exceptions
fibProgScript.sml: An example showing how to use the monadic translator to translate monadic functions using references, stdio, and commandline (no arrays, no exceptions).
floyd_warshallProgScript.sml: The Floyd-Warshall algorithm - testing the monadic translator
helloProgScript.sml: An example showing how to use the monadic translator to translate monadic functions using IO primitives from the basis library.
poly_array_sortProgScript.sml: An example showing how to use the monadic translator to translate polymorphic monadic array quicksort, including exceptions.
ref_stateProgScript.sml: An example showing how to use the monadic translator to translate monadic functions using references (no arrays, no exceptions).
runProgScript.sml:
An example of how to translate run
test_assumProgScript.sml: Test the monadic translator's handling of assumptions
test_precondProgScript.sml: An example showing how to use the monadic translator with references, arrays and exceptions.
test_runScript.sml: An example showing how to make use of m_translate_run