Could not find module ‘Test.QuickCheck’ on Windows












0















My ghci version is 8.4.3



I tried



stack install QuickCheck


Something was installed. But when I input import Test.QuickCheck, it tells Could not find module ‘Test.QuickCheck’ again. How can I fix it?






haskell quickcheck







share|improve this question



























    0















    My ghci version is 8.4.3



    I tried



    stack install QuickCheck


    Something was installed. But when I input import Test.QuickCheck, it tells Could not find module ‘Test.QuickCheck’ again. How can I fix it?






    haskell quickcheck







    share|improve this question

























      0












      0








      0


      1






      My ghci version is 8.4.3



      I tried



      stack install QuickCheck


      Something was installed. But when I input import Test.QuickCheck, it tells Could not find module ‘Test.QuickCheck’ again. How can I fix it?






      haskell quickcheck







      share|improve this question














      My ghci version is 8.4.3



      I tried



      stack install QuickCheck


      Something was installed. But when I input import Test.QuickCheck, it tells Could not find module ‘Test.QuickCheck’ again. How can I fix it?






      haskell quickcheck




      haskell quickcheck






      share|improve this question













      share|improve this question











      share|improve this question




      share|improve this question










      asked Nov 20 '18 at 22:03









      user8314628user8314628

      587210




      587210
























          2 Answers
          2






          active

          oldest

          votes


















          4














          Firstly, stack install is not recommended for installing executables or libraries. Instead, there's a couple of things you can do to use the QuickCheck library:




          • If you want to use QuickCheck in a command such as stack ghci or stack ghc, you can add it as a --package option e.g. to run a REPL to play around with QuickCheck you can use stack ghci --package QuickCheck and then write import Test.QuickCheck.

          • If you want to write a small one-file program using QuickCheck, then you can run stack ghc --package QuickCheck -- MyProgram.hs (using the --package option from the last bullet point). Alternately, you can use stack's scripting functionality and include a line such as this at the top of your program:

            -- stack --resolver lts-12.18 script --package QuickCheck


          • If you want to use QuickCheck in a large project, then add it as a dependency in your my-program.cabal or project.yaml file.


          The same guidance applies to any package you may want to use.






          share|improve this answer































            0















            1. Download QuickCheck-2.12.6.1.tar.gz


            2. cabal install QuickCheck-2.12.6.1.tar.gz







            share|improve this answer
























            • There's no need to install from a download. If you're using cabal-install, just run cabal install QuickCheck and let the resolver do its thing.

              – Chris Smith
              Nov 20 '18 at 22:38











            • It doesn't work. I tried that also.

              – user8314628
              Nov 20 '18 at 22:57











            Your Answer






            StackExchange.ifUsing("editor", function () {
            StackExchange.using("externalEditor", function () {
            StackExchange.using("snippets", function () {
            StackExchange.snippets.init();
            });
            });
            }, "code-snippets");

            StackExchange.ready(function() {
            var channelOptions = {
            tags: "".split(" "),
            id: "1"
            };
            initTagRenderer("".split(" "), "".split(" "), channelOptions);

            StackExchange.using("externalEditor", function() {
            // Have to fire editor after snippets, if snippets enabled
            if (StackExchange.settings.snippets.snippetsEnabled) {
            StackExchange.using("snippets", function() {
            createEditor();
            });
            }
            else {
            createEditor();
            }
            });

            function createEditor() {
            StackExchange.prepareEditor({
            heartbeatType: 'answer',
            autoActivateHeartbeat: false,
            convertImagesToLinks: true,
            noModals: true,
            showLowRepImageUploadWarning: true,
            reputationToPostImages: 10,
            bindNavPrevention: true,
            postfix: "",
            imageUploader: {
            brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
            contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
            allowUrls: true
            },
            onDemand: true,
            discardSelector: ".discard-answer"
            ,immediatelyShowMarkdownHelp:true
            });


            }
            });














            draft saved

            draft discarded


















            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53402263%2fcould-not-find-module-test-quickcheck-on-windows%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown

























            2 Answers
            2






            active

            oldest

            votes








            2 Answers
            2






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes









            4














            Firstly, stack install is not recommended for installing executables or libraries. Instead, there's a couple of things you can do to use the QuickCheck library:




            • If you want to use QuickCheck in a command such as stack ghci or stack ghc, you can add it as a --package option e.g. to run a REPL to play around with QuickCheck you can use stack ghci --package QuickCheck and then write import Test.QuickCheck.

            • If you want to write a small one-file program using QuickCheck, then you can run stack ghc --package QuickCheck -- MyProgram.hs (using the --package option from the last bullet point). Alternately, you can use stack's scripting functionality and include a line such as this at the top of your program:

              -- stack --resolver lts-12.18 script --package QuickCheck


            • If you want to use QuickCheck in a large project, then add it as a dependency in your my-program.cabal or project.yaml file.


            The same guidance applies to any package you may want to use.






            share|improve this answer




























              4














              Firstly, stack install is not recommended for installing executables or libraries. Instead, there's a couple of things you can do to use the QuickCheck library:




              • If you want to use QuickCheck in a command such as stack ghci or stack ghc, you can add it as a --package option e.g. to run a REPL to play around with QuickCheck you can use stack ghci --package QuickCheck and then write import Test.QuickCheck.

              • If you want to write a small one-file program using QuickCheck, then you can run stack ghc --package QuickCheck -- MyProgram.hs (using the --package option from the last bullet point). Alternately, you can use stack's scripting functionality and include a line such as this at the top of your program:

                -- stack --resolver lts-12.18 script --package QuickCheck


              • If you want to use QuickCheck in a large project, then add it as a dependency in your my-program.cabal or project.yaml file.


              The same guidance applies to any package you may want to use.






              share|improve this answer


























                4












                4








                4







                Firstly, stack install is not recommended for installing executables or libraries. Instead, there's a couple of things you can do to use the QuickCheck library:




                • If you want to use QuickCheck in a command such as stack ghci or stack ghc, you can add it as a --package option e.g. to run a REPL to play around with QuickCheck you can use stack ghci --package QuickCheck and then write import Test.QuickCheck.

                • If you want to write a small one-file program using QuickCheck, then you can run stack ghc --package QuickCheck -- MyProgram.hs (using the --package option from the last bullet point). Alternately, you can use stack's scripting functionality and include a line such as this at the top of your program:

                  -- stack --resolver lts-12.18 script --package QuickCheck


                • If you want to use QuickCheck in a large project, then add it as a dependency in your my-program.cabal or project.yaml file.


                The same guidance applies to any package you may want to use.






                share|improve this answer













                Firstly, stack install is not recommended for installing executables or libraries. Instead, there's a couple of things you can do to use the QuickCheck library:




                • If you want to use QuickCheck in a command such as stack ghci or stack ghc, you can add it as a --package option e.g. to run a REPL to play around with QuickCheck you can use stack ghci --package QuickCheck and then write import Test.QuickCheck.

                • If you want to write a small one-file program using QuickCheck, then you can run stack ghc --package QuickCheck -- MyProgram.hs (using the --package option from the last bullet point). Alternately, you can use stack's scripting functionality and include a line such as this at the top of your program:

                  -- stack --resolver lts-12.18 script --package QuickCheck


                • If you want to use QuickCheck in a large project, then add it as a dependency in your my-program.cabal or project.yaml file.


                The same guidance applies to any package you may want to use.







                share|improve this answer












                share|improve this answer



                share|improve this answer










                answered Nov 20 '18 at 22:28









                bradrnbradrn

                1,015512




                1,015512

























                    0















                    1. Download QuickCheck-2.12.6.1.tar.gz


                    2. cabal install QuickCheck-2.12.6.1.tar.gz







                    share|improve this answer
























                    • There's no need to install from a download. If you're using cabal-install, just run cabal install QuickCheck and let the resolver do its thing.

                      – Chris Smith
                      Nov 20 '18 at 22:38











                    • It doesn't work. I tried that also.

                      – user8314628
                      Nov 20 '18 at 22:57
















                    0















                    1. Download QuickCheck-2.12.6.1.tar.gz


                    2. cabal install QuickCheck-2.12.6.1.tar.gz







                    share|improve this answer
























                    • There's no need to install from a download. If you're using cabal-install, just run cabal install QuickCheck and let the resolver do its thing.

                      – Chris Smith
                      Nov 20 '18 at 22:38











                    • It doesn't work. I tried that also.

                      – user8314628
                      Nov 20 '18 at 22:57














                    0












                    0








                    0








                    1. Download QuickCheck-2.12.6.1.tar.gz


                    2. cabal install QuickCheck-2.12.6.1.tar.gz







                    share|improve this answer














                    1. Download QuickCheck-2.12.6.1.tar.gz


                    2. cabal install QuickCheck-2.12.6.1.tar.gz








                    share|improve this answer












                    share|improve this answer



                    share|improve this answer










                    answered Nov 20 '18 at 22:17









                    user8314628user8314628

                    587210




                    587210













                    • There's no need to install from a download. If you're using cabal-install, just run cabal install QuickCheck and let the resolver do its thing.

                      – Chris Smith
                      Nov 20 '18 at 22:38











                    • It doesn't work. I tried that also.

                      – user8314628
                      Nov 20 '18 at 22:57



















                    • There's no need to install from a download. If you're using cabal-install, just run cabal install QuickCheck and let the resolver do its thing.

                      – Chris Smith
                      Nov 20 '18 at 22:38











                    • It doesn't work. I tried that also.

                      – user8314628
                      Nov 20 '18 at 22:57

















                    There's no need to install from a download. If you're using cabal-install, just run cabal install QuickCheck and let the resolver do its thing.

                    – Chris Smith
                    Nov 20 '18 at 22:38





                    There's no need to install from a download. If you're using cabal-install, just run cabal install QuickCheck and let the resolver do its thing.

                    – Chris Smith
                    Nov 20 '18 at 22:38













                    It doesn't work. I tried that also.

                    – user8314628
                    Nov 20 '18 at 22:57





                    It doesn't work. I tried that also.

                    – user8314628
                    Nov 20 '18 at 22:57


















                    draft saved

                    draft discarded




















































                    Thanks for contributing an answer to Stack Overflow!


                    • Please be sure to answer the question. Provide details and share your research!

                    But avoid …



                    • Asking for help, clarification, or responding to other answers.

                    • Making statements based on opinion; back them up with references or personal experience.


                    To learn more, see our tips on writing great answers.




                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function () {
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53402263%2fcould-not-find-module-test-quickcheck-on-windows%23new-answer', 'question_page');
                    }
                    );

                    Post as a guest















                    Required, but never shown





















































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown

































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown







                    -

                    這個網誌中的熱門文章

                    Xamarin.form Move up view when keyboard appear

                    圖片
                    .everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ height:90px;width:728px;box-sizing:border-box; } 0 I'm trying to build a Chat app UI, the idea of the Layout was pretty simple: When the input bar is focused, keyboard show up and "push" up the chat bar, as it's a grid, the ListView will resize to fit the screen: I update the input bar's margin to "push" it up: NSValue result = (NSValue)args.Notification.UserInfo.ObjectForKey(new NSString(UIKeyboard.FrameEndUserInfoKey)); CGSize keyboardSize = result.RectangleFValue.Size; if (Element != null){ Element.Margin = new Thickness(0, 0, 0,keyboardSize.Height); //push the entry up to keyboard height when keyboard is activated } And this is ...
                    閱讀完整內容

                    Post-Redirect-Get with Spring WebFlux and Thymeleaf

                    圖片
                    .everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ height:90px;width:728px;box-sizing:border-box; } 2 Can someone explain to me how to implement the post-redirect-get pattern in Spring WebFlux and Thymeleaf? What subscribes on the database save method? @GetMapping("/register") public String showRegisterForm(Model model) { model.addAttribute("user", new User()); return "register"; } @PostMapping public String processRegisterForm(@Valid User user, BindingResult bindingResult) { if (bindingResult.hasErrors()) { return "register"; } else { userRepository.save(user); //what subscribes on this? //how to redirect on e.g. "/login"? ...
                    閱讀完整內容

                    Anylogic : not able to use stopDelay()

                    圖片
                    -2 I am building a railway station model. I want a train to depart when I click a button. I want to call stopDelay() for that but I am not sure how to do that and from which place. anylogic share | improve this question asked Nov 23 '18 at 10:12 Anupam Singh Anupam Singh 1 Hi Anupam, welcome to SOF. Please check how to ask good questions, see link below. Your question is...
                    閱讀完整內容