Tangible Value

From HaskellWiki
Revision as of 15:40, 7 August 2007 by Conal (talk | contribs) (Abstract: mention talk page)

Jump to: navigation, search


TV is a library for composing tangible values ("TVs"), i.e., values that carry along external interfaces. In particular, TVs can be composed to create new TVs, and they can be directly executed with a friendly GUI, a process that reads and writes character streams, or many other kinds interfaces. Values and interfaces are combined for direct use, and separable for composition.

TV is for creating software that is ready to use and ready to reuse.

Beside this page, here are some ways to explore TV:

As of version 0.2, I have moved the GUI functionality out of TV and into a small new package GuiTV. I moved it out to eliminate the dependency of core TV on Phooey and hence on wxHaskell, as the latter can be difficult to install. The GUI examples below require GuiTV.

I'd love to hear your comments at the Talk:TV page.

Tangible values

First Example

Here is a tangible reverse function:

reverseT :: CTV (String -> String)
reverseT = tv (oTitle "reverse" defaultOut) reverse

The tv function combines an interface and a value. In this example, the interface is the default for string functions, wrapped with the title "reverse".

TV "interfaces" are more than just GUIs. Here are two different renderings of reverseT. (User input is shown in italics in the runIO version).


runUI reverseT runIO reverseT

*Examples> runIO reverseT reverse: Hello, reversible world. .dlrow elbisrever ,olleH *Examples>

We'll see later that "runUI" and "runIO" are both type-specialized synonyms for a more general function.


What I've been calling an "interface" is a value of type COutput a for a type a. For instance, for reverseT, a is String->String. The reason for the C prefix is explained below. At the heart of TV is a small algebra for constructing these outputs. Weve already seen one output function, oTitle. Another one is showOut, which is an output for all Show types. For instance,

total :: Show a => COutput a
total = oTitle "total" showOut

Inputs and function-valued outputs

Just as an output is a way to deliver a value, an "input" is a way to obtain a value. For example, here are two inputs, each specifying an initial value and a value range, and each given a title.

apples, bananas :: CInput Int
apples  = iTitle "apples"  defaultIn
bananas = iTitle "bananas" defaultIn

Now for the fun part. Lets combine the apples and bananas inputs and the total output to make a function-valued output.

shoppingO :: COutput (Int -> Int -> Int)
shoppingO = oTitle "shopping list" $
            oLambda apples (oLambda bananas total)

And a TV:

shopping :: CTV (Int -> Int -> Int)
shopping = tv shoppingO (+)


runUI shopping runIO shopping

shopping list: apples: 8 bananas: 5 total: 13

A variation

Here is an uncurried variation:

shoppingPr :: CTV ((Int,Int) -> Int)
shoppingPr = tv ( oTitle "shopping list -- uncurried" $ 
                  oLambda (iPair apples bananas) total )
                (uncurry (+))

However, there's a much more elegant formulation, using uncurryA and $$ from DeepArrow:

shoppingPr = uncurryA $$ shopping


runUI shoppingPr runIO shoppingPr

shopping list: apples: 8 bananas: 5 total: 13

The general story

TVs, outputs and inputs are not restricted to GUIs and IO. In general, they are parameterized by an arrow.

data Output (~>) a
data Input  (~>) a
type TV     (~>) a

In the examples above, we've used two different arrows, namely Phooey's UI arrow and KIO, defined simply as

type KIO = Kleisli IO

Other monads may be used in place of IO, and other arrows in place of UI and KIO.

The functions runUI and runIO used in examples above are simply type-specialized synonyms for runTV.

runUI :: TV UI a -> IO ()
runUI = runTV

runIO :: TV KIO a -> IO ()
runIO = runTV

Common Ins and Outs

The examples reverseT and shoppingT above used not only the generic Output and Input operations, but also some operations that apply to arrows belonging to the CommonInsOuts class, which includes UI and KIO. The type constructors CInput, COutput, and CTV are universally quantified over CommonInsOuts arrows.

type Common f a = forall (~>). CommonInsOuts (~>) => f (~>) a
type CInput  a = Common Input a
type COutput a = Common Output a
type CTV     a = Common TV a

Sorting examples

Here's a sorting TV (see interactLinesRS), tested with runUI:

sortT :: (Read a, Show a, Ord a) => CTV ([a] -> [a])
sortT = tv (oTitle "sort" $ interactLinesRS []) sort

Note that sortT is polymorphic in value, and the type variable a as defaulted to Int. You could instead type-annotate its uses, e.g.,

runUI (sortT :: CTV ([String] -> [String]))

Composition of TVs

So far, we done a little composition of interfaces and combined them with values to construct TVs. Now let's look at composition of TVs.

First, wrap up the words and unwords functions:

unwordsT :: CTV ([String] -> String) 
unwordsT = tv ( oTitle "function: unwords" $
                oLambda (iTitle "words in"     defaultIn)
                        (oTitle "sentence out" defaultOut))
unwordsT :: CTV ([String] -> String) 
unwordsT = tv ( oTitle "function: unwords" $
                oLambda (iTitle "words in"     defaultIn)
                        (oTitle "sentence out" defaultOut))

Finally, compose wordsT, unwordsT, and sortT

sortWordsT :: CTV (String -> String)
sortWordsT = wordsT ->| sortT ->| unwordsT


runUI sortWordsT runIO sortWordsT

sentence in: The night Max wore his wolf suit sentence out: Max The his night suit wolf wore

The operator "->|" is part of a general approach to value composition from DeepArrow.

Arrow-specific interfaces

While some interfaces can be implemented for different kinds of interfaces, others are more specialized.


Here are inputs for our shopping example above that specifically work with Phooey's UI arrow.

applesU, bananasU :: Input UI Int
applesU  = iTitle "apples"  (islider 3 (0,10))
bananasU = iTitle "bananas" (islider 7 (0,10))

shoppingUO :: Output UI (Int -> Int -> Int)
shoppingUO = oTitle "shopping list" $ oLambda applesU (oLambda bananasU total)

We can then make curried and uncurried TVs:

code runUI rendering
tv shoppingUO (+) ShoppingU.png
uncurryA $$ tv shoppingUO (+) ShoppingPrU.png

Note: We could define other type classes, besides CommonInsOuts. For instance, islider could be made a method of a GuiArrow class, allowing it to be rendered in different ways with different GUI toolkits or even using HTML and Javascript.


We can use IO operations in TV interfaces via the KIO arrow (defined as Kleisli IO). TV provides a few functions in its IO module, including a close counterpart to the standard interact function.

interactOut :: Output KIO (String -> String)
interactOut = oLambda contentsIn stringOut

Assuming we have a file "test.txt" containing some lines of text, we can use it to test string transformations.

testO :: Output KIO (String -> String)
testO = oLambda (fileIn "test.txt") defaultOut

First, here's a handy wrapping pattern (found in TV's Misc module). For instance, wrapF show read turns a string function into value function.

wrapF :: (c->d) -> (a->b) -> ((b->c) -> (a->d))
wrapF after before f = after . f . before

Using wrapF it's easy to define higher-order functions that apply another function to the lines or on the words of a string.

onLines, onWords :: ([String] -> [String]) -> (String -> String)
onLines = wrapF unlines lines
onWords = wrapF unwords words

And specializations that operate on each line or word:

perLine,perWord :: (String -> String) -> (String -> String)
perLine f = onLines (map f)
perWord f = onWords (map f)

Some examples:

string function f runIO (tv test0 f)

To see a World in a Grain of Sand And a Heaven in a Wild Flower, Hold Infinity in the palm of your hand And Eternity in an hour. - William Blake


ekalB mailliW - .ruoh na ni ytinretE dnA dnah ruoy fo mlap eht ni ytinifnI dloH ,rewolF dliW a ni nevaeH a dnA dnaS fo niarG a ni dlroW a ees oT

onLines reverse

- William Blake And Eternity in an hour. Hold Infinity in the palm of your hand And a Heaven in a Wild Flower, To see a World in a Grain of Sand

perLine reverse

dnaS fo niarG a ni dlroW a ees oT ,rewolF dliW a ni nevaeH a dnA dnah ruoy fo mlap eht ni ytinifnI dloH .ruoh na ni ytinretE dnA ekalB mailliW -

perLine (perWord reverse)

oT ees a dlroW ni a niarG fo dnaS dnA a nevaeH ni a dliW ,rewolF dloH ytinifnI ni eht mlap fo ruoy dnah dnA ytinretE ni na .ruoh - mailliW ekalB

There are more examples in the TV repository and in the in the GuiTV repository. See also "separating IO from logic -- example".