Int package:basic-prelude

A fixed-precision integer type with at least the range [-2^29 .. 2^29-1]. The exact range for a given implementation can be determined by using minBound and maxBound from the Bounded class.

data Int32

basic-prelude CorePrelude

32-bit signed integer type

data Int64

basic-prelude CorePrelude

64-bit signed integer type

data IntMap a

basic-prelude CorePrelude

A map of integers to values a.

data IntSet

basic-prelude CorePrelude

A set of integers.

data Integer

basic-prelude CorePrelude

Invariant: Jn# and Jp# are used iff value doesn't fit in S# Useful properties resulting from the invariants:

```
abs (S# _) <= abs (Jp# _)
```
```
abs (S# _) < abs (Jn# _)
```

class (Real a, Enum a) => Integral a

basic-prelude CorePrelude

Integral numbers, supporting integer division.

interact :: MonadIO m => (LText -> LText) -> m ()

basic-prelude BasicPrelude

intercalate :: Monoid w => w -> [w] -> w

basic-prelude BasicPrelude

intercalate = mconcat .: intersperse

fromInteger :: Num a => Integer -> a

basic-prelude CorePrelude

Conversion from an Integer. An integer literal represents the application of the function fromInteger to the appropriate value of type Integer, so such literals have type (Num a) => a.

fromIntegral :: (Integral a, Num b) => a -> b

basic-prelude CorePrelude

general coercion from integral types

print :: (MonadIO m, Show a) => a -> m ()

basic-prelude CorePrelude

toInteger :: Integral a => a -> Integer

basic-prelude CorePrelude

conversion to Integer