用随机生成器数据类型参数化的Haskell数据类型
如何使用随机生成器数据类型参数化数据类型? 我试过这个:用随机生成器数据类型参数化的Haskell数据类型,haskell,Haskell,如何使用随机生成器数据类型参数化数据类型? 我试过这个: data DataType g = Data (RandomGen g) 但我明白了 Predicate `RandomGen g' used as a type In the type `RandomGen g' In the definition of data constructor `Data' In the data declaration for `DataType' Failed, modules loaded: Game
data DataType g = Data (RandomGen g)
但我明白了
Predicate `RandomGen g' used as a type
In the type `RandomGen g'
In the definition of data constructor `Data'
In the data declaration for `DataType'
Failed, modules loaded: GameState.
RandomGen
是一个类型类,而不是类型。如果适合您,请使用StdGen
。而且它没有任何参数化,所以您只需要data DataType=data StdGen
RandomGen
是一个类型类,而不是类型。如果适合您,请使用StdGen
。而且它没有任何参数化,所以您只需要datadatatype=datastdgen
,这样它就不那么多态了。也许他想要数据数据类型a=DataConstr a
。也就是说,约束应该放在使用DataType
的函数上,而不是放在类型声明上。也许他想要数据数据类型a=DataConstr a
。也就是说,约束应该放在使用DataType
的函数上,而不是放在类型声明上。