• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for quickcheck-dynamic-3.4.0 candidate source tarball

quickcheck-dynamic-3.4.0/

• CHANGELOG.md
• LICENSE
• NOTICE
• README.md
• quickcheck-dynamic.cabal
• src/
  • Test/
    • QuickCheck/
      • DynamicLogic.hs
      • Extras.hs
      • StateModel.hs
      • DynamicLogic/
        • CanGenerate.hs
        • Internal.hs
        • Quantify.hs
        • SmartShrinking.hs
        • Utils.hs
      • StateModel/
        • Variables.hs
• test/
  • Spec.hs
  • Spec/
    • DynamicLogic/
      • CounterModel.hs
      • Registry.hs
      • RegistryModel.hs
  • Test/
    • QuickCheck/
      • DynamicLogic/
        • QuantifySpec.hs