程序代写 import Test.Hspec

import Test.Hspec

— Monad imports
import qualified MaybeSpec

Copyright By PowCoder代写 加微信 powcoder

import qualified ListSpec
import qualified ReaderSpec
import qualified WriterSpec
import qualified StateSpec

— Sat imports
import qualified PropSpec
import qualified TseitinSpec
import qualified DPLLSpec

monads :: Spec
monads = do
describe “Monads” $ do
describe “Maybe” MaybeSpec.tests
describe “List” ListSpec.tests
describe “Reader” ReaderSpec.tests
describe “Writer” WriterSpec.tests
describe “State” StateSpec.tests

sat :: Spec
describe “Sat” $ do
describe “Prop” PropSpec.tests
describe “Tseitin” TseitinSpec.tests
describe “DPLL” DPLLSpec.tests

tests :: Spec
tests = monads >> sat

main :: IO ()
main = hspec tests

程序代写 CS代考 加微信: powcoder QQ: 1823890830 Email: powcoder@163.com