Function Repository Resource:

CombinatorExpressionGraph

Source Notebook

Show an expression graph for a combinator expression

Contributed by: Wolfram Research

ResourceFunction["CombinatorExpressionGraph"][cmb]

creates an expression graph for the combinator expression cmb.

Details and Options

The input cmb should be given in nested bracket form.

ResourceFunction["CombinatorExpressionGraph"] accepts the same options as ExpressionGraph with the following additions:

"CombinatorRules"

Automatic

transformation rules for combinators

"CombinatorStyles"

Automatic

highlight and background colors for combinator rule matches

"EvaluationScheme"

{"Leftmost", "Outermost", Infinity}

evaluation scheme for combinator rule matches

"ShowVertexLabels"

True

whether to display symbols of atoms in the expression graph

"UpdateHighlighting"

{}

show updates via "Nodes", "Numbers", and/or "Subtrees"

"MatchHighlighting"

False

whether root node of subtree is colored according to rule match

"SKGlyphs"

Automatic

symbols used to specify S and K combinators

Examples

Basic Examples (3)

Show an expression graph for a combinator expression:

In[1]:=

Out[1]=

Show an expression graph where the rule match is indicated:

In[2]:=

Out[2]=

Define custom rules and styles for combinator expression graph rendering:

In[3]:=

$ResourceFunction["CombinatorExpressionGraph"][g[a][d][b[c]], "CombinatorRules" -> {g[a_][d_][b_[c_]] -> s[a][k[d[b[c]]]]}, "CombinatorStyles" -> <| g -> <|"Highlight" -> Yellow, "Background" -> Lighter[Yellow, .8]|>|>, AspectRatio -> 1/2, "MatchHighlighting" -> True, DirectedEdges -> True]$