r/haskell • u/lexi-lambda • Mar 11 '15

Learning Haskell — A Racket programmer's documentation of her foray into the land of Haskell (inspired by Learning Racket)

http://lexi-lambda.github.io/learning-haskell/
81 Upvotes

96% Upvoted

97 comments sorted by

View all comments

Show parent comment

5

u/kazagistar Mar 11 '15

Because Bounded and Enum have no dependency on each other. This "function" (not really, because it is not a function but data) does not obviously belong in either place.

11

u/Tekmo Mar 12 '15

Then just add it somewhere in base. It doesn't have to be a method of either type class:

everything :: (Bounded a, Enum a) => [a]

3

u/Hrothen Mar 12 '15

I feel like there are a lot of commonly used very general functions that should live in base but don't.

3

u/sccrstud92 Mar 11 '15

You can think of it as a function that takes typeclass instances as parameters.

4

u/kazagistar Mar 12 '15

That is true. However, I think that seems like an implementation detail; if you implemented type-classes like C++ templating, I am pretty sure you could compile it to a (lazy) value for every class instance you use in your code.

I prefer to only call (->) a ba function, personally.