System.Console.Regions

Initialization

displayConsoleRegions

data ConsoleRegionHandle

data RegionLayout

withConsoleRegion

openConsoleRegion

closeConsoleRegion

Output

setConsoleRegion

appendConsoleRegion

finishConsoleRegion

STM interface

openConsoleRegionSTM

closeConsoleRegionSTM

setConsoleRegionSTM

appendConsoleRegionSTM

updateRegionListSTM