Haskell datatype syntax with manipulation

Question

I'm a novice with no functional programming experience in the past (yet, quite a bit of procedural/imperative programming experience). I'm having a bit of trouble with understanding how declaring your own datatype works.

For instance, say I declared a datatype:

data SomeThing = Int [Int]

how would you write a Haskell function which consumes a someData and produces a someData; only the produced data's Int is the sum of all the elements in the consumed data's [Int], and where the consumed value's [Int] has had every element multiplied by 2 in the produced [Int].

This is obviously possible, but I have not found any answers that made sense to me after a web search.

hammar · Accepted Answer · 2011-10-20 07:55:37Z

6

First of all, you have a mistake in your data type declaration. From your question, you want a data type which contains an Int and a list of Int, but you're missing a data constructor¹. This is a label used when pattern matching, or when constructing new values of your data type.

data SomeThing = SomeThingConstr Int [Int]

It's common to name the constructor the same thing as the data type itself when there's only one, but I've given them separate names here to avoid confusion.

Now it's easy to write your function using pattern matching and this data constructor.

foo :: SomeThing -> SomeThing
foo (SomeThingConstr _ xs) = SomeThingConstr (sum xs) (map (*2) xs)

_{¹Or rather, you have a data constructor called Int, which is obviously not what you meant.}

edited Oct 20, 2011 at 7:55

answered Oct 20, 2011 at 7:49

hammar

140k18 gold badges310 silver badges388 bronze badges

Sign up to request clarification or add additional context in comments.

3 Comments

hammar Over a year ago

@FrerichRaabe: Not a compile error, no, but it's clearly not what the OP wanted.

dave4420 Over a year ago

@FrerichRaabe The OP refers to the output data as having separate Int and [Int] fields.

Frerich Raabe Over a year ago

@dave4420: Ah, true. I misread the question (which kind of invalidates my own response, oops). Thanks for clarifying this.

dave4420 · Accepted Answer · 2011-10-20 07:48:23Z

1

(Quoting from your post as I suspect it will get edited.)

For instance, say I declared a datatype:
data SomeThing = Int [Int]
how would you write a Haskell function which consumes a someData and produces a someData; only the produced data's Int is the sum of all the elements in the consumed data's [Int], and where the consumed value's [Int] has had every element multiplied by 2 in the produced [Int].

I presume you mean the data type to be

data SomeData = SomeData Int [Int]

Then you want

f :: SomeData -> SomeData
f (SomeData _ ys) = SomeData (sum ys) (map (2 *) ys)

answered Oct 20, 2011 at 7:48

dave4420

47.2k6 gold badges121 silver badges153 bronze badges

Collectives™ on Stack Overflow

Haskell datatype syntax with manipulation

2 Answers 2

3 Comments

Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

2 Answers 2

3 Comments

Comments

Your Answer

Sign up or log in

Post as a guest

Related