Graphics.Craftwerk.UI.Gtk

The UI functions of Craftwerk allow quick display of figures. They also support the creation of a simple user interface to control parameters of the figures that are displayed.

Data types

data Option

Describing options for a user interface.

Constructors

NumberOption Double

RangeOption Double Double Double Double

A range: min, max, step and initial value.

BoolOption Bool

ChoiceOption [String] Int

An option of choices with a default selection.

data RenderContext

Combined cairo and tikz rendering functions depending on the options.

Constructors

RenderContext

Fields

cairo :: Map String Option -> Double -> Double -> IO (Render ())

tikz :: Map String Option -> IO String

Display figures

renderFigure

Arguments

:: Double

Width of the coordinate system of the GTK widget

-> Double

Height of the coordinate system of the GTK widget

-> (Map String Option -> IO Figure)

The render function

-> RenderContext

Renders an 'IO Figure' into a render context with the given dimensions.

displayRender :: [(String, Option)] -> RenderContext -> IO ()

Display a render context in a Gtk window, starts the Gtk main loop. The first argument contains a list of named options whose UI values are passed to the render context.

displayMultiple :: [(String, Option)] -> [(String, RenderContext)] -> IO ()

Display multiple render contexts in a Gtk window, starts the Gtk main loop. The first argument contains a list of named options whose UI values are passed to the render context.

renderWindow :: [(String, Option)] -> [(String, RenderContext)] -> IO Window

Same as displayMultiple except that the Gtk main loop is not started or initialized. The window is not visible upon return.

Option values

value :: Option -> Double

choice :: Option -> Int

choices :: Option -> [String]

isSet :: Option -> Bool