Dependencies for Hoed-0.3.0

library
hoed-examples-Foldl
hoed-examples-HeadOnEmpty1
hoed-examples-HeadOnEmpty2
hoed-examples-IndirectRecursion
hoed-examples-Pretty
hoed-examples-Example1
hoed-examples-Example3
hoed-examples-Example4
hoed-examples-Insort1
hoed-examples-Insort2
hoed-examples-DoublingServer1
hoed-examples-DoublingServer2
hoed-examples-DoublingServer3
hoed-examples-DoublingServer4
hoed-examples-DoublingServer5
hoed-examples-Hashmap
hoed-examples-Responsibility
hoed-examples-TightRope1
hoed-examples-TightRope2
hoed-examples-TightRope3
hoed-examples-AskName
hoed-tests-Generic-r0
  • if flag(validategeneric)
    else
    • buildable: False
hoed-tests-Generic-t0
  • if flag(validategeneric)
    else
    • buildable: False
hoed-tests-Generic-r1
  • if flag(validategeneric)
    else
    • buildable: False
hoed-tests-Generic-t1
  • if flag(validategeneric)
    else
    • buildable: False
hoed-tests-Generic-r2
  • if flag(validategeneric)
    else
    • buildable: False
hoed-tests-Generic-t2
  • if flag(validategeneric)
    else
    • buildable: False
hoed-tests-Generic-r3
  • if flag(validategeneric)
    else
    • buildable: False
hoed-tests-Generic-t3
  • if flag(validategeneric)
    else
    • buildable: False
hoed-tests-Pure-t1
  • if flag(validatepure)
    else
    • buildable: False
hoed-tests-Pure-t2
  • if flag(validatepure)
    else
    • buildable: False
hoed-tests-Pure-t3
  • if flag(validatepure)
    else
    • buildable: False
hoed-tests-Pure-t4
  • if flag(validatepure)
    else
    • buildable: False
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

NameDescriptionDefaultType
buildexamples

Build example executables.

DisabledAutomatic
validatepure

Build test cases to validate Hoed-pure.

DisabledAutomatic
validatestk

Build test cases to validate Hoed-stk.

DisabledAutomatic
validategeneric

Build test cases to validate deriving Observable for Generic types.

DisabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info