Graphics.Vty.Widgets.Core

Widget Infrastructure

data WidgetImpl a

type Widget a

getNormalAttr

defaultContext

updateWidget

updateWidgetState

newWidget

getState

getCurrentSize

setCurrentPosition

getCurrentPosition

growVertical

growHorizontal

getCursorPosition

showWidget

getVisible

setVisible

(<~)

(<~~)

Rendering

data RenderContext

data RenderError

render

renderAndPosition

Miscellaneous

class HasNormalAttr w

class HasFocusAttr w

withNormalAttribute

withFocusAttribute

Events

handleKeyEvent

onKeyPressed

onGainFocus

onLoseFocus

onResize

relayKeyEvents

relayFocusEvents

Focus management

data FocusGroup

data FocusGroupError

newFocusGroup

mergeFocusGroups

appendFocusGroup

resetFocusGroup

addToFocusGroup

focusNext

focusPrevious

setFocusGroupNextKey

setFocusGroupPrevKey

focus

unfocus