lib:speculate

Modules

• Test.Speculate
• Test.Speculate.Args
• Test.Speculate.CondReason
• Test.Speculate.Engine
• Test.Speculate.Expr
• Test.Speculate.Expr.Core
• Test.Speculate.Expr.Equate
• Test.Speculate.Expr.Ground
• Test.Speculate.Expr.Instance
• Test.Speculate.Function
• Test.Speculate.Function.A100
• Test.Speculate.Function.A1000
• Test.Speculate.Pretty
• Test.Speculate.Reason
• Test.Speculate.Reason.Order
• Test.Speculate.Report
• Test.Speculate.Sanity
• Test.Speculate.SemiReason
• Test.Speculate.Utils

Dependencies

• base lib:base >=4 && <5
• cmdargs lib:cmdargs >=0
• containers lib:containers >=0
• express lib:express >=0.1.1
• leancheck lib:leancheck >=0.9.1

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• extrapolate lib:extrapolate
• extrapolate test:derive
• extrapolate test:new
• extrapolate test:test
• extrapolate test:utils
• speculate bench:plus-abs
• speculate bench:test-stats
• speculate test:creason
• speculate test:engine
• speculate test:eval
• speculate test:expr
• speculate test:match
• speculate test:misc
• speculate test:order
• speculate test:reason
• speculate test:utils