System.Console.Regions

Types

data ConsoleRegion

data RegionLayout

class ToRegionContent v

data RegionContent

class LiftRegion m

Initialization

displayConsoleRegions

withConsoleRegion

openConsoleRegion

newConsoleRegion

closeConsoleRegion

Region content and display

setConsoleRegion

appendConsoleRegion

finishConsoleRegion

getConsoleRegion

tuneDisplay

STM region contents

consoleWidth

consoleHeight

regionList

waitDisplayChange