vampire-0.1.1.0: Analyze and visualize expression trees.

Safe HaskellNone

Debug.Vampire

Documentation

structFor :: (Show a, NFData a) => ([vCtx :: IORef ExprStruct'] => () -> a) -> IO ExprStructSource

toGraph :: ExprStruct -> Gr String ()Source

viewExpr :: (Show a, NFData a) => ([vCtx :: IORef ExprStruct'] => () -> a) -> IO ()Source

rewriteFile :: String -> Maybe StringSource