モナドタイプを表示可能にする

Question

私は迷路ジェネレータを作成しており、迷路を印刷して視覚化したいと考えています。私は壁のタイプと、それらの壁のランダムな迷路を生成する関数を持っています。私はprettyPrint(weightedGrid 10 10)を呼び出すとき

import qualified Data.Graph.Inductive as Graph 
import   Data.Graph.Inductive (Gr, prettyPrint) 
data WeightedWall = WeightedWall (Int, Int, Int) Orientation deriving (Eq) 
weightedGrid :: MonadRandom m => Int -> Int -> Gr() (m WeightedWall) 

はしかし、私はこのエラーを取得する：

Ambiguous type variable ‘m0’ arising from a use of ‘prettyPrint’ 
    prevents the constraint ‘(Show 
           (m0 WeightedWall))’ from being solved. 
    Probable fix: use a type annotation to specify what ‘m0’ should be. 

私はこの問題を解決するために私のコードで何をしないのですか？

Answer 1

あなたはプリティプリンタが型を持っていることになるでしょう：

prettyPrint :: WeightedWall -> String 

その後、あなたは、あなたのMonadRandomインスタンスからWeightedWallを摘み取るprettyPrintに渡し、その後、IOモナドでStringを印刷する必要があります。

getRandomRの機能は、MonadRandomのtypeclassのメンバーであるため、使用しているMonadRandomインスタンスを教えてください。私はIOと仮定しようとしています。それは、1つの石で2羽の鳥を殺すからです（無作為の源と印刷）。次のようにあなたのmain機能はなります：

main :: IO() 
main = do 
    ww <- weightedGrid 10 10 -- pluck weighted wall from MonadRandom instance IO 
    putStrLn $ prettyPrint ww 

Answer 2

を私がやってしまった：

pp :: WeightedWall -> String 
pp (WeightedWall (a, b, c) _) = show a ++ " " ++ show b ++ " " ++ show c 

main :: IO() 
main = do 
    ww <- mapM Data.Graph.Inductive.edgeLabel $ labEdges (weightedGrid 10 10) 
    forM_ (map pp ww) putStrLn