Многократное вызов монады Haskell

Question

У меня есть функция Haskell, которая возвращает монаду, объявленный следующим образом:

data Options = Options { 
    optGames :: Int, 
    optSuits :: Int, 
    optVerbose :: Bool 
    } deriving Show 

playGame :: Options -> StateT StdGen (WriterT [String] IO)) Bool 

Эта функция играет одну игру пасьянса, а затем возвращает логическое значение, указывающее на выигрыш или потери, наряду с log в монаде WriterT.

Я бы назвал эту функцию заданным числом раз, каждый раз используя «следующее» значение случайного генератора (StdGen) и объединяя возвращаемые значения Bool в списке.

Я попытался создать рекурсивную функцию для выполнения вызовов, но не могу понять, как передать монаду в каждую следующую итерацию.

Я хотел бы подражать

initial state >>= playGame >>= playGame ... -- repeat N times 

и собрать все в результате Bool значений, а также записи журнала из WriterT монады.

Каков наилучший способ для этого?

Answer 1

Я думаю, что вы ищете replicateM. Это повторяет указанное действие определенное количество раз, возвращая результат в виде списка. Итак, replicateM n playGame соответствует игре n раз и получить список результатов назад.