Dependencies for Hoed-0.3.2
library |
|
---|---|
hoed-examples-FPretty_indents_too_much |
|
hoed-examples-FPretty_indents_too_much__CC |
|
hoed-examples-Insertion_Sort_elements_disappear |
|
hoed-examples-XMonad_changing_focus_duplicates_windows |
|
hoed-examples-XMonad_changing_focus_duplicates_windows__CC |
|
hoed-examples-XMonad_changing_focus_duplicates_windows__with_properties |
|
hoed-examples-SummerSchool_compiler_does_not_terminate |
|
hoed-examples-SummerSchool_compiler_does_not_terminate__with_properties |
|
hoed-examples-CNF_unsound_de_Morgan__with_properties | |
hoed-examples-Digraph_not_data_invariant__with_properties |
|
hoed-examples-Simple_higher-order_function |
|
hoed-examples-Parity_test |
|
hoed-examples-Expression_simplifier |
|
hoed-examples-Expression_simplifier__with_properties |
|
hoed-tests-Prop-t0 | |
hoed-tests-Prop-t1 | |
hoed-tests-Prop-t2 |
|
hoed-tests-Prop-t3 |
|
hoed-tests-Prop-t4 |
|
hoed-tests-Generic-r0 | |
hoed-tests-Generic-t0 | |
hoed-tests-Generic-r1 | |
hoed-tests-Generic-t1 | |
hoed-tests-Generic-r2 | |
hoed-tests-Generic-t2 | |
hoed-tests-Generic-r3 | |
hoed-tests-Generic-t3 | |
hoed-tests-Pure-t1 | |
hoed-tests-Pure-t2 | |
hoed-tests-Pure-t3 | |
hoed-tests-Pure-t4 | |
hoed-tests-Pure-t5 | |
hoed-tests-Pure-t6 | |
hoed-tests-Pure-t7 | |
hoed-tests-Stk-DoublingServer |
|
hoed-tests-Stk-Insort2 |
|
hoed-tests-Stk-Example1 |
|
hoed-tests-Stk-Example3 |
|
hoed-tests-Stk-Example4 |
|
hoed-tests-Stk-IndirectRecursion |
|
Flags
Automatic Flags
Name | Description | Default |
---|---|---|
buildexamples | Build example executables. | Disabled |
validatepure | Build test cases to validate Hoed-pure. | Disabled |
validatestk | Build test cases to validate Hoed-stk. | Disabled |
validategeneric | Build test cases to validate deriving Observable for Generic types. | Disabled |
validateprop | Build test cases to validate deriving judgements with properties. | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info