IDE.LogRef
Description
Documentation
defaultLineLogger :: IDELog -> ToolOutput -> IDEM IntSource
defaultLineLogger' :: IDELog -> ToolOutput -> IO IntSource
logOutputLines :: (IDELog -> ToolOutput -> IDEM a) -> [ToolOutput] -> IDEM [a]Source
logOutputLines_ :: (IDELog -> ToolOutput -> IDEM a) -> [ToolOutput] -> IDEActionSource
logOutput :: [ToolOutput] -> IDEM ()Source
logOutputForBuild :: IDEPackage -> Bool -> [ToolOutput] -> IDEActionSource
setBreakpointList :: [LogRef] -> IDEActionSource
showSourceSpan :: LogRef -> StringSource