Brick.Types

# The Widget type

data Widget n

# Location types and lenses

data Location

locL

class TerminalLocation a

data CursorLocation n

cursorLocationL

cursorLocationNameL

# Viewports

data Viewport

data ViewportType

vpSize

vpTop

vpLeft

# Event-handling types

data EventM n a

data Next a

data BrickEvent n e

handleEventLensed

# Rendering infrastructure

type RenderM n a

getContext

## The rendering context

data Context

attrL

availWidthL

availHeightL

ctxAttrMapL

ctxAttrNameL

ctxBorderStyleL

## Rendering results

data Result n

emptyResult

lookupAttrName

data Extent n

## Rendering result lenses

imageL

cursorsL

visibilityRequestsL

extentsL

## Visibility requests

data VisibilityRequest

vrPositionL

vrSizeL

# Making lenses

suffixLenses

# Miscellaneous

data Size

data Padding

data Direction