TV 0.4.6 → 0.4.7

raw patch · 3 files changed

+25/−11 lines, 3 files

Files

• TV.cabal +1/−1
• src/Interface/TV/Input.hs +12/−5
• src/Interface/TV/Output.hs +12/−5

@@ -1,5 +1,5 @@ Name:                TV-Version:             0.4.6+Version:             0.4.7 Synopsis:	     Tangible Values -- composable interfaces Category:            Interfaces Description:

@@ -31,16 +31,23 @@ ----------------------------------------------------------}  -- | An /Input/ describes a way to obtain a functional value from a user.--- Used in Output for making function visualizations.+-- Used in @Output@ for making function visualizations.+-- The constructors: primitive, pairing, and title. data Input src :: * -> * where-  -- | Input primitive+  -- -- | Input primitive   IPrim :: src a -> Input src a-  -- | Input a pair+  -- -- | Input a pair   IPair :: Input src a -> Input src b -> Input src (a,b)-  -- | Massage via an arrow value (generalizes fmap)+  -- -- | Massage via an arrow value (generalizes fmap)   -- ICompose :: Input src a -> src (a -> b) -> Input src b-  -- | Title/label an input+  -- -- | Title/label an input   ITitle :: String -> Input src a -> Input src a+++-- As of 2010-09-10, Haddock still doesn't support doc comments for GADT+-- constructors.  See <http://trac.haskell.org/haddock/ticket/43>.+-- When that bug gets fixed, fix the doc strings above.+  instance Title_f (Input src) where title_f = iTitle 

@@ -42,17 +42,24 @@  -- | An /Output/ describes a way to present a functional value, perhaps -- interactively.  It is the user-interface half of a tangible value.+-- The constructors: primitive, function, pairing, and title. data Output src snk :: * -> * where-  -- | Output primitive+  -- -- | Output primitive   OPrim :: snk a -> Output src snk a-  -- | Visualize a function.  Akin to /lambda/+  -- -- | Visualize a function.  Akin to /lambda/   OLambda :: Input src  a -> Output src snk b -> Output src snk (a->b)-  -- | Visualize a pair+  -- -- | Visualize a pair   OPair :: Output src snk a -> Output src snk b -> Output src snk (a,b)-  -- | Massage via an arrow value (like cofmap)+  -- -- | Massage via an arrow value (like cofmap)   -- OCompose :: src (a -> b) -> Output src snk b -> Output src snk a-  -- | Title/label an output+  -- -- | Title/label an output   OTitle :: String -> Output src snk a -> Output src snk a+++-- As of 2010-09-10, Haddock still doesn't support doc comments for GADT+-- constructors.  See <http://trac.haskell.org/haddock/ticket/43>.+-- When that bug gets fixed, fix the doc strings above.+  instance Title_f (Output src snk) where title_f = OTitle