Dependencies for Hoed-0.3.6
Libraries
Hoed
- array
- base (>=4 && <5)
- bytestring
- cereal
- containers
- directory
- filepath
- FPretty
- libgraph (==1.11)
- mtl
- process
- RBTree (==0.0.5)
- regex-posix
- template-haskell
- threepenny-gui (==0.6.0.5)
- time
Executables
hoed-examples-Raincat
- if flag(buildexamples)else
- buildable: False
hoed-examples-FPretty_indents_too_much
- if flag(buildexamples)
- array
- base (>=4 && <5)
- containers
- deepseq
- filepath
- Hoed
- threepenny-gui (==0.6.0.5)
- buildable: False
hoed-examples-FPretty_indents_too_much__CC
- if flag(buildexamples)
- array
- base (>=4 && <5)
- containers
- deepseq
- filepath
- Hoed
- threepenny-gui (==0.6.0.5)
- buildable: False
hoed-examples-Stern-Brocot
- if flag(buildexamples)
- array
- base (>=4 && <5)
- containers
- deepseq
- filepath
- Hoed
- threepenny-gui (==0.6.0.5)
- buildable: False
hoed-examples-Queens_v1__with_properties
- if flag(buildpropexamples)
- array
- base (>=4 && <5)
- containers
- deepseq
- filepath
- Hoed
- mtl
- QuickCheck
- threepenny-gui (==0.6.0.5)
- buildable: False
hoed-examples-Queens_v2__with_properties
- if flag(buildpropexamples)
- array
- base (>=4 && <5)
- containers
- deepseq
- filepath
- Hoed
- mtl
- QuickCheck
- threepenny-gui (==0.6.0.5)
- buildable: False
hoed-examples-Queens_v3__with_properties
- if flag(buildpropexamples)
- array
- base (>=4 && <5)
- containers
- deepseq
- filepath
- Hoed
- mtl
- QuickCheck
- threepenny-gui (==0.6.0.5)
- buildable: False
hoed-examples-Queens_v4_defect_in_filter__with_properties
- if flag(buildpropexamples)
- array
- base (>=4 && <5)
- containers
- deepseq
- filepath
- Hoed
- mtl
- QuickCheck
- threepenny-gui (==0.6.0.5)
- buildable: False
hoed-examples-filter__with_properties
- if flag(buildpropexamples)
- array
- base (>=4 && <5)
- containers
- deepseq
- filepath
- Hoed
- mtl
- QuickCheck
- threepenny-gui (==0.6.0.5)
- buildable: False
hoed-examples-Rot13
- if flag(buildexamples)
- base (>=4 && <5)
- filepath
- Hoed
- threepenny-gui (==0.6.0.5)
- buildable: False
hoed-examples-Salary
- if flag(buildexamples)
- base (>=4 && <5)
- filepath
- Hoed
- threepenny-gui (==0.6.0.5)
- 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 (==0.6.0.5)
- transformers
- 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 (==0.6.0.5)
- transformers
- 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 (==0.6.0.5)
- transformers
- buildable: False
hoed-examples-Nub-defective-sort__with_properties
- if flag(buildpropexamples)
- base (>=4 && <5)
- filepath
- Hoed
- QuickCheck
- threepenny-gui (==0.6.0.5)
- buildable: False
hoed-examples-Insertion_Sort_elements_disappear
- if flag(buildexamples)
- base (>=4 && <5)
- filepath
- Hoed
- threepenny-gui (==0.6.0.5)
- 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)
- buildable: False
hoed-examples-XMonad_changing_focus_duplicates_windows__test_only
- if flag(buildexamples)
- base (>=4 && <5)
- containers
- directory
- extensible-exceptions
- filepath
- Hoed
- mtl
- process
- random
- unix
- utf8-string
- X11 (>=1.5 && <1.7)
- 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)
- buildable: False
hoed-examples-XMonad_changing_focus_duplicates_windows__with_properties
- if flag(buildpropexamples)
- base (>=4 && <5)
- containers
- directory
- extensible-exceptions
- filepath
- Hoed
- mtl
- process
- random
- unix
- utf8-string
- X11 (>=1.5 && <1.7)
- 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)
- buildable: False
hoed-examples-SummerSchool_compiler_does_not_terminate__with_properties
- if flag(buildpropexamples)
- array
- base (>=4 && <5)
- containers
- directory
- extensible-exceptions
- filepath
- Hoed
- mtl
- process
- QuickCheck
- random
- unix
- utf8-string
- X11 (>=1.5 && <1.7)
- buildable: False
hoed-examples-CNF_unsound_de_Morgan__with_properties
hoed-examples-Digraph_not_data_invariant__with_properties
- if flag(buildpropexamples)
- base (>=4 && <5)
- Hoed
- lazysmallcheck
- 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)
- 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)
- 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)
- 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)
- buildable: False
hoed-tests-Prop-t0
hoed-tests-Prop-t1
hoed-tests-Prop-t2
- if flag(validateprop)
- base (>=4 && <5)
- Hoed
- lazysmallcheck
- 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)
- 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)
- buildable: False
hoed-tests-Prop-t5
- if flag(validateprop)
- base (>=4 && <5)
- containers
- directory
- extensible-exceptions
- filepath
- Hoed
- mtl
- process
- QuickCheck
- random
- unix
- utf8-string
- X11 (>=1.5 && <1.7)
- buildable: False
hoed-tests-ParEq
- if flag(validategeneric)
- array
- base (>=4 && <5)
- bytestring
- cereal
- containers
- directory
- filepath
- FPretty
- libgraph (==1.11)
- mtl
- process
- RBTree (==0.0.5)
- regex-posix
- template-haskell
- threepenny-gui (==0.6.0.5)
- buildable: False
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
- if flag(validatestk)
- base (>=4 && <5)
- filepath
- Hoed
- network
- threepenny-gui (==0.6.0.5)
- buildable: False
hoed-tests-Stk-Insort2
- if flag(validatestk)
- base (>=4 && <5)
- filepath
- Hoed
- threepenny-gui (==0.6.0.5)
- buildable: False
hoed-tests-Stk-Example1
- if flag(validatestk)
- base (>=4 && <5)
- filepath
- Hoed
- threepenny-gui (==0.6.0.5)
- buildable: False
hoed-tests-Stk-Example3
- if flag(validatestk)
- base (>=4 && <5)
- filepath
- Hoed
- threepenny-gui (==0.6.0.5)
- buildable: False
hoed-tests-Stk-Example4
- if flag(validatestk)
- base (>=4 && <5)
- filepath
- Hoed
- threepenny-gui (==0.6.0.5)
- buildable: False
hoed-tests-Stk-IndirectRecursion
- if flag(validatestk)
- base (>=4 && <5)
- filepath
- Hoed
- threepenny-gui (==0.6.0.5)
- buildable: False
Flags
Automatic Flags
Name | Description | Default |
---|---|---|
buildpropexamples | Build example executables. | Disabled |
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