Estou realizando a seguinte chamada para o método haskell
rollD6 :: (RandomGen g, Int a) => Int -> ([a], g)
rollD6 times = roll Die6 times (mkStdGen 6)
rollD6InRange :: (RandomGen g, Int a) => Int -> Int -> Int -> ([a], g)
rollD6InRange times start end = rollR Die6 times start end (mkStdGen 6)
class Roll a where
roll :: (RandomGen g) => a -> Int -> g -> ([Int], g)
rollR :: (RandomGen g) => a -> Int -> Int -> Int -> g -> ([Int], g)
instance Roll Die where
roll Die6 times = generateIntRandomsArray 1 6 times
roll Die4 times = generateIntRandomsArray 1 4 times
roll Die20 times = generateIntRandomsArray 1 20 times
roll Die100 times = generateIntRandomsArray 1 100 times
rollR Die6 times first last = generateIntRandomsArray first last times
rollR Die4 times first last = generateIntRandomsArray first last times
rollR Die20 times first last = generateIntRandomsArray first last times
rollR Die100 times first last = generateIntRandomsArray first last times
generateIntRandomsArray :: (Eq a, Random a, Num a, RandomGen g) => a -> a -> a -> g -> ([a], g)
generateIntRandomsArray start end = generate
where generate 0 generator = ([], generator)
generate numberElements generator =
let (value, newGenerator) = randomR (start,end) generator
(restOfList, finalGenerator) = generate (numberElements-1) newGenerator
in (value:restOfList, finalGenerator)
e estou recebendo o seguinte erro
src/Merp/Die/Boundary/RollADie.hs:11:26: error:
• Expected kind ‘* -> Constraint’, but ‘Int’ has kind ‘*’
• In the type signature:
rollD6 :: (RandomGen g, Int a) => Int -> ([a], g)
|
11 | rollD6 :: (RandomGen g, Int a) => Int -> ([a], g)
| ^^^^^
src/Merp/Die/Boundary/RollADie.hs:14:32: error:
• Expected kind ‘* -> Constraint’, but ‘Int’ has kind ‘*’
• In the type signature:
rollD6InRange :: (RandomGen g, Int a) =>
Int -> Int -> Int -> ([a], g)
|
14 | rollD6InRange :: (RandomGen g, Int a) => Int -> Int -> Int -> ([a], g)
| ^^^^^
Tenho brincado com os parâmetros da chamada, mas não consegui descobrir o que está acontecendo. Você poderia me dar uma pista sobre o que sobrou?
Int
não é uma typeclass, então:não faz muito sentido: você substitui
a
,Int
então:O mesmo vale para
rollD6InRange
.Aconselho também manter o tipo do intervalo e o número de elementos separados, então:
isso nos permite, por exemplo, gerar a partir de uma sequência de
Char
s,Bool
s,Float
s ou qualquer outra coisa que seja uma instância de [Hackage] , por exemplo:Random