The latest version of quickspec is 2.2-0.
lib:quickspec
Modules
- QuickSpec
- QuickSpec.Explore
- QuickSpec.Explore.Conditionals
- QuickSpec.Explore.PartialApplication
- QuickSpec.Explore.Polymorphic
- QuickSpec.Explore.Schemas
- QuickSpec.Explore.Terms
- QuickSpec.Haskell
- QuickSpec.Haskell.Resolve
- QuickSpec.Parse
- QuickSpec.Prop
- QuickSpec.Pruning
- QuickSpec.Pruning.Background
- QuickSpec.Pruning.Twee
- QuickSpec.Pruning.Types
- QuickSpec.Pruning.UntypedTwee
- QuickSpec.Term
- QuickSpec.Terminal
- QuickSpec.Testing
- QuickSpec.Testing.DecisionTree
- QuickSpec.Testing.QuickCheck
- QuickSpec.Type
- QuickSpec.Utils
Dependencies
- QuickCheck lib:QuickCheck >=2.10
- base lib:base >=4 && <5
- constraints lib:constraints >=0
- containers lib:containers >=0
- data-lens-light lib:data-lens-light >=0.1.1
- dlist lib:dlist >=0
- quickcheck-instances lib:quickcheck-instances >=0.3.16
- random lib:random >=0
- spoon lib:spoon >=0
- template-haskell lib:template-haskell >=0
- transformers lib:transformers >=0
- twee-lib lib:twee-lib ==2.1.5
- uglymemo lib:uglymemo >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- algebra-driven-design lib:algebra-driven-design