Compute something with LogicT

master
Aaron VonderHaar 2019-07-17 21:21:43 -07:00
parent 413e8516ca
commit a99d1dd1ba
2 changed files with 7 additions and 1 deletions

View File

@ -1,7 +1,12 @@
import Test.Hspec
import Control.Applicative
import Control.Monad
import Control.Monad.Logic
main :: IO ()
main =
hspec $ do
return ()
describe "example test" $ do
it "should produce results" $ do
observeMany 5 (return () <|> return ()) `shouldBe` [(), ()]

1
go.sh
View File

@ -4,4 +4,5 @@ set -euxo pipefail
stack install ghcid
stack install hspec
stack install logict
~/.local/bin/ghcid Main.hs --test main