Haskellは私のデータ構造にショーのインスタンスを追加することで問題を抱えてリストに

Question

イムをインスタンスを示し、ウィッヒは次のとおりです。

data Structure = Structure String [Structure] 

と私はこの出力を持っているしたいと思います：

strct 
    strct1 
    strct2 
    strct3 

私がしましたこの

instance Show Structure where 
    show (Structure a (xs)) = show a ++ "\n" ++ " " ++ show xs 

をしようとしているが、その出力は

ですされて

"strct" 
    ["strct1" 
    [], "strct2" 
    []] 

したがって、角括弧とカンマと引用符は必要ありません。何か案は？ありがとう

Answer 1

これは良いライブラリルーチンがあると確信していますが、この作品はありませんか？

unlines $ a : [" " ++ show x | x <- xs] 

ただし、これには1つのレベルしか含まれていません。インデントを維持するためにshowとは別の関数を定義するか、インデントを挿入する場所を見つけるためにサブフリーを分割してlinesに分割しておく必要があります。

なインデントの挿入機能のラフ案は次のとおりです。

prefix p s = unlines [p ++ l | l <- lines s] 

繰り返しますが、私は図書館でもっと良いものがあると確信しています。これらの短いスニペットでも、いくつかの洗練されたスニペット（foldl1 (++) - >concat - >unlines）が最初の行に先頭に:という形で結合しています。

Answer 2

基本的に1つの簿記だけが行なわれ、インデントレベルのトラクトを維持する。累積カウンタは間違いなく役に立ちます：

pretty' :: Int -> Structure -> [String] 
pretty' level (Structure s list) = ((concat $ replicate level " ") ++ s) : 
    (list >>= (pretty' (level + 1))) 

この関数は、きれいなプリンタのアキュムレータを定義します。残りの部分は、それをラップすることです：

pretty = pretty' 0 
prettyShow = unlines . pretty 

それは間違いなく私がbaseが付属していますData.Treeモジュールを使用することをお勧めし

Prelude> putStrLn $ prettyShow (Structure "a" [Structure "b" [Structure "c" []], Structure "d" []]) 
a 
    b 
     c 
    d 

Answer 3

に動作します。また、大体あなたが書くしようとしていたものですdrawTreeとdrawForest機能が付属しています

data Tree a = Node {rootLabel :: a, subForest :: Forest a} 
type Forest a = [Tree a] 

：それはリストは型シノニムで行くことを除いて、あなたと同じ構造を持つジェネリック（バラ）の木ですあなた自身。

> :m + Data.Tree 
> let t = Node "strct" [Node "strct1" [], Node "strct2" [], Node "strct3" []] 
> putStr . drawTree $ t 
strct 
| 
+- strct1 
| 
+- strct2 
| 
`- strct3