System.Console.Regions

Types

data ConsoleRegion

data RegionLayout

class ToRegionContent v

class LiftRegion m

Initialization

displayConsoleRegions

withConsoleRegion

openConsoleRegion

newConsoleRegion

closeConsoleRegion

Region content and display

setConsoleRegion

appendConsoleRegion

finishConsoleRegion

tuneDisplay

STM region contents

data RegionContent

consoleSize

consoleWidth

consoleHeight

regionList