Documentation

dotId :: [Label] -> Id -> String #

dotConst :: [Label] -> ConstVal -> String #

dotConsts :: [Label] -> [NodeRef] -> String #

dotApply :: Label -> String -> [NodeRef] -> String #

dotNodeRef :: [Label] -> Label -> NodeRef -> String #

dotNode :: [Label] -> Label -> Node -> String #

dotDAG :: [Label] -> DAG -> Maybe NodeRef -> String #

dotPNode :: Label -> PNode -> String #

dotPNodes :: Map Id PNode -> String #

dotPBlock :: PBlock -> [NodeRef] -> String #

edgeNodeRefs :: [Label] -> Label -> [NodeRef] -> String #

edgeApply :: [Label] -> Label -> [NodeRef] -> String #

edgeNodeRef :: [Label] -> Label -> NodeRef -> String #

edgeNode :: [Label] -> Label -> Node -> String #

edgeDAG :: [Label] -> DAG -> Maybe NodeRef -> String #

edgePNode :: Label -> PNode -> String #

edgePNodes :: Map Id PNode -> String #

edgePBlock :: PBlock -> String #

graphviz :: ExprTuple t => P t -> String #

vizIR :: ExprTuple t => P t -> IO String #