| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Camfort.Specification.Units.Debug
- fooMatrix :: Matrix Rational
- debugGaussian :: State UnitEnv String
- debugGaussian' :: StateT UnitEnv Identity [Char]
- showExpr :: [UnitVarCategory] -> VarColEnv -> ProcedureEnv -> [(Int, (a, [Char]))] -> Int -> [Char]
- lineCol :: Position -> (Int, Int)
- showSrcLoc :: Position -> [Char]
- showSrcSpan :: SrcSpan -> [Char]
- showExprLines :: [UnitVarCategory] -> VarColEnv -> ProcedureEnv -> [(Int, (SrcSpan, [Char]))] -> Int -> [Char]
- showArgVars :: [UnitVarCategory] -> VarColEnv -> Int -> [Char]
- showCat :: UnitVarCategory -> [Char]
- lookupProcByArgCol :: ProcedureEnv -> [Int] -> [String]
- lookupProcByCols :: ProcedureEnv -> [Int] -> [String]
- lookupVarsByCols :: VarColEnv -> [Int] -> [Name]
- lookupVarBindersByCols :: VarColEnv -> [Int] -> [VarBinder]
- showRational :: (Show a, Num a, Eq a) => Ratio a -> [Char]
debugGaussian :: State UnitEnv String Source #
debugGaussian - a debugging routine which shose the Gaussian matrix with various peieces of info mainly used for development purposes
showExpr :: [UnitVarCategory] -> VarColEnv -> ProcedureEnv -> [(Int, (a, [Char]))] -> Int -> [Char] Source #
showSrcLoc :: Position -> [Char] Source #
showSrcSpan :: SrcSpan -> [Char] Source #
showExprLines :: [UnitVarCategory] -> VarColEnv -> ProcedureEnv -> [(Int, (SrcSpan, [Char]))] -> Int -> [Char] Source #
showArgVars :: [UnitVarCategory] -> VarColEnv -> Int -> [Char] Source #
showCat :: UnitVarCategory -> [Char] Source #
lookupProcByArgCol :: ProcedureEnv -> [Int] -> [String] Source #
lookupProcByCols :: ProcedureEnv -> [Int] -> [String] Source #
lookupVarsByCols :: VarColEnv -> [Int] -> [Name] Source #