checked-0.1.0.1: Bounds-checking integer types.

Portability	portable -- requires GeneralizedNewtypeDeriving
Stability	provisional
Maintainer	Antoine Latter <aslatter@gmail.com>

Data.Int.Checked

Description

A drop-in replacements for the Data.Int types. Exceptions are thrown whenever an operation would over-flow.

Documentation

data Int Source

Instances

Bounded Int
Enum Int
Eq Int
Integral Int
Num Int
Ord Int
Read Int
Real Int
Show Int
Ix Int
Typeable Int
PrintfArg Int
Storable Int
Bits Int

data Int8 Source

Instances

Bounded Int8
Enum Int8
Eq Int8
Integral Int8
Num Int8
Ord Int8
Read Int8
Real Int8
Show Int8
Ix Int8
Typeable Int8
PrintfArg Int8
Storable Int8
Bits Int8

data Int16 Source

Instances

Bounded Int16
Enum Int16
Eq Int16
Integral Int16
Num Int16
Ord Int16
Read Int16
Real Int16
Show Int16
Ix Int16
Typeable Int16
PrintfArg Int16
Storable Int16
Bits Int16

data Int32 Source

Instances

Bounded Int32
Enum Int32
Eq Int32
Integral Int32
Num Int32
Ord Int32
Read Int32
Real Int32
Show Int32
Ix Int32
Typeable Int32
PrintfArg Int32
Storable Int32
Bits Int32

data Int64 Source

Instances

Bounded Int64
Enum Int64
Eq Int64
Integral Int64
Num Int64
Ord Int64
Read Int64
Real Int64
Show Int64
Ix Int64
Typeable Int64
PrintfArg Int64
Storable Int64
Bits Int64