CODEWITHSUNDEEP
haskellrecursiontypes
sitiposit
sitiposit

Reputation: 149

defining a type for a nonempty list

I'm trying to get used to defining recursive types in Haskell. As a simple exercise, I figured that defining a nonempty list data type would be easy (and potentially useful).

Here is my attempt:

data NonemptyList a = Singleton a | Cons (Singleton a) (NonemptyList a)

which results in the compile error:

Not in scope: type constructor or class `Singleton'
Failed, modules loaded: none.

The following code compiles but doesn't sit well with me. I can't exactly explain why not. 

data NonemptyList a = Singleton a | Cons  a (NonemptyList a)

Can anyone clarify this for me? Any comments are welcome.

Thanks

dan

Upvotes: 2

Views: 791

Answers (2)

Gabriella Gonzalez
Gabriella Gonzalez

Reputation: 35099

As a side note, a simpler way to define a non-empty list is:

data NonEmpty a = NonEmpty { head :: a, tail :: [a] }

The most popular package for non-empty lists is the semigroups package, which has something similar to the above definition in the Data.List.NonEmpty module.

Upvotes: 4

Dirk Holsopple
Dirk Holsopple

Reputation: 8831

This is because you used Singleton (a data constructor) in a place where a type constructor is expected. In this example, Singleton and Cons are data constructors and Nonemptylist is a type constructor. It is easy to confuse these two concepts, because it is common to define a data constructor and a type constructor with the same name, e.g. data Foo a = Foo a.

In this case, data NonemptyList a = Singleton a | Cons a (NonemptyList a) probably is the correct code to use.

Upvotes: 9

Related Questions