Go to the
first
,
previous
,
next
,
last
section,
table of contents
.
System abstractions
TopLevel
: Realising components.
Component
: Creating components.
DisplayHandle
: General operations over UI components.
DeviceEvent
: Manipulating user input events.
ComponentHandle
: Interacting with realised UI components.
EnvIO
: The environment+IO monad.
Go to the
first
,
previous
,
next
,
last
section,
table of contents
.