Brick.Types

The Widget type

data Widget

Location types and lenses

data Location

locL

class TerminalLocation a

data CursorLocation

cursorLocationL

cursorLocationNameL

Viewports

data Viewport

data ViewportType

vpSize

vpTop

vpLeft

Event-handling types

data EventM a

data Next a

class HandleEvent a

handleEventLensed

Rendering infrastructure

type RenderM a

getContext

The rendering context

data Context

attrL

availWidthL

availHeightL

ctxAttrMapL

ctxAttrNameL

ctxBorderStyleL

Rendering results

data Result

lookupAttrName

Rendering result lenses

imageL

cursorsL

visibilityRequestsL

Visibility requests

data VisibilityRequest

vrPositionL

vrSizeL

Making lenses

suffixLenses

Miscellaneous

data Size

data Padding

data Direction

data Name