Language.Syntactic.Interpretation.Render

Documentation

class Render dom where

Render a symbol as concrete syntax. A complete instance must define at least the renderSym method.

Methods

renderSym :: dom sig -> String

Show a symbol as a String

renderArgs :: [String] -> dom sig -> String

Render a symbol given a list of rendered arguments

renderSym :: Semantic dom => dom sig -> String

Show a symbol as a String

Instances

Render Semantics

Defined in Language.Syntactic.Interpretation.Render

Methods

renderSym :: Semantics sig -> String

renderArgs :: [String] -> Semantics sig -> String

Render Empty

Defined in Language.Syntactic.Constraint

Methods

renderSym :: Empty sig -> String

renderArgs :: [String] -> Empty sig -> String

Render Tuple

Defined in Language.Syntactic.Constructs.Tuple

Methods

renderSym :: Tuple sig -> String

renderArgs :: [String] -> Tuple sig -> String

Render Select

Defined in Language.Syntactic.Constructs.Tuple

Methods

renderSym :: Select sig -> String

renderArgs :: [String] -> Select sig -> String

Render Literal

Defined in Language.Syntactic.Constructs.Literal

Methods

renderSym :: Literal sig -> String

renderArgs :: [String] -> Literal sig -> String

Render Identity

Defined in Language.Syntactic.Constructs.Identity

Methods

renderSym :: Identity sig -> String

renderArgs :: [String] -> Identity sig -> String

Render Construct

Defined in Language.Syntactic.Constructs.Construct

Methods

renderSym :: Construct sig -> String

renderArgs :: [String] -> Construct sig -> String

Render Condition

Defined in Language.Syntactic.Constructs.Condition

Methods

renderSym :: Condition sig -> String

renderArgs :: [String] -> Condition sig -> String

Render Let

Defined in Language.Syntactic.Constructs.Binding

Methods

renderSym :: Let sig -> String

renderArgs :: [String] -> Let sig -> String

Render Lambda

Defined in Language.Syntactic.Constructs.Binding

Methods

renderSym :: Lambda sig -> String

renderArgs :: [String] -> Lambda sig -> String

Render Variable

Defined in Language.Syntactic.Constructs.Binding

Methods

renderSym :: Variable sig -> String

renderArgs :: [String] -> Variable sig -> String

Render Node

Defined in Language.Syntactic.Sharing.Graph

Methods

renderSym :: Node sig -> String

renderArgs :: [String] -> Node sig -> String

Monad m => Render (MONAD m)

Defined in Language.Syntactic.Constructs.Monad

Methods

renderSym :: MONAD m sig -> String

renderArgs :: [String] -> MONAD m sig -> String

(Render expr1, Render expr2) => Render (expr1 :+: expr2)

Defined in Language.Syntactic.Interpretation.Render

Methods

renderSym :: (expr1 :+: expr2) sig -> String

renderArgs :: [String] -> (expr1 :+: expr2) sig -> String

Render dom => Render (dom :|| pred)

Defined in Language.Syntactic.Constraint

Methods

renderSym :: (dom :|| pred) sig -> String

renderArgs :: [String] -> (dom :|| pred) sig -> String

Render dom => Render (dom :| pred)

Defined in Language.Syntactic.Constraint

Methods

renderSym :: (dom :| pred) sig -> String

renderArgs :: [String] -> (dom :| pred) sig -> String

Render expr => Render (Decor info expr)

Defined in Language.Syntactic.Constructs.Decoration

Methods

renderSym :: Decor info expr sig -> String

renderArgs :: [String] -> Decor info expr sig -> String

Render dom => Render (SubConstr1 c dom p)

Defined in Language.Syntactic.Constraint

Methods

renderSym :: SubConstr1 c dom p sig -> String

renderArgs :: [String] -> SubConstr1 c dom p sig -> String

Render dom => Render (SubConstr2 c dom pa pb)

Defined in Language.Syntactic.Constraint

Methods

renderSym :: SubConstr2 c dom pa pb sig -> String

renderArgs :: [String] -> SubConstr2 c dom pa pb sig -> String

renderSymDefault :: Semantic expr => expr a -> String

Default implementation of renderSym

renderArgsDefault :: Semantic expr => [String] -> expr a -> String

Default implementation of renderArgs

render :: forall dom a. Render dom => ASTF dom a -> String

Render an expression as concrete syntax

class Render dom => StringTree dom where

Convert a symbol to a Tree of strings

Methods

stringTreeSym :: [Tree String] -> dom a -> Tree String

Convert a symbol to a Tree given a list of argument trees

Instances

StringTree Empty

Defined in Language.Syntactic.Constraint

Methods

stringTreeSym :: [Tree String] -> Empty a -> Tree String

StringTree Tuple

Defined in Language.Syntactic.Constructs.Tuple

Methods

stringTreeSym :: [Tree String] -> Tuple a -> Tree String

StringTree Select

Defined in Language.Syntactic.Constructs.Tuple

Methods

stringTreeSym :: [Tree String] -> Select a -> Tree String

StringTree Literal

Defined in Language.Syntactic.Constructs.Literal

Methods

stringTreeSym :: [Tree String] -> Literal a -> Tree String

StringTree Identity

Defined in Language.Syntactic.Constructs.Identity

Methods

stringTreeSym :: [Tree String] -> Identity a -> Tree String

StringTree Construct

Defined in Language.Syntactic.Constructs.Construct

Methods

stringTreeSym :: [Tree String] -> Construct a -> Tree String

StringTree Condition

Defined in Language.Syntactic.Constructs.Condition

Methods

stringTreeSym :: [Tree String] -> Condition a -> Tree String

StringTree Let

Defined in Language.Syntactic.Constructs.Binding

Methods

stringTreeSym :: [Tree String] -> Let a -> Tree String

StringTree Lambda

Defined in Language.Syntactic.Constructs.Binding

Methods

stringTreeSym :: [Tree String] -> Lambda a -> Tree String

StringTree Variable

Defined in Language.Syntactic.Constructs.Binding

Methods

stringTreeSym :: [Tree String] -> Variable a -> Tree String

StringTree Node

Defined in Language.Syntactic.Sharing.Graph

Methods

stringTreeSym :: [Tree String] -> Node a -> Tree String

Monad m => StringTree (MONAD m)

Defined in Language.Syntactic.Constructs.Monad

Methods

stringTreeSym :: [Tree String] -> MONAD m a -> Tree String

(StringTree dom1, StringTree dom2) => StringTree (dom1 :+: dom2)

Defined in Language.Syntactic.Interpretation.Render

Methods

stringTreeSym :: [Tree String] -> (dom1 :+: dom2) a -> Tree String

StringTree dom => StringTree (dom :|| pred)

Defined in Language.Syntactic.Constraint

Methods

stringTreeSym :: [Tree String] -> (dom :|| pred) a -> Tree String

StringTree dom => StringTree (dom :| pred)

Defined in Language.Syntactic.Constraint

Methods

stringTreeSym :: [Tree String] -> (dom :| pred) a -> Tree String

StringTree expr => StringTree (Decor info expr)

Defined in Language.Syntactic.Constructs.Decoration

Methods

stringTreeSym :: [Tree String] -> Decor info expr a -> Tree String

StringTree dom => StringTree (SubConstr1 c dom p)

Defined in Language.Syntactic.Constraint

Methods

stringTreeSym :: [Tree String] -> SubConstr1 c dom p a -> Tree String

StringTree dom => StringTree (SubConstr2 c dom pa pb)

Defined in Language.Syntactic.Constraint

Methods

stringTreeSym :: [Tree String] -> SubConstr2 c dom pa pb a -> Tree String

stringTree :: forall dom a. StringTree dom => ASTF dom a -> Tree String

Convert an expression to a Tree of strings

showAST :: StringTree dom => ASTF dom a -> String

Show a syntax tree using ASCII art

drawAST :: StringTree dom => ASTF dom a -> IO ()

Print a syntax tree using ASCII art

writeHtmlAST :: StringTree sym => FilePath -> ASTF sym a -> IO ()

Orphan instances

Render dom => Show (ASTF dom a)

Methods

showsPrec :: Int -> ASTF dom a -> ShowS

show :: ASTF dom a -> String

showList :: [ASTF dom a] -> ShowS