vampire-0.1.3.0: Analyze and visualize expression trees.
Debug.Vampire
structFor :: (Show a, NFData a) => ([vCtx :: IORef ExprStruct'] => () -> a) -> IO ExprStructSource
valueFor :: (Show a, NFData a) => ([vCtx :: IORef ExprStruct'] => () -> a) -> aSource
toGraph :: ExprStruct -> Gr String ()Source
viewExpr :: (Show a, NFData a) => ([vCtx :: IORef ExprStruct'] => () -> a) -> IO ()Source
rewriteFile :: String -> Maybe StringSource
wrapExp :: String -> String -> Maybe StringSource