Come posso utilizzare l'input multi-linea con QuickCheck in doctest?

Question

Da Doctest's readme, si può usare doctest con QuickCheck, in questo modo:

-- | 
-- prop> sort xs == (sort . sort) (xs :: [Int]) 

Vorrei descrivere questa struttura utilizzando più righe, probabilmente come

-- | 
-- prop> sort xs == 
--   (sort . sort) (xs :: [Int]) 

doctest stesso supporta input multi-line (ancora una volta da readme)

-- | 
-- >>> :{ 
-- let 
-- x = 1 
-- y = 2 
-- in x + y + multiline 
-- :} 
-- 6 

e ho provato diverse sintassi simile mi è venuta, come

-- | 
-- prop> :{ sort xs == 
--   (sort . sort) (xs :: [Int]) 
-- }: 

senza alcun successo. (Nell'esempio sopra, il messaggio di errore è parse error on input '{'.)

Come è possibile utilizzare l'input su più righe con Quickcheck in doctest?

Answer 1

A partire da settembre 2017, doctest does not allow multi-line properties. Tuttavia, è possibile utilizzare quickCheck come al solito in un doctest:

-- >>> import Test.QuickCheck 
-- >>> import Data.List (sort) 
-- >>> :{ 
-- quickCheck $ \xs -> 
--  sort xs == 
--   (sort . sort) (xs :: [Int]) 
-- :} 
-- +++ OK, passed 100 tests. 

Questo è prolisso, ma vi permetterà di scrivere i controlli lunghi arbitrarie. Nota che puoi sempre creare una funzione prop_* e usarla nel tuo doctest.