lib:quickspec
Modules
- QuickSpec
- QuickSpec.Internal
- QuickSpec.Internal.Explore
- QuickSpec.Internal.Explore.Conditionals
- QuickSpec.Internal.Explore.Polymorphic
- QuickSpec.Internal.Explore.Schemas
- QuickSpec.Internal.Explore.Terms
- QuickSpec.Internal.Haskell
- QuickSpec.Internal.Haskell.Resolve
- QuickSpec.Internal.Parse
- QuickSpec.Internal.Prop
- QuickSpec.Internal.Pruning
- QuickSpec.Internal.Pruning.Background
- QuickSpec.Internal.Pruning.PartialApplication
- QuickSpec.Internal.Pruning.Twee
- QuickSpec.Internal.Pruning.Types
- QuickSpec.Internal.Pruning.UntypedTwee
- QuickSpec.Internal.Term
- QuickSpec.Internal.Terminal
- QuickSpec.Internal.Testing
- QuickSpec.Internal.Testing.DecisionTree
- QuickSpec.Internal.Testing.QuickCheck
- QuickSpec.Internal.Type
- QuickSpec.Internal.Utils
Dependencies
- QuickCheck lib:QuickCheck >=2.14.2
- base lib:base >=4.7 && <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 >=0
- uglymemo lib:uglymemo >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- algebra-driven-design lib:algebra-driven-design