Calling a function with user defined datatypes in Haskell

up vote
1
down vote

favorite

I defined a data type in Haskell

data List a=Nil

 |Cons a (List a)

I wrote a function using this data type

listLength Nil=0

listLength (Cons x xs)=1+listLength(xs)

I tried to call that function giving arguments like this

listLength (Cons 2 [2,3])

But I got an error:

<interactive>:68:20: error:

    * Couldn't match expected type `List Integer'

                  with actual type `[Integer]'

    * In the second argument of `Cons', namely `[2, 3]'

      In the first argument of `listLength', namely `(Cons 2 [2, 3])'

      In the expression: listLength (Cons 2 [2, 3])

How do call this function?

asked Nov 11 at 6:37

Nishara Kavindi

268

4

Try listLength (Cons 2 (Cons 2 Nil)). The issue is that [2,3] has type [Integer], but the Cons constructor requires a second argument of type List Integer, and due to Haskell's strong typing the two types are not the same!
– bradrn
Nov 11 at 6:41

It worked. Thank you
– Nishara Kavindi
Nov 11 at 6:49

2

To ease testing you can define and use some auxiliary conversion function like fromList = foldr Cons Nil and then write listLength (fromList [1,7,2,5])). In this way you can convert standard lists to your lists before testing, and avoid to type all the Conses.
– chi
Nov 11 at 8:12

1

@Nishara Kavindi Do you want me to turn my comment into a proper answer so this question can be marked as 'answered'?
– bradrn
Nov 11 at 8:36

@bradrn Okey.You can do that.
– Nishara Kavindi
Nov 12 at 16:52

add a comment |

up vote
1
down vote

favorite

I defined a data type in Haskell

data List a=Nil

 |Cons a (List a)

I wrote a function using this data type

listLength Nil=0

listLength (Cons x xs)=1+listLength(xs)

I tried to call that function giving arguments like this

listLength (Cons 2 [2,3])

But I got an error:

<interactive>:68:20: error:

    * Couldn't match expected type `List Integer'

                  with actual type `[Integer]'

    * In the second argument of `Cons', namely `[2, 3]'

      In the first argument of `listLength', namely `(Cons 2 [2, 3])'

      In the expression: listLength (Cons 2 [2, 3])

How do call this function?

asked Nov 11 at 6:37

Nishara Kavindi

268

4

Try listLength (Cons 2 (Cons 2 Nil)). The issue is that [2,3] has type [Integer], but the Cons constructor requires a second argument of type List Integer, and due to Haskell's strong typing the two types are not the same!
– bradrn
Nov 11 at 6:41

It worked. Thank you
– Nishara Kavindi
Nov 11 at 6:49

2

To ease testing you can define and use some auxiliary conversion function like fromList = foldr Cons Nil and then write listLength (fromList [1,7,2,5])). In this way you can convert standard lists to your lists before testing, and avoid to type all the Conses.
– chi
Nov 11 at 8:12

1

@Nishara Kavindi Do you want me to turn my comment into a proper answer so this question can be marked as 'answered'?
– bradrn
Nov 11 at 8:36

@bradrn Okey.You can do that.
– Nishara Kavindi
Nov 12 at 16:52

add a comment |

up vote
1
down vote

favorite

I defined a data type in Haskell

data List a=Nil

 |Cons a (List a)

I wrote a function using this data type

listLength Nil=0

listLength (Cons x xs)=1+listLength(xs)

I tried to call that function giving arguments like this

listLength (Cons 2 [2,3])

But I got an error:

<interactive>:68:20: error:

    * Couldn't match expected type `List Integer'

                  with actual type `[Integer]'

    * In the second argument of `Cons', namely `[2, 3]'

      In the first argument of `listLength', namely `(Cons 2 [2, 3])'

      In the expression: listLength (Cons 2 [2, 3])

How do call this function?

asked Nov 11 at 6:37

Nishara Kavindi

268

I defined a data type in Haskell

data List a=Nil

 |Cons a (List a)

I wrote a function using this data type

listLength Nil=0

listLength (Cons x xs)=1+listLength(xs)

I tried to call that function giving arguments like this

listLength (Cons 2 [2,3])

But I got an error:

<interactive>:68:20: error:

    * Couldn't match expected type `List Integer'

                  with actual type `[Integer]'

    * In the second argument of `Cons', namely `[2, 3]'

      In the first argument of `listLength', namely `(Cons 2 [2, 3])'

      In the expression: listLength (Cons 2 [2, 3])

How do call this function?

haskell

asked Nov 11 at 6:37

Nishara Kavindi

268

asked Nov 11 at 6:37

Nishara Kavindi

268

asked Nov 11 at 6:37

Nishara Kavindi

268

asked Nov 11 at 6:37

Nishara Kavindi

268

asked Nov 11 at 6:37

Nishara Kavindi

268

4

Try listLength (Cons 2 (Cons 2 Nil)). The issue is that [2,3] has type [Integer], but the Cons constructor requires a second argument of type List Integer, and due to Haskell's strong typing the two types are not the same!
– bradrn
Nov 11 at 6:41

It worked. Thank you
– Nishara Kavindi
Nov 11 at 6:49

2

To ease testing you can define and use some auxiliary conversion function like fromList = foldr Cons Nil and then write listLength (fromList [1,7,2,5])). In this way you can convert standard lists to your lists before testing, and avoid to type all the Conses.
– chi
Nov 11 at 8:12

1

@Nishara Kavindi Do you want me to turn my comment into a proper answer so this question can be marked as 'answered'?
– bradrn
Nov 11 at 8:36

@bradrn Okey.You can do that.
– Nishara Kavindi
Nov 12 at 16:52

add a comment |

4

Try listLength (Cons 2 (Cons 2 Nil)). The issue is that [2,3] has type [Integer], but the Cons constructor requires a second argument of type List Integer, and due to Haskell's strong typing the two types are not the same!
– bradrn
Nov 11 at 6:41

It worked. Thank you
– Nishara Kavindi
Nov 11 at 6:49

2

To ease testing you can define and use some auxiliary conversion function like fromList = foldr Cons Nil and then write listLength (fromList [1,7,2,5])). In this way you can convert standard lists to your lists before testing, and avoid to type all the Conses.
– chi
Nov 11 at 8:12

1

@Nishara Kavindi Do you want me to turn my comment into a proper answer so this question can be marked as 'answered'?
– bradrn
Nov 11 at 8:36

@bradrn Okey.You can do that.
– Nishara Kavindi
Nov 12 at 16:52

Try listLength (Cons 2 (Cons 2 Nil)). The issue is that [2,3] has type [Integer], but the Cons constructor requires a second argument of type List Integer, and due to Haskell's strong typing the two types are not the same!
– bradrn
Nov 11 at 6:41

It worked. Thank you
– Nishara Kavindi
Nov 11 at 6:49

To ease testing you can define and use some auxiliary conversion function like fromList = foldr Cons Nil and then write listLength (fromList [1,7,2,5])). In this way you can convert standard lists to your lists before testing, and avoid to type all the Conses.
– chi
Nov 11 at 8:12

@Nishara Kavindi Do you want me to turn my comment into a proper answer so this question can be marked as 'answered'?
– bradrn
Nov 11 at 8:36

@bradrn Okey.You can do that.
– Nishara Kavindi
Nov 12 at 16:52

add a comment |

1 Answer
1

active

oldest

votes

up vote
0
down vote

accepted

From my comment above:

Try using listLength (Cons 2 (Cons 2 Nil)). The issue is that [2,3] has type [Integer], but the Cons constructor requires a second argument of type List Integer, and due to Haskell's strong typing the two types are not the same!

answered Nov 13 at 0:12

bradrn

350310

add a comment |

Your Answer

StackExchange.ifUsing("editor", function () {
StackExchange.using("externalEditor", function () {
StackExchange.using("snippets", function () {
StackExchange.snippets.init();
});
});
}, "code-snippets");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "1"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});

}
});

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});

Post as a guest

Name

Required, but never shown

StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53246438%2fcalling-a-function-with-user-defined-datatypes-in-haskell%23new-answer', 'question_page');
}
);

Post as a guest

Name

Required, but never shown

1 Answer
1

active

oldest

votes

1 Answer
1

active

oldest

votes

up vote
0
down vote

accepted

From my comment above:

Try using listLength (Cons 2 (Cons 2 Nil)). The issue is that [2,3] has type [Integer], but the Cons constructor requires a second argument of type List Integer, and due to Haskell's strong typing the two types are not the same!

answered Nov 13 at 0:12

bradrn

350310

add a comment |

up vote
0
down vote

accepted

From my comment above:

Try using listLength (Cons 2 (Cons 2 Nil)). The issue is that [2,3] has type [Integer], but the Cons constructor requires a second argument of type List Integer, and due to Haskell's strong typing the two types are not the same!

answered Nov 13 at 0:12

bradrn

350310

add a comment |

up vote
0
down vote

accepted

From my comment above:

Try using listLength (Cons 2 (Cons 2 Nil)). The issue is that [2,3] has type [Integer], but the Cons constructor requires a second argument of type List Integer, and due to Haskell's strong typing the two types are not the same!

answered Nov 13 at 0:12

bradrn

350310

From my comment above:

Try using listLength (Cons 2 (Cons 2 Nil)). The issue is that [2,3] has type [Integer], but the Cons constructor requires a second argument of type List Integer, and due to Haskell's strong typing the two types are not the same!

answered Nov 13 at 0:12

bradrn

350310

answered Nov 13 at 0:12

bradrn

350310

answered Nov 13 at 0:12

bradrn

350310

answered Nov 13 at 0:12

bradrn

350310

add a comment |

draft saved

draft discarded

Thanks for contributing an answer to Stack Overflow!

Please be sure to answer the question. Provide details and share your research!

But avoid …

Asking for help, clarification, or responding to other answers.

Making statements based on opinion; back them up with references or personal experience.

To learn more, see our tips on writing great answers.

Some of your past answers have not been well-received, and you're in danger of being blocked from answering.

Please pay close attention to the following guidance:

Please be sure to answer the question. Provide details and share your research!

But avoid …

Asking for help, clarification, or responding to other answers.

Making statements based on opinion; back them up with references or personal experience.

To learn more, see our tips on writing great answers.

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});

Post as a guest

Name

Required, but never shown

Post as a guest

Name

Required, but never shown

Sign up or log in

StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});

Post as a guest

Name

Required, but never shown

Sign up or log in

StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});

Post as a guest

Name

Required, but never shown

Sign up or log in

StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});

Post as a guest

Name

Required, but never shown

Name

Required, but never shown

Name

Required, but never shown

This page is only for reference, If you need detailed information, please check here

搜尋此網誌

Ndtyjky