Interface.TV.Gtk

Gtk-based GUIs in the TV (tangible value) framework

TV type specializations

type In = Input MkI

type Out = Output MkI MkO

type GTV = TV MkI MkO

gtv :: Out a -> a -> GTV a

Type specialization of tv

runGTV :: GTV a -> IO ()

Type specialization of runTV

runOut :: String -> Out a -> a -> Action

runOutIO :: String -> Out a -> IO a -> Action

Run a visualization on a constructed (IO-extracted) value. The action is executed just once, after the visualization is all set up, which allows for things like OpenGL shader compilation.

UI primitives

type R = Float

sliderRIn :: (R, R) -> R -> In R

sliderIIn :: (Int, Int) -> Int -> In Int

clockIn :: In R

A clock that updates every 1/60 second

rateSliderIn :: (R, R) -> R -> In R

Rate slider. Updates result (integral) 60 times per second. Specialization of rateSliderDtIn.

integralIn :: (VectorSpace v, Eq v, Scalar v ~ Float) => In v -> In v

Integral of an input. Updates result (integral) 60 times per second.

fileNameIn :: FilePath -> In FilePath

renderOut :: Out Action

Render output, given a rendering action. Handles all set-up. Intended as an implementation substrate for functional graphics.

emptyTexture :: TextureObject

An empty texture. Test with textureIsEmpty

textureIsEmpty :: TextureObject -> Bool

Is a texture empty?

textureIn :: In TextureObject

module Interface.TV