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