Из Doctest readme можно использовать doctest с QuickCheck, например:
-- |
-- prop> sort xs == (sort . sort) (xs :: [Int])
Я хотел бы описать это свойство, используя несколько строк, возможно, как
-- |
-- prop> sort xs ==
-- (sort . sort) (xs :: [Int])
Сам Doctest поддерживает многострочный ввод (снова из readme)
-- |
-- >>> :{
-- let
-- x = 1
-- y = 2
-- in x + y + multiline
-- :}
-- 6
и я попробовал несколько похожих синтаксисов, с которыми я столкнулся, например
-- |
-- prop> :{ sort xs ==
-- (sort . sort) (xs :: [Int])
-- }:
без каких-либо успехов. (В приведенном выше примере сообщение об ошибке parse error on input '{'
.)
Как я могу использовать многострочный ввод с Quickcheck в doctest?