Brick.Widgets.Core

data Widget

data Size

Basic rendering primitives

emptyWidget

raw

txt

str

fill

Padding

data Padding

padLeft

padRight

padTop

padBottom

padLeftRight

padTopBottom

padAll

Box layout

(<=>)

(<+>)

hBox

vBox

Limits

hLimit

vLimit

Attribute mangement

withDefAttr

withAttr

forceAttr

updateAttrMap

Border style management

withBorderStyle

Cursor placement

showCursor

Translation

translateBy

Cropping

cropLeftBy

cropRightBy

cropTopBy

cropBottomBy

Scrollable viewports

data ViewportType

viewport

visible

visibleRegion

Rendering infrastructure

type RenderM a

getContext

lookupAttrName

The rendering context

data Context

attrL

availWidthL

availHeightL

ctxAttrMapL

ctxAttrNameL

ctxBorderStyleL

Rendering results

data Result

Result lenses

imageL

cursorsL

visibilityRequestsL

Visibility requests

data VisibilityRequest

vrPositionL

vrSizeL

Adding offsets to cursor positions and visibility requests

addResultOffset

Cropping results

cropToContext

Misc

data Direction