ハスケル：プリティプリント中置とプレフィックス

Question

私はHaskellの型を表現するタイプがあります。他のリテラルは、接頭辞を印刷している間

data Type 
    = TApp Type Type 
    | TVar Name 
    | TLit Name 
infixl 8 `TApp` 

-- a -> b 
aToB = TLit "Fun" `TApp` TVar "a" `TApp` TVar "b" 

-- Maybe (IO Int) 
maybeIOInt = TLit "Maybe" `TApp` (TLit "IO" `TApp` TLit "Int") 

私はHaskellはないとして、それを印刷するには、すなわち、記号であるリテラルは中置を印刷しています。必要なときに も括弧を追加する必要があります。

show aToB = "a -> b" 
show maybeIOInt = "Maybe (IO Int)" 

show ast = ??? 

どのように私はこれを実装することができますか？

Answer 1

これを行う通常の方法は、印刷機能の優先順位変数を設定することです。また、ほとんどの場合、生の文字列を使用するのではなく、パフォーマンス上の理由から、簡単にライブラリを使うほうがいいでしょう。 GHCはprettyに同梱されており、さらに新しいprettyprinterをお勧めします。

元（とtype Name = Stringを仮定）を使用：

import Text.PrettyPrint.HughesPJ 

prettyType :: Type -> Doc 
prettyType = go 0 
    where 
    go :: Int -> Type -> Doc 
    go _ (TVar x) = text x 
    go _ (TLit n) = text n 
    go n (TLit "Fun" `TApp` l `TApp` r) = maybeParens (n > 0) (go 1 l <+> text "->" <+> go 0 r) 
    go n (l `TApp` r) = maybeParens (n > 1) (go 1 l <+> go 2 r)