Теория категорий, Haskell и программирование вообще

[Charlz_Klug]

Вопрос:
Приведите пример про coarbitrary из Test.QuickCheck. Как порождать случайные функции и как их использовать. Не получается понять как генерировать функции. Для просто arbitrary оно понятно:

import Data.Monoid
import Test.QuickCheck

myList' :: Arbitrary a => Gen [a]
myList' = frequency
  [ (1, return [])
  , (4, (:) <$> arbitrary <*> myList')
  ]

И можно генерировать случайные списки:

*Main Test.QuickCheck> sample myList'
[()]
[(),()]
[()]
[]
[(),()]
[(),(),(),(),(),(),(),(),(),(),()]
[(),(),(),(),(),(),()]
[]
[]
[(),(),(),(),()]
[]

А про coarbitrary?

[Charlz_Klug]

Таки разобрался. Надо сделать так:

import Data.Monoid
import Test.QuickCheck

foo :: Bool -> Gen Bool
foo a = coarbitrary a arbitrary

И можно уже генерировать случайную функцию:

*Main Test.QuickCheck> :t foo
foo :: Bool -> Gen Bool
*Main Test.QuickCheck> :t foo True
foo True :: Gen Bool

И конечный пример:

*Main Test.QuickCheck> sample $ foo True
True
True
True
False
True
False
False
False
True
False
True