Data.Comp.Render

Documentation

class (Functor f, Foldable f, ShowConstr f) => Render f where

The stringTree algebra of a functor. The default instance creates a tree with the same structure as the term.

Methods

stringTreeAlg :: Alg f (Tree String)

Instances

(Render f, Render g) => Render ((:+:) * f g)

Methods

stringTreeAlg :: Alg ((* :+: f) g) (Tree String)

stringTree :: Render f => Term f -> Tree String

Convert a term to a Tree

showTerm :: Render f => Term f -> String

Show a term using ASCII art

drawTerm :: Render f => Term f -> IO ()

Print a term using ASCII art

writeHtmlTerm :: Render f => FilePath -> Term f -> IO ()

Write a term to an HTML file with foldable nodes