| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
CoALP.Render
Description
Tree rendering helpers
Assumes ImageMagic utility display and Graphviz utility dot, both utilies should be in $PATH.
- renderProgram :: Program1 -> String
- ppProgram :: (Show a, Show b, Show c) => Program a b c -> String
- displayProgram :: Program1 -> IO ()
- displayRewTree :: Int -> RewTree1 -> IO ()
- displayDerTree :: Int -> Int -> DerTree1 -> IO ()
- displayObsTree :: Int -> Int -> OTree1 -> IO ()
Documentation
renderProgram :: Program1 -> String
Render Clauses in program
displayProgram :: Program1 -> IO ()
Display the whole program
displayRewTree :: Int -> RewTree1 -> IO ()
Display rewriting tree up to depth
displayDerTree :: Int -> Int -> DerTree1 -> IO ()
Display derivation tree up to depthD, render rewriting trees in nodeѕ up to depthR
displayObsTree :: Int -> Int -> OTree1 -> IO ()
Display observation tree up to depth