vampire-0.1.3.0: Analyze and visualize expression trees.

Safe HaskellNone

Debug.Vampire

Documentation

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