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

module Interface.TV

Extensibility

type Action = IO ()

Convenient shorthand

type Sink a = a -> Action

Sink of information

data MkI a

Instances

Functor MkI

CommonIns MkI

Pair MkI

Title_f MkI

Lambda MkI MkO

type MkI' a = Action -> IO (Widget, IO a, Action)

data MkO a

Instances

ContraFunctor MkO

CommonOuts MkO

Pair MkO

Title_f MkO

ToOI MkO

Lambda MkI MkO

type MkO' a = IO (Widget, Sink a, Action)

primMkI :: MkI' a -> In a

primMkO :: MkO' a -> Out a

forget :: Functor f => f a -> f ()

forget2 :: Monad m => (w -> a -> m b) -> w -> a -> m ()