Safe Haskell	None
Language	Haskell2010

Data.Comp.Render

Synopsis

class (Functor f, Foldable f, ShowConstr f) => Render (f :: Type -> Type) where
- stringTreeAlg :: Alg f (Tree String)
stringTree :: forall (f :: Type -> Type). Render f => Term f -> Tree String
showTerm :: forall (f :: Type -> Type). Render f => Term f -> String
drawTerm :: forall (f :: Type -> Type). Render f => Term f -> IO ()
writeHtmlTerm :: forall (f :: Type -> Type). Render f => FilePath -> Term f -> IO ()

Documentation

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

Minimal complete definition

Nothing

Methods

Instances details

(Render f, Render g) => Render (f :+: g) Source #
Instance details Defined in Data.Comp.Render Methods stringTreeAlg :: Alg (f :+: g) (Tree String) Source #

Convert a term to a Tree

Show a term using ASCII art

drawTerm :: forall (f :: Type -> Type). Render f => Term f -> IO () Source #

Print a term using ASCII art

Write a term to an HTML file with foldable nodes