Language.Syntactic.Sharing.Graph

Representation

data NodeId

showNode

data Node a

class NodeEqEnv dom a

type EqEnv dom p

type NodeEnv dom p

data ASG dom a

type NodeDomain dom

showASG

drawASG

reindexNodesAST

reindexNodes

reindexNodesFrom0

nubNodes

Folding

data SyntaxPF dom a

foldGraph

Inlining

inlineAll

nodeChildren

occurrences

inlineSingle

Sharing

hashNodes

partitionNodes

cse