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