Hoed-0.3.4: dependencies

Dependencies for Hoed-0.3.4

library	array base (>=4 && <5) containers directory filepath FPretty libgraph (==1.9) mtl process RBTree (==0.0.5) regex-posix template-haskell threepenny-gui (>=0.6 && <0.7)
hoed-examples-FPretty_indents_too_much	if flag(buildexamples) array base (>=4 && <5) containers deepseq filepath Hoed threepenny-gui else buildable: False
hoed-examples-FPretty_indents_too_much__CC	if flag(buildexamples) array base (>=4 && <5) containers deepseq filepath Hoed threepenny-gui else buildable: False
hoed-examples-Rot13	if flag(buildexamples) base (>=4 && <5) filepath Hoed threepenny-gui else buildable: False
hoed-examples-Salary	if flag(buildexamples) base (>=4 && <5) filepath Hoed threepenny-gui else buildable: False
hoed-examples-ZLang_Defect-1	if flag(buildexamples) adjunctions base (>=4 && <5) containers filepath Hoed indents monad-loops mtl parsec QuickCheck threepenny-gui transformers else buildable: False
hoed-examples-ZLang_Defect-2	if flag(buildexamples) adjunctions base (>=4 && <5) containers filepath Hoed indents monad-loops mtl parsec QuickCheck threepenny-gui transformers else buildable: False
hoed-examples-ZLang_Defect-3	if flag(buildexamples) adjunctions base (>=4 && <5) containers filepath Hoed indents monad-loops mtl parsec QuickCheck threepenny-gui transformers else buildable: False
hoed-examples-Nub-defective-sort__with_properties	if flag(buildexamples) base (>=4 && <5) filepath Hoed QuickCheck threepenny-gui else buildable: False
hoed-examples-Insertion_Sort_elements_disappear	if flag(buildexamples) base (>=4 && <5) filepath Hoed threepenny-gui else buildable: False
hoed-examples-XMonad_changing_focus_duplicates_windows	if flag(buildexamples) base (>=4 && <5) containers directory extensible-exceptions filepath Hoed mtl process random unix utf8-string X11 (>=1.5 && <1.7) else buildable: False
hoed-examples-XMonad_changing_focus_duplicates_windows__CC	if flag(buildexamples) base (>=4 && <5) containers directory extensible-exceptions filepath Hoed mtl process random unix utf8-string X11 (>=1.5 && <1.7) else buildable: False
hoed-examples-XMonad_changing_focus_duplicates_windows__with_properties	if flag(buildexamples) base (>=4 && <5) containers directory extensible-exceptions filepath Hoed mtl process random unix utf8-string X11 (>=1.5 && <1.7) else buildable: False
hoed-examples-SummerSchool_compiler_does_not_terminate	if flag(buildexamples) array base (>=4 && <5) containers directory extensible-exceptions filepath Hoed mtl process random unix utf8-string X11 (>=1.5 && <1.7) else buildable: False
hoed-examples-SummerSchool_compiler_does_not_terminate__with_properties	if flag(buildexamples) array base (>=4 && <5) containers directory extensible-exceptions filepath Hoed mtl process QuickCheck random unix utf8-string X11 (>=1.5 && <1.7) else buildable: False
hoed-examples-CNF_unsound_de_Morgan__with_properties	if flag(buildexamples) base (>=4 && <5) Hoed else buildable: False
hoed-examples-Digraph_not_data_invariant__with_properties	if flag(buildexamples) base (>=4 && <5) Hoed lazysmallcheck else buildable: False
hoed-examples-Simple_higher-order_function	if flag(buildexamples) array base (>=4 && <5) containers directory extensible-exceptions filepath Hoed mtl process random unix utf8-string X11 (>=1.5 && <1.7) else buildable: False
hoed-examples-Parity_test	if flag(buildexamples) array base (>=4 && <5) containers directory extensible-exceptions filepath Hoed mtl process random unix utf8-string X11 (>=1.5 && <1.7) else buildable: False
hoed-examples-Expression_simplifier	if flag(buildexamples) array base (>=4 && <5) containers directory extensible-exceptions filepath Hoed mtl process random unix utf8-string X11 (>=1.5 && <1.7) else buildable: False
hoed-examples-Expression_simplifier__with_properties	if flag(buildexamples) array base (>=4 && <5) containers directory extensible-exceptions filepath Hoed mtl process random unix utf8-string X11 (>=1.5 && <1.7) else buildable: False
hoed-tests-Prop-t0	if flag(validateprop) base (>=4 && <5) Hoed else buildable: False
hoed-tests-Prop-t1	if flag(validateprop) base (>=4 && <5) Hoed else buildable: False
hoed-tests-Prop-t2	if flag(validateprop) base (>=4 && <5) Hoed lazysmallcheck else buildable: False
hoed-tests-Prop-t3	if flag(validateprop) base (>=4 && <5) containers directory extensible-exceptions filepath Hoed mtl process random unix utf8-string X11 (>=1.5 && <1.7) else buildable: False
hoed-tests-Prop-t4	if flag(validateprop) base (>=4 && <5) containers directory extensible-exceptions filepath Hoed mtl process random unix utf8-string X11 (>=1.5 && <1.7) else buildable: False
hoed-tests-ParEq	if flag(validategeneric) array base (>=4 && <5) containers directory filepath FPretty libgraph (==1.9) mtl process RBTree (==0.0.5) regex-posix template-haskell threepenny-gui (>=0.6 && <0.7) else buildable: False
hoed-tests-Generic-r0	if flag(validategeneric) base (>=4 && <5) Hoed else buildable: False
hoed-tests-Generic-t0	if flag(validategeneric) base (>=4 && <5) Hoed else buildable: False
hoed-tests-Generic-r1	if flag(validategeneric) base (>=4 && <5) Hoed else buildable: False
hoed-tests-Generic-t1	if flag(validategeneric) base (>=4 && <5) Hoed else buildable: False
hoed-tests-Generic-r2	if flag(validategeneric) base (>=4 && <5) Hoed else buildable: False
hoed-tests-Generic-t2	if flag(validategeneric) base (>=4 && <5) Hoed else buildable: False
hoed-tests-Generic-r3	if flag(validategeneric) base (>=4 && <5) Hoed else buildable: False
hoed-tests-Generic-t3	if flag(validategeneric) base (>=4 && <5) Hoed else buildable: False
hoed-tests-Pure-t1	if flag(validatepure) base (>=4 && <5) Hoed else buildable: False
hoed-tests-Pure-t2	if flag(validatepure) base (>=4 && <5) Hoed else buildable: False
hoed-tests-Pure-t3	if flag(validatepure) base (>=4 && <5) Hoed else buildable: False
hoed-tests-Pure-t4	if flag(validatepure) base (>=4 && <5) Hoed else buildable: False
hoed-tests-Pure-t5	if flag(validatepure) base (>=4 && <5) Hoed else buildable: False
hoed-tests-Pure-t6	if flag(validatepure) base (>=4 && <5) Hoed else buildable: False
hoed-tests-Pure-t7	if flag(validatepure) base (>=4 && <5) Hoed else buildable: False
hoed-tests-Stk-DoublingServer	if flag(validatestk) base (>=4 && <5) filepath Hoed network threepenny-gui else buildable: False
hoed-tests-Stk-Insort2	if flag(validatestk) base (>=4 && <5) filepath Hoed threepenny-gui else buildable: False
hoed-tests-Stk-Example1	if flag(validatestk) base (>=4 && <5) filepath Hoed threepenny-gui else buildable: False
hoed-tests-Stk-Example3	if flag(validatestk) base (>=4 && <5) filepath Hoed threepenny-gui else buildable: False
hoed-tests-Stk-Example4	if flag(validatestk) base (>=4 && <5) filepath Hoed threepenny-gui else buildable: False
hoed-tests-Stk-IndirectRecursion	if flag(validatestk) base (>=4 && <5) filepath Hoed threepenny-gui else buildable: False

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