https://github.com/dfordivam/reflex-type-simplify

Use Hedgehog (like QuickCheck) to simplify types (and life) when using reflex-frp
https://github.com/dfordivam/reflex-type-simplify

hedgehog quickcheck reflex-frp

Last synced: 6 days ago
JSON representation

Use Hedgehog (like QuickCheck) to simplify types (and life) when using reflex-frp

• Host: GitHub
• URL: https://github.com/dfordivam/reflex-type-simplify
• Owner: dfordivam
• Created: 2017-05-18T07:35:24.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2017-05-18T08:01:30.000Z (over 7 years ago)
• Last Synced: 2024-12-23T11:13:12.997Z (11 days ago)
• Topics: hedgehog, quickcheck, reflex-frp
• Language: Haskell
• Size: 8.79 KB
• Stars: 2
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# reflex-type-simplify

Use Hedgehog (like QuickCheck) to simplify types (and life) when using reflex-frp

Work in progess.. This is just a preview...

Also See https://github.com/hedgehogqa/haskell-hedgehog

```

Enter the starting type

Dynamic t (m (Event t Int))

Enter the target type

m (Event t Int)

  ✗  failed after 117 tests and 86 shrinks.

        ┏━━ Main.hs ━━━

    108 ┃ testStr :: String -> String -> Property

    109 ┃ testStr str1 str2 = withTests (TestLimit 1000000) . property $ do

    110 ┃   let

    111 ┃       (Right init) = parseSourceType str1

    112 ┃       (Right res) = parseSourceType str2

    113 ┃

    114 ┃

    115 ┃   -- Result --------------------------

    116 ┃   s <- forAll $ (opsManualRecurse init)

        ┃   │ ((join) . (fmap (fmap (switchPromptlyDyn))) . (fmap (holdDyn)) . (dyn))

    117 ┃   assert $ (applyOpTree init s) /= (Just res)

        ┃   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

    This failure can be reproduced by running:

    > recheck (Size 16) (Seed 3033341105344009770 5793933252947687363) 

```

This work is inspired by 

http://clrnd.com.ar/posts/2017-04-21-the-water-jug-problem-in-hedgehog.html