Safe Haskell | None |
---|---|
Language | Haskell2010 |
Debug.Hoed.CompTree
Contents
- type CompTree = Graph Vertex ()
- data Vertex
- = RootVertex
- | Vertex { }
- mkCompTree :: [CompStmt] -> Dependencies -> CompTree
- isRootVertex :: Vertex -> Bool
- vertexUID :: Vertex -> UID
- vertexRes :: Vertex -> String
- replaceVertex :: CompTree -> Vertex -> CompTree
- getJudgement :: Vertex -> Judgement
- setJudgement :: Vertex -> Judgement -> Vertex
- isRight :: Vertex -> Bool
- isWrong :: Vertex -> Bool
- isUnassessed :: Vertex -> Bool
- isAssisted :: Vertex -> Bool
- isInconclusive :: Vertex -> Bool
- isPassing :: Vertex -> Bool
- leafs :: CompTree -> [Vertex]
- data ConstantValue
- unjudgedCharacterCount :: CompTree -> Int
- data TraceInfo = TraceInfo {
- computations :: !SpanZipper
- dependencies :: !Dependencies
- traceInfo :: Verbosity -> Trace -> IO TraceInfo
- data Graph vertex arc :: * -> * -> * = Graph {}
Documentation
Constructors
RootVertex | |
Vertex | |
Fields
|
mkCompTree :: [CompStmt] -> Dependencies -> CompTree #
isRootVertex :: Vertex -> Bool #
replaceVertex :: CompTree -> Vertex -> CompTree #
getJudgement :: Vertex -> Judgement #
setJudgement :: Vertex -> Judgement -> Vertex #
isUnassessed :: Vertex -> Bool #
isAssisted :: Vertex -> Bool #
isInconclusive :: Vertex -> Bool #
unjudgedCharacterCount :: CompTree -> Int #
Approximates the complexity of a computation tree by summing the length of the unjudged computation statements (i.e not Right or Wrong) in the tree.
Constructors
TraceInfo | |
Fields
|