Interface.TV.Gtk

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

Documentation

type In = Input MkI

type Out = Output MkI MkO

newtype MkI a

Constructors

MkI

Fields

unMkI :: MkI' a

Instances

Pair MkI

Title_f MkI

Lambda MkI MkO

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

newtype MkO a

Constructors

MkO

Fields

unMkO :: MkO' a

Instances

Pair MkO

Title_f MkO

Lambda MkI MkO

type MkO' a = IO (Widget, OI a, IO ())

type OI a = a -> IO ()

Sink of information

result :: (b -> b') -> (a -> b) -> a -> b'

Add post-processing

runOut :: Out a -> String -> a -> IO ()

data Orient

Constructors

Horizontal

Vertical

Instances

Read Orient

Show Orient

boxNew :: Orient -> Bool -> Int -> IO Box

boxer :: BoxClass box => (a -> b -> IO box) -> a -> b -> IO Box

primMkI :: MkI' a -> In a

primMkO :: MkO' a -> Out a

type R = Float

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

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

sliderGIn :: Eq a => (a -> Double) -> (Double -> a) -> a -> Int -> (a, a) -> a -> In a

toggleI :: Bool -> In Bool

toggleO :: Out Bool

mkFileName :: FilePath -> In FilePath

textI :: String -> In String

textO :: Out String

clockDtI :: R -> In R

A clock that reports time in seconds and updates at the given period (in seconds).

clockI :: In R

A clock that updates every 1/60 second

time :: IO R