No subject

not getting it and I hope I can get clarification here.
Let's start with newtype T.

newtype T x y a = Cons String

This looks like a partially applied type constructor. Is this right? I
don't know what the String could be appended to. I realized the
suggestion you gave would probably look much like the other
constructors of similar nature. I reasoned that even if I don't
understand what's going on I can still recognize and follow patterns.
After all, that worked for C! Well, maybe not.

Take for example

lines          :: (Atom.C x, Atom.C y) => T x y (x,y)
compared with
histogram :: (Atom.C x) => Graph2DType.T Int Int (x,String)

The first thing that strikes me is while the variables in lines are
general ( x or y) the ones in histogram are not. This is where my
attempt falls apart.

I'm referencing LYAH in an attempt to grasp this concept, and I feel I
should have already.
Could you explain the relationship between newtype T x y a = Cons
String and histogram :: (Atom.C x) => Graph2DType.T Int Int
(x,String)?
On Thu, May 26, 2011 at 3:51 PM, Henning Thielemann
<lemming at henning-thielemann.de> wrote:
>
> On Thu, 26 May 2011, Michael Litchard wrote:
>
>> When I say label, I mean each bar should have a label below it
>> explaining what the bar represents. In my example, the label "foo"
>> would have a bar above it, "bar" woud have a bar above it, and "baz"
>> would have a bar above it. I looked at file2d and that seems to be
>> giving a general description label for the axis, and not a label for
>> each bar. Am I correct?
>
> right
>
> Are the labels just in a separate column of the data file? This should be
> doable by a column of type String, but I have not used it so far, like:
>
> histogram :: (Atom.C x) => Graph2DType.T Int Int (x,String)
>