halfs-0.2: Haskell File System Source code Contents Index

Data.Integral Portability GHC Stability alpha Maintainer Isaac Jones <ijones@galois.com>

Description

Cues Integralitis.

Synopsis

fromIntegral' :: (Bounded a, Integral a, Bounded b, Integral b) => a -> b fromIntegral'' :: (Integral a, Bounded b, Integral b) => a -> b type INInt = Int32 type INLong = Int64 inIntToInt :: INInt -> Int intToINLong :: Int -> INLong inIntToINLong :: INInt -> INLong intToINInt :: Int -> INInt

Documentation

fromIntegral' :: (Bounded a, Integral a, Bounded b, Integral b) => a -> b Source

Almost like fromIntegral, but checks the bounds to make sure its definitely safe. Uses assert, so without assertions, check won't happen.

fromIntegral'' :: (Integral a, Bounded b, Integral b) => a -> b Source

A bit less safe than fromIntegral'; just runtime checks actual value you're trying to convert.

type INInt = Int32 Source

type INLong = Int64 Source

inIntToInt :: INInt -> Int Source

intToINLong :: Int -> INLong Source

inIntToINLong :: INInt -> INLong Source

intToINInt :: Int -> INInt Source

Produced by Haddock version 2.4.2