Haskell Convert Integer to Int?

Question

Is it possible to cast an Integer to an Int? The other direction is possible: toInteger. I know that Integer is able to store bigger values, but sometimes a conversation is needed to use functions in the standard library. I tried (n :: Int) and other code samples I found - but nothing works.

takeN :: Integer -> [a] -> [a]
takeN n l = take n l

dave4420 · Accepted Answer · 2011-11-01 09:58:52Z

64

Use fromIntegral.

takeN :: Integer -> [a] -> [a]
takeN n l = take (fromIntegral n) l

Note that fromIntegral :: (Integral a, Num b) => a -> b, so sometimes you will need an extra type annotation (e.g. (fromIntegral n :: Int)), but usually the compiler can infer which type you want.

In the special case of your example, in Data.List there is genericTake :: (Integral i) => i -> [a] -> [a], which does the same thing as take but with a more general type.

edited Nov 1, 2011 at 9:58

answered Nov 1, 2011 at 9:53

dave4420

47.2k6 gold badges121 silver badges153 bronze badges

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

Comments

newacct · Accepted Answer · 2011-11-01 21:51:40Z

20

there is also fromInteger (fromIntegral is just fromInteger . toInteger, but since you have an Integer anyway so you can skip the second part)

answered Nov 1, 2011 at 21:51

newacct

123k29 gold badges168 silver badges227 bronze badges

Collectives™ on Stack Overflow

Haskell Convert Integer to Int?

2 Answers 2

Comments

Comments

Linked

Hot Network Questions

Collectives™ on Stack Overflow

2 Answers 2

Comments

Comments

Linked

Related