Подтвердить что ты не робот

Создание стека Full Haskell с помощью тестов

Я новичок в Haskell, и я пытаюсь структурировать тестируемую программу. Я решил использовать HUnit и Cabal.

Из того, что я видел, хорошо структурированный проект выглядит следующим образом:

src/
  AppName/
  Appname.hs
testsuite/
  tests/
    AppName/
  TestRunner.hs
AppName.cabal
Setup.hs

Части, которые являются для меня загадкой, - это TestRunner.hs и AppName.cabal.

Что бы выглядел тестировщик, который запускает весь тест в каталоге testuite/tests и подкаталогах? И как он может быть интегрирован с Cabal?

Также, как вы устанавливаете зависимости hackage в AppName.cabal и создаете их из командной строки?

Мне сложно найти полный пример создания приложения с нуля с помощью тестов и зависимостей.

Спасибо

4b9b3361

ОТВЕТЫ

Ответ 1

Здесь фрагмент файла .cabal, который я использовал для одной из моих недавних библиотек.

...
Library
  Build-depends:        base >= 4 && < 5, bytestring, directory, filepath, hslogger,
                        SHA, zlib
  Ghc-options:          -Wall
  Exposed-modules:      Ltc.Store

Test-suite reference
  Hs-Source-Dirs:       Test, .
  Main-Is:              ReferenceProps.hs
  Type:                 exitcode-stdio-1.0

  Build-Depends:        base >= 4 && < 5, bytestring, directory, filepath, hslogger,
                        SHA, zlib
  Ghc-Options:          -Wall

  Build-Depends:        test-framework, test-framework-hunit, test-framework-quickcheck2,
                        HUnit, QuickCheck

Как мы видим, файл cabal определяет библиотеку и testuite. Библиотека определяет экспортируемые модули, пакеты, от которых она зависит, и устанавливает некоторые пользовательские параметры GHC.

Мы можем легко создавать и упаковывать библиотеку для распространения с помощью:

% cabal configure
% cabal build
% cabal sdist

Testuite очень похож на библиотеку: во-первых, он имеет те же зависимости, что и библиотека (см. первую строку Build-Depends), а затем добавляет некоторые дополнительные тестовые зависимости (см. вторую строку Build-Depends). Testuite здесь представляет собой комбинацию тестов HUnit и QuickCheck, и она использует Test-Framework в качестве бегуна. Собственное испытание Test/ReferenceProps.hs. Это тест типа exitcode-stdio. Это означает, что cabal скажет, что тесты проходят, если ReferenceProps выходит с кодом 0. В противном случае он скажет, что тесты не удались.

Testuite выглядит как this (но здесь мы собираемся использовать некоторые простые тесты для разворота списка):

import Data.Monoid
import Test.Framework
import Test.Framework.Providers.HUnit
import Test.Framework.Providers.QuickCheck2
import Test.HUnit
import Test.QuickCheck

main :: IO ()
main = defaultMainWithOpts
       [ testCase "rev" testRev
       , testProperty "listRevRevId" propListRevRevId
       ] mempty

testRev :: Assertion
testRev = reverse [1, 2, 3] @?= [3, 2, 1]

propListRevRevId :: [Int] -> Property
propListRevRevId xs = not (null xs) ==> reverse (reverse xs) == xs

main - это просто упряжь. Вы также можете установить различные опции для test-framework, заменив mempty. Функция testRev является тестом HUnit, а propListRevRevId является тестом QuickCheck; см. docs о том, как их записать.

Наконец, мы можем запустить тесты:

% cabal configure --enable-tests
% cabal test