{"id":18730411,"url":"https://github.com/dfordivam/reflex-type-simplify","last_synced_at":"2025-11-12T11:30:16.836Z","repository":{"id":140635555,"uuid":"91663137","full_name":"dfordivam/reflex-type-simplify","owner":"dfordivam","description":"Use Hedgehog (like QuickCheck) to simplify types (and life) when using reflex-frp","archived":false,"fork":false,"pushed_at":"2017-05-18T08:01:30.000Z","size":9,"stargazers_count":2,"open_issues_count":0,"forks_count":0,"subscribers_count":4,"default_branch":"master","last_synced_at":"2025-02-14T21:39:57.167Z","etag":null,"topics":["hedgehog","quickcheck","reflex-frp"],"latest_commit_sha":null,"homepage":null,"language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/dfordivam.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2017-05-18T07:35:24.000Z","updated_at":"2019-12-24T10:50:02.000Z","dependencies_parsed_at":"2023-07-11T01:16:02.863Z","dependency_job_id":null,"html_url":"https://github.com/dfordivam/reflex-type-simplify","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dfordivam%2Freflex-type-simplify","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dfordivam%2Freflex-type-simplify/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dfordivam%2Freflex-type-simplify/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dfordivam%2Freflex-type-simplify/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dfordivam","download_url":"https://codeload.github.com/dfordivam/reflex-type-simplify/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":239599759,"owners_count":19666050,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["hedgehog","quickcheck","reflex-frp"],"created_at":"2024-11-07T14:41:20.825Z","updated_at":"2025-11-12T11:30:16.755Z","avatar_url":"https://github.com/dfordivam.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"# reflex-type-simplify\nUse Hedgehog (like QuickCheck) to simplify types (and life) when using reflex-frp\n\nWork in progess.. This is just a preview...\n\nAlso See https://github.com/hedgehogqa/haskell-hedgehog\n\n```\nEnter the starting type\nDynamic t (m (Event t Int))\nEnter the target type\nm (Event t Int)\n  ✗ \u003cinteractive\u003e failed after 117 tests and 86 shrinks.\n\n        ┏━━ Main.hs ━━━\n    108 ┃ testStr :: String -\u003e String -\u003e Property\n    109 ┃ testStr str1 str2 = withTests (TestLimit 1000000) . property $ do\n    110 ┃   let\n    111 ┃       (Right init) = parseSourceType str1\n    112 ┃       (Right res) = parseSourceType str2\n    113 ┃\n    114 ┃\n    115 ┃   -- Result --------------------------\n    116 ┃   s \u003c- forAll $ (opsManualRecurse init)\n        ┃   │ ((join) . (fmap (fmap (switchPromptlyDyn))) . (fmap (holdDyn)) . (dyn))\n    117 ┃   assert $ (applyOpTree init s) /= (Just res)\n        ┃   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n\n    This failure can be reproduced by running:\n    \u003e recheck (Size 16) (Seed 3033341105344009770 5793933252947687363) \u003cproperty\u003e\n```\n\n\nThis work is inspired by \nhttp://clrnd.com.ar/posts/2017-04-21-the-water-jug-problem-in-hedgehog.html\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdfordivam%2Freflex-type-simplify","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fdfordivam%2Freflex-type-simplify","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdfordivam%2Freflex-type-simplify/lists"}