-- | Conversion between signed and sized integral types with bounds checking.
--   Types are aliased as Ux and Ix.
--   Includes sizes 4 (MIDI), 7 (ASCII,MIDI), 12 (SND,AKAI), 14 (MIDI) and 24 (SND).
--   Autogenerated: see mk/mk-convert.hs.
module Music.Theory.Math.Convert.Fx where

import Data.Int {- base -}
import Data.Word {- base -}

-- | Alias
type U4 = Word8

-- | Alias
type U7 = Word8

-- | Alias
type U8 = Word8

-- | Alias
type U12 = Word16

-- | Alias
type U14 = Word16

-- | Alias
type U16 = Word16

-- | Alias
type U24 = Word32

-- | Alias
type U32 = Word32

-- | Alias
type U64 = Word64

-- | Alias
type I4 = Int8

-- | Alias
type I7 = Int8

-- | Alias
type I8 = Int8

-- | Alias
type I12 = Int16

-- | Alias
type I14 = Int16

-- | Alias
type I16 = Int16

-- | Alias
type I24 = Int32

-- | Alias
type I32 = Int32

-- | Alias
type I64 = Int64

-- | Type specialised 'fromIntegral'
u4_to_u7 :: U4 -> U7
u4_to_u7 :: U8 -> U8
u4_to_u7 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u4_to_u8 :: U4 -> U8
u4_to_u8 :: U8 -> U8
u4_to_u8 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u4_to_u12 :: U4 -> U12
u4_to_u12 :: U8 -> U16
u4_to_u12 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u4_to_u14 :: U4 -> U14
u4_to_u14 :: U8 -> U16
u4_to_u14 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u4_to_u16 :: U4 -> U16
u4_to_u16 :: U8 -> U16
u4_to_u16 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u4_to_u24 :: U4 -> U24
u4_to_u24 :: U8 -> U32
u4_to_u24 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u4_to_u32 :: U4 -> U32
u4_to_u32 :: U8 -> U32
u4_to_u32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u4_to_u64 :: U4 -> U64
u4_to_u64 :: U8 -> U64
u4_to_u64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
u4_to_i4 :: U4 -> I4
u4_to_i4 :: U8 -> I8
u4_to_i4 U8
x = if U8
x forall a. Ord a => a -> a -> Bool
< U8
0 Bool -> Bool -> Bool
|| U8
x forall a. Ord a => a -> a -> Bool
> U8
7 then forall a. HasCallStack => [Char] -> a
error [Char]
"u4_to_i4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U8
x

-- | Type specialised 'fromIntegral'
u4_to_i7 :: U4 -> I7
u4_to_i7 :: U8 -> I8
u4_to_i7 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u4_to_i8 :: U4 -> I8
u4_to_i8 :: U8 -> I8
u4_to_i8 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u4_to_i12 :: U4 -> I12
u4_to_i12 :: U8 -> I16
u4_to_i12 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u4_to_i14 :: U4 -> I14
u4_to_i14 :: U8 -> I16
u4_to_i14 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u4_to_i16 :: U4 -> I16
u4_to_i16 :: U8 -> I16
u4_to_i16 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u4_to_i24 :: U4 -> I24
u4_to_i24 :: U8 -> I32
u4_to_i24 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u4_to_i32 :: U4 -> I32
u4_to_i32 :: U8 -> I32
u4_to_i32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u4_to_i64 :: U4 -> I64
u4_to_i64 :: U8 -> I64
u4_to_i64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
u7_to_u4 :: U7 -> U4
u7_to_u4 :: U8 -> U8
u7_to_u4 U8
x = if U8
x forall a. Ord a => a -> a -> Bool
< U8
0 Bool -> Bool -> Bool
|| U8
x forall a. Ord a => a -> a -> Bool
> U8
15 then forall a. HasCallStack => [Char] -> a
error [Char]
"u7_to_u4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U8
x

-- | Type specialised 'fromIntegral'
u7_to_u8 :: U7 -> U8
u7_to_u8 :: U8 -> U8
u7_to_u8 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u7_to_u12 :: U7 -> U12
u7_to_u12 :: U8 -> U16
u7_to_u12 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u7_to_u14 :: U7 -> U14
u7_to_u14 :: U8 -> U16
u7_to_u14 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u7_to_u16 :: U7 -> U16
u7_to_u16 :: U8 -> U16
u7_to_u16 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u7_to_u24 :: U7 -> U24
u7_to_u24 :: U8 -> U32
u7_to_u24 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u7_to_u32 :: U7 -> U32
u7_to_u32 :: U8 -> U32
u7_to_u32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u7_to_u64 :: U7 -> U64
u7_to_u64 :: U8 -> U64
u7_to_u64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
u7_to_i4 :: U7 -> I4
u7_to_i4 :: U8 -> I8
u7_to_i4 U8
x = if U8
x forall a. Ord a => a -> a -> Bool
< U8
0 Bool -> Bool -> Bool
|| U8
x forall a. Ord a => a -> a -> Bool
> U8
7 then forall a. HasCallStack => [Char] -> a
error [Char]
"u7_to_i4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u7_to_i7 :: U7 -> I7
u7_to_i7 :: U8 -> I8
u7_to_i7 U8
x = if U8
x forall a. Ord a => a -> a -> Bool
< U8
0 Bool -> Bool -> Bool
|| U8
x forall a. Ord a => a -> a -> Bool
> U8
63 then forall a. HasCallStack => [Char] -> a
error [Char]
"u7_to_i7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U8
x

-- | Type specialised 'fromIntegral'
u7_to_i8 :: U7 -> I8
u7_to_i8 :: U8 -> I8
u7_to_i8 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u7_to_i12 :: U7 -> I12
u7_to_i12 :: U8 -> I16
u7_to_i12 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u7_to_i14 :: U7 -> I14
u7_to_i14 :: U8 -> I16
u7_to_i14 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u7_to_i16 :: U7 -> I16
u7_to_i16 :: U8 -> I16
u7_to_i16 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u7_to_i24 :: U7 -> I24
u7_to_i24 :: U8 -> I32
u7_to_i24 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u7_to_i32 :: U7 -> I32
u7_to_i32 :: U8 -> I32
u7_to_i32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u7_to_i64 :: U7 -> I64
u7_to_i64 :: U8 -> I64
u7_to_i64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
u8_to_u4 :: U8 -> U4
u8_to_u4 :: U8 -> U8
u8_to_u4 U8
x = if U8
x forall a. Ord a => a -> a -> Bool
< U8
0 Bool -> Bool -> Bool
|| U8
x forall a. Ord a => a -> a -> Bool
> U8
15 then forall a. HasCallStack => [Char] -> a
error [Char]
"u8_to_u4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u8_to_u7 :: U8 -> U7
u8_to_u7 :: U8 -> U8
u8_to_u7 U8
x = if U8
x forall a. Ord a => a -> a -> Bool
< U8
0 Bool -> Bool -> Bool
|| U8
x forall a. Ord a => a -> a -> Bool
> U8
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"u8_to_u7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U8
x

-- | Type specialised 'fromIntegral'
u8_to_u12 :: U8 -> U12
u8_to_u12 :: U8 -> U16
u8_to_u12 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u8_to_u14 :: U8 -> U14
u8_to_u14 :: U8 -> U16
u8_to_u14 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u8_to_u16 :: U8 -> U16
u8_to_u16 :: U8 -> U16
u8_to_u16 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u8_to_u24 :: U8 -> U24
u8_to_u24 :: U8 -> U32
u8_to_u24 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u8_to_u32 :: U8 -> U32
u8_to_u32 :: U8 -> U32
u8_to_u32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u8_to_u64 :: U8 -> U64
u8_to_u64 :: U8 -> U64
u8_to_u64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
u8_to_i4 :: U8 -> I4
u8_to_i4 :: U8 -> I8
u8_to_i4 U8
x = if U8
x forall a. Ord a => a -> a -> Bool
< U8
0 Bool -> Bool -> Bool
|| U8
x forall a. Ord a => a -> a -> Bool
> U8
7 then forall a. HasCallStack => [Char] -> a
error [Char]
"u8_to_i4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u8_to_i7 :: U8 -> I7
u8_to_i7 :: U8 -> I8
u8_to_i7 U8
x = if U8
x forall a. Ord a => a -> a -> Bool
< U8
0 Bool -> Bool -> Bool
|| U8
x forall a. Ord a => a -> a -> Bool
> U8
63 then forall a. HasCallStack => [Char] -> a
error [Char]
"u8_to_i7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u8_to_i8 :: U8 -> I8
u8_to_i8 :: U8 -> I8
u8_to_i8 U8
x = if U8
x forall a. Ord a => a -> a -> Bool
< U8
0 Bool -> Bool -> Bool
|| U8
x forall a. Ord a => a -> a -> Bool
> U8
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"u8_to_i8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U8
x

-- | Type specialised 'fromIntegral'
u8_to_i12 :: U8 -> I12
u8_to_i12 :: U8 -> I16
u8_to_i12 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u8_to_i14 :: U8 -> I14
u8_to_i14 :: U8 -> I16
u8_to_i14 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u8_to_i16 :: U8 -> I16
u8_to_i16 :: U8 -> I16
u8_to_i16 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u8_to_i24 :: U8 -> I24
u8_to_i24 :: U8 -> I32
u8_to_i24 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u8_to_i32 :: U8 -> I32
u8_to_i32 :: U8 -> I32
u8_to_i32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u8_to_i64 :: U8 -> I64
u8_to_i64 :: U8 -> I64
u8_to_i64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
u12_to_u4 :: U12 -> U4
u12_to_u4 :: U16 -> U8
u12_to_u4 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
15 then forall a. HasCallStack => [Char] -> a
error [Char]
"u12_to_u4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u12_to_u7 :: U12 -> U7
u12_to_u7 :: U16 -> U8
u12_to_u7 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"u12_to_u7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u12_to_u8 :: U12 -> U8
u12_to_u8 :: U16 -> U8
u12_to_u8 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
255 then forall a. HasCallStack => [Char] -> a
error [Char]
"u12_to_u8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral'
u12_to_u14 :: U12 -> U14
u12_to_u14 :: U16 -> U16
u12_to_u14 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u12_to_u16 :: U12 -> U16
u12_to_u16 :: U16 -> U16
u12_to_u16 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u12_to_u24 :: U12 -> U24
u12_to_u24 :: U16 -> U32
u12_to_u24 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u12_to_u32 :: U12 -> U32
u12_to_u32 :: U16 -> U32
u12_to_u32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u12_to_u64 :: U12 -> U64
u12_to_u64 :: U16 -> U64
u12_to_u64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
u12_to_i4 :: U12 -> I4
u12_to_i4 :: U16 -> I8
u12_to_i4 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
7 then forall a. HasCallStack => [Char] -> a
error [Char]
"u12_to_i4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u12_to_i7 :: U12 -> I7
u12_to_i7 :: U16 -> I8
u12_to_i7 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
63 then forall a. HasCallStack => [Char] -> a
error [Char]
"u12_to_i7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u12_to_i8 :: U12 -> I8
u12_to_i8 :: U16 -> I8
u12_to_i8 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"u12_to_i8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u12_to_i12 :: U12 -> I12
u12_to_i12 :: U16 -> I16
u12_to_i12 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
2047 then forall a. HasCallStack => [Char] -> a
error [Char]
"u12_to_i12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral'
u12_to_i14 :: U12 -> I14
u12_to_i14 :: U16 -> I16
u12_to_i14 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u12_to_i16 :: U12 -> I16
u12_to_i16 :: U16 -> I16
u12_to_i16 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u12_to_i24 :: U12 -> I24
u12_to_i24 :: U16 -> I32
u12_to_i24 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u12_to_i32 :: U12 -> I32
u12_to_i32 :: U16 -> I32
u12_to_i32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u12_to_i64 :: U12 -> I64
u12_to_i64 :: U16 -> I64
u12_to_i64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
u14_to_u4 :: U14 -> U4
u14_to_u4 :: U16 -> U8
u14_to_u4 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
15 then forall a. HasCallStack => [Char] -> a
error [Char]
"u14_to_u4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u14_to_u7 :: U14 -> U7
u14_to_u7 :: U16 -> U8
u14_to_u7 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"u14_to_u7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u14_to_u8 :: U14 -> U8
u14_to_u8 :: U16 -> U8
u14_to_u8 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
255 then forall a. HasCallStack => [Char] -> a
error [Char]
"u14_to_u8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u14_to_u12 :: U14 -> U12
u14_to_u12 :: U16 -> U16
u14_to_u12 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
4095 then forall a. HasCallStack => [Char] -> a
error [Char]
"u14_to_u12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral'
u14_to_u16 :: U14 -> U16
u14_to_u16 :: U16 -> U16
u14_to_u16 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u14_to_u24 :: U14 -> U24
u14_to_u24 :: U16 -> U32
u14_to_u24 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u14_to_u32 :: U14 -> U32
u14_to_u32 :: U16 -> U32
u14_to_u32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u14_to_u64 :: U14 -> U64
u14_to_u64 :: U16 -> U64
u14_to_u64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
u14_to_i4 :: U14 -> I4
u14_to_i4 :: U16 -> I8
u14_to_i4 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
7 then forall a. HasCallStack => [Char] -> a
error [Char]
"u14_to_i4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u14_to_i7 :: U14 -> I7
u14_to_i7 :: U16 -> I8
u14_to_i7 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
63 then forall a. HasCallStack => [Char] -> a
error [Char]
"u14_to_i7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u14_to_i8 :: U14 -> I8
u14_to_i8 :: U16 -> I8
u14_to_i8 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"u14_to_i8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u14_to_i12 :: U14 -> I12
u14_to_i12 :: U16 -> I16
u14_to_i12 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
2047 then forall a. HasCallStack => [Char] -> a
error [Char]
"u14_to_i12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u14_to_i14 :: U14 -> I14
u14_to_i14 :: U16 -> I16
u14_to_i14 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
8191 then forall a. HasCallStack => [Char] -> a
error [Char]
"u14_to_i14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral'
u14_to_i16 :: U14 -> I16
u14_to_i16 :: U16 -> I16
u14_to_i16 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u14_to_i24 :: U14 -> I24
u14_to_i24 :: U16 -> I32
u14_to_i24 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u14_to_i32 :: U14 -> I32
u14_to_i32 :: U16 -> I32
u14_to_i32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u14_to_i64 :: U14 -> I64
u14_to_i64 :: U16 -> I64
u14_to_i64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
u16_to_u4 :: U16 -> U4
u16_to_u4 :: U16 -> U8
u16_to_u4 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
15 then forall a. HasCallStack => [Char] -> a
error [Char]
"u16_to_u4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u16_to_u7 :: U16 -> U7
u16_to_u7 :: U16 -> U8
u16_to_u7 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"u16_to_u7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u16_to_u8 :: U16 -> U8
u16_to_u8 :: U16 -> U8
u16_to_u8 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
255 then forall a. HasCallStack => [Char] -> a
error [Char]
"u16_to_u8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u16_to_u12 :: U16 -> U12
u16_to_u12 :: U16 -> U16
u16_to_u12 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
4095 then forall a. HasCallStack => [Char] -> a
error [Char]
"u16_to_u12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u16_to_u14 :: U16 -> U14
u16_to_u14 :: U16 -> U16
u16_to_u14 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
16383 then forall a. HasCallStack => [Char] -> a
error [Char]
"u16_to_u14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral'
u16_to_u24 :: U16 -> U24
u16_to_u24 :: U16 -> U32
u16_to_u24 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u16_to_u32 :: U16 -> U32
u16_to_u32 :: U16 -> U32
u16_to_u32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u16_to_u64 :: U16 -> U64
u16_to_u64 :: U16 -> U64
u16_to_u64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
u16_to_i4 :: U16 -> I4
u16_to_i4 :: U16 -> I8
u16_to_i4 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
7 then forall a. HasCallStack => [Char] -> a
error [Char]
"u16_to_i4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u16_to_i7 :: U16 -> I7
u16_to_i7 :: U16 -> I8
u16_to_i7 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
63 then forall a. HasCallStack => [Char] -> a
error [Char]
"u16_to_i7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u16_to_i8 :: U16 -> I8
u16_to_i8 :: U16 -> I8
u16_to_i8 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"u16_to_i8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u16_to_i12 :: U16 -> I12
u16_to_i12 :: U16 -> I16
u16_to_i12 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
2047 then forall a. HasCallStack => [Char] -> a
error [Char]
"u16_to_i12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u16_to_i14 :: U16 -> I14
u16_to_i14 :: U16 -> I16
u16_to_i14 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
8191 then forall a. HasCallStack => [Char] -> a
error [Char]
"u16_to_i14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u16_to_i16 :: U16 -> I16
u16_to_i16 :: U16 -> I16
u16_to_i16 U16
x = if U16
x forall a. Ord a => a -> a -> Bool
< U16
0 Bool -> Bool -> Bool
|| U16
x forall a. Ord a => a -> a -> Bool
> U16
32767 then forall a. HasCallStack => [Char] -> a
error [Char]
"u16_to_i16: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U16
x

-- | Type specialised 'fromIntegral'
u16_to_i24 :: U16 -> I24
u16_to_i24 :: U16 -> I32
u16_to_i24 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u16_to_i32 :: U16 -> I32
u16_to_i32 :: U16 -> I32
u16_to_i32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u16_to_i64 :: U16 -> I64
u16_to_i64 :: U16 -> I64
u16_to_i64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
u24_to_u4 :: U24 -> U4
u24_to_u4 :: U32 -> U8
u24_to_u4 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
15 then forall a. HasCallStack => [Char] -> a
error [Char]
"u24_to_u4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u24_to_u7 :: U24 -> U7
u24_to_u7 :: U32 -> U8
u24_to_u7 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"u24_to_u7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u24_to_u8 :: U24 -> U8
u24_to_u8 :: U32 -> U8
u24_to_u8 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
255 then forall a. HasCallStack => [Char] -> a
error [Char]
"u24_to_u8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u24_to_u12 :: U24 -> U12
u24_to_u12 :: U32 -> U16
u24_to_u12 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
4095 then forall a. HasCallStack => [Char] -> a
error [Char]
"u24_to_u12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u24_to_u14 :: U24 -> U14
u24_to_u14 :: U32 -> U16
u24_to_u14 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
16383 then forall a. HasCallStack => [Char] -> a
error [Char]
"u24_to_u14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u24_to_u16 :: U24 -> U16
u24_to_u16 :: U32 -> U16
u24_to_u16 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
65535 then forall a. HasCallStack => [Char] -> a
error [Char]
"u24_to_u16: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral'
u24_to_u32 :: U24 -> U32
u24_to_u32 :: U32 -> U32
u24_to_u32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u24_to_u64 :: U24 -> U64
u24_to_u64 :: U32 -> U64
u24_to_u64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
u24_to_i4 :: U24 -> I4
u24_to_i4 :: U32 -> I8
u24_to_i4 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
7 then forall a. HasCallStack => [Char] -> a
error [Char]
"u24_to_i4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u24_to_i7 :: U24 -> I7
u24_to_i7 :: U32 -> I8
u24_to_i7 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
63 then forall a. HasCallStack => [Char] -> a
error [Char]
"u24_to_i7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u24_to_i8 :: U24 -> I8
u24_to_i8 :: U32 -> I8
u24_to_i8 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"u24_to_i8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u24_to_i12 :: U24 -> I12
u24_to_i12 :: U32 -> I16
u24_to_i12 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
2047 then forall a. HasCallStack => [Char] -> a
error [Char]
"u24_to_i12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u24_to_i14 :: U24 -> I14
u24_to_i14 :: U32 -> I16
u24_to_i14 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
8191 then forall a. HasCallStack => [Char] -> a
error [Char]
"u24_to_i14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u24_to_i16 :: U24 -> I16
u24_to_i16 :: U32 -> I16
u24_to_i16 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
32767 then forall a. HasCallStack => [Char] -> a
error [Char]
"u24_to_i16: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u24_to_i24 :: U24 -> I24
u24_to_i24 :: U32 -> I32
u24_to_i24 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
8388607 then forall a. HasCallStack => [Char] -> a
error [Char]
"u24_to_i24: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral'
u24_to_i32 :: U24 -> I32
u24_to_i32 :: U32 -> I32
u24_to_i32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
u24_to_i64 :: U24 -> I64
u24_to_i64 :: U32 -> I64
u24_to_i64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
u32_to_u4 :: U32 -> U4
u32_to_u4 :: U32 -> U8
u32_to_u4 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
15 then forall a. HasCallStack => [Char] -> a
error [Char]
"u32_to_u4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u32_to_u7 :: U32 -> U7
u32_to_u7 :: U32 -> U8
u32_to_u7 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"u32_to_u7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u32_to_u8 :: U32 -> U8
u32_to_u8 :: U32 -> U8
u32_to_u8 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
255 then forall a. HasCallStack => [Char] -> a
error [Char]
"u32_to_u8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u32_to_u12 :: U32 -> U12
u32_to_u12 :: U32 -> U16
u32_to_u12 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
4095 then forall a. HasCallStack => [Char] -> a
error [Char]
"u32_to_u12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u32_to_u14 :: U32 -> U14
u32_to_u14 :: U32 -> U16
u32_to_u14 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
16383 then forall a. HasCallStack => [Char] -> a
error [Char]
"u32_to_u14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u32_to_u16 :: U32 -> U16
u32_to_u16 :: U32 -> U16
u32_to_u16 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
65535 then forall a. HasCallStack => [Char] -> a
error [Char]
"u32_to_u16: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u32_to_u24 :: U32 -> U24
u32_to_u24 :: U32 -> U32
u32_to_u24 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
16777215 then forall a. HasCallStack => [Char] -> a
error [Char]
"u32_to_u24: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral'
u32_to_u64 :: U32 -> U64
u32_to_u64 :: U32 -> U64
u32_to_u64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
u32_to_i4 :: U32 -> I4
u32_to_i4 :: U32 -> I8
u32_to_i4 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
7 then forall a. HasCallStack => [Char] -> a
error [Char]
"u32_to_i4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u32_to_i7 :: U32 -> I7
u32_to_i7 :: U32 -> I8
u32_to_i7 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
63 then forall a. HasCallStack => [Char] -> a
error [Char]
"u32_to_i7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u32_to_i8 :: U32 -> I8
u32_to_i8 :: U32 -> I8
u32_to_i8 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"u32_to_i8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u32_to_i12 :: U32 -> I12
u32_to_i12 :: U32 -> I16
u32_to_i12 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
2047 then forall a. HasCallStack => [Char] -> a
error [Char]
"u32_to_i12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u32_to_i14 :: U32 -> I14
u32_to_i14 :: U32 -> I16
u32_to_i14 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
8191 then forall a. HasCallStack => [Char] -> a
error [Char]
"u32_to_i14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u32_to_i16 :: U32 -> I16
u32_to_i16 :: U32 -> I16
u32_to_i16 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
32767 then forall a. HasCallStack => [Char] -> a
error [Char]
"u32_to_i16: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u32_to_i24 :: U32 -> I24
u32_to_i24 :: U32 -> I32
u32_to_i24 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
8388607 then forall a. HasCallStack => [Char] -> a
error [Char]
"u32_to_i24: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u32_to_i32 :: U32 -> I32
u32_to_i32 :: U32 -> I32
u32_to_i32 U32
x = if U32
x forall a. Ord a => a -> a -> Bool
< U32
0 Bool -> Bool -> Bool
|| U32
x forall a. Ord a => a -> a -> Bool
> U32
2147483647 then forall a. HasCallStack => [Char] -> a
error [Char]
"u32_to_i32: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U32
x

-- | Type specialised 'fromIntegral'
u32_to_i64 :: U32 -> I64
u32_to_i64 :: U32 -> I64
u32_to_i64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
u64_to_u4 :: U64 -> U4
u64_to_u4 :: U64 -> U8
u64_to_u4 U64
x = if U64
x forall a. Ord a => a -> a -> Bool
< U64
0 Bool -> Bool -> Bool
|| U64
x forall a. Ord a => a -> a -> Bool
> U64
15 then forall a. HasCallStack => [Char] -> a
error [Char]
"u64_to_u4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u64_to_u7 :: U64 -> U7
u64_to_u7 :: U64 -> U8
u64_to_u7 U64
x = if U64
x forall a. Ord a => a -> a -> Bool
< U64
0 Bool -> Bool -> Bool
|| U64
x forall a. Ord a => a -> a -> Bool
> U64
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"u64_to_u7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u64_to_u8 :: U64 -> U8
u64_to_u8 :: U64 -> U8
u64_to_u8 U64
x = if U64
x forall a. Ord a => a -> a -> Bool
< U64
0 Bool -> Bool -> Bool
|| U64
x forall a. Ord a => a -> a -> Bool
> U64
255 then forall a. HasCallStack => [Char] -> a
error [Char]
"u64_to_u8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u64_to_u12 :: U64 -> U12
u64_to_u12 :: U64 -> U16
u64_to_u12 U64
x = if U64
x forall a. Ord a => a -> a -> Bool
< U64
0 Bool -> Bool -> Bool
|| U64
x forall a. Ord a => a -> a -> Bool
> U64
4095 then forall a. HasCallStack => [Char] -> a
error [Char]
"u64_to_u12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u64_to_u14 :: U64 -> U14
u64_to_u14 :: U64 -> U16
u64_to_u14 U64
x = if U64
x forall a. Ord a => a -> a -> Bool
< U64
0 Bool -> Bool -> Bool
|| U64
x forall a. Ord a => a -> a -> Bool
> U64
16383 then forall a. HasCallStack => [Char] -> a
error [Char]
"u64_to_u14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u64_to_u16 :: U64 -> U16
u64_to_u16 :: U64 -> U16
u64_to_u16 U64
x = if U64
x forall a. Ord a => a -> a -> Bool
< U64
0 Bool -> Bool -> Bool
|| U64
x forall a. Ord a => a -> a -> Bool
> U64
65535 then forall a. HasCallStack => [Char] -> a
error [Char]
"u64_to_u16: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u64_to_u24 :: U64 -> U24
u64_to_u24 :: U64 -> U32
u64_to_u24 U64
x = if U64
x forall a. Ord a => a -> a -> Bool
< U64
0 Bool -> Bool -> Bool
|| U64
x forall a. Ord a => a -> a -> Bool
> U64
16777215 then forall a. HasCallStack => [Char] -> a
error [Char]
"u64_to_u24: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u64_to_u32 :: U64 -> U32
u64_to_u32 :: U64 -> U32
u64_to_u32 U64
x = if U64
x forall a. Ord a => a -> a -> Bool
< U64
0 Bool -> Bool -> Bool
|| U64
x forall a. Ord a => a -> a -> Bool
> U64
4294967295 then forall a. HasCallStack => [Char] -> a
error [Char]
"u64_to_u32: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u64_to_i4 :: U64 -> I4
u64_to_i4 :: U64 -> I8
u64_to_i4 U64
x = if U64
x forall a. Ord a => a -> a -> Bool
< U64
0 Bool -> Bool -> Bool
|| U64
x forall a. Ord a => a -> a -> Bool
> U64
7 then forall a. HasCallStack => [Char] -> a
error [Char]
"u64_to_i4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u64_to_i7 :: U64 -> I7
u64_to_i7 :: U64 -> I8
u64_to_i7 U64
x = if U64
x forall a. Ord a => a -> a -> Bool
< U64
0 Bool -> Bool -> Bool
|| U64
x forall a. Ord a => a -> a -> Bool
> U64
63 then forall a. HasCallStack => [Char] -> a
error [Char]
"u64_to_i7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u64_to_i8 :: U64 -> I8
u64_to_i8 :: U64 -> I8
u64_to_i8 U64
x = if U64
x forall a. Ord a => a -> a -> Bool
< U64
0 Bool -> Bool -> Bool
|| U64
x forall a. Ord a => a -> a -> Bool
> U64
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"u64_to_i8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u64_to_i12 :: U64 -> I12
u64_to_i12 :: U64 -> I16
u64_to_i12 U64
x = if U64
x forall a. Ord a => a -> a -> Bool
< U64
0 Bool -> Bool -> Bool
|| U64
x forall a. Ord a => a -> a -> Bool
> U64
2047 then forall a. HasCallStack => [Char] -> a
error [Char]
"u64_to_i12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u64_to_i14 :: U64 -> I14
u64_to_i14 :: U64 -> I16
u64_to_i14 U64
x = if U64
x forall a. Ord a => a -> a -> Bool
< U64
0 Bool -> Bool -> Bool
|| U64
x forall a. Ord a => a -> a -> Bool
> U64
8191 then forall a. HasCallStack => [Char] -> a
error [Char]
"u64_to_i14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u64_to_i16 :: U64 -> I16
u64_to_i16 :: U64 -> I16
u64_to_i16 U64
x = if U64
x forall a. Ord a => a -> a -> Bool
< U64
0 Bool -> Bool -> Bool
|| U64
x forall a. Ord a => a -> a -> Bool
> U64
32767 then forall a. HasCallStack => [Char] -> a
error [Char]
"u64_to_i16: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u64_to_i24 :: U64 -> I24
u64_to_i24 :: U64 -> I32
u64_to_i24 U64
x = if U64
x forall a. Ord a => a -> a -> Bool
< U64
0 Bool -> Bool -> Bool
|| U64
x forall a. Ord a => a -> a -> Bool
> U64
8388607 then forall a. HasCallStack => [Char] -> a
error [Char]
"u64_to_i24: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u64_to_i32 :: U64 -> I32
u64_to_i32 :: U64 -> I32
u64_to_i32 U64
x = if U64
x forall a. Ord a => a -> a -> Bool
< U64
0 Bool -> Bool -> Bool
|| U64
x forall a. Ord a => a -> a -> Bool
> U64
2147483647 then forall a. HasCallStack => [Char] -> a
error [Char]
"u64_to_i32: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
u64_to_i64 :: U64 -> I64
u64_to_i64 :: U64 -> I64
u64_to_i64 U64
x = if U64
x forall a. Ord a => a -> a -> Bool
< U64
0 Bool -> Bool -> Bool
|| U64
x forall a. Ord a => a -> a -> Bool
> U64
9223372036854775807 then forall a. HasCallStack => [Char] -> a
error [Char]
"u64_to_i64: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral U64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i4_to_u4 :: I4 -> U4
i4_to_u4 :: I8 -> U8
i4_to_u4 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i4_to_u4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i4_to_u7 :: I4 -> U7
i4_to_u7 :: I8 -> U8
i4_to_u7 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i4_to_u7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i4_to_u8 :: I4 -> U8
i4_to_u8 :: I8 -> U8
i4_to_u8 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i4_to_u8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i4_to_u12 :: I4 -> U12
i4_to_u12 :: I8 -> U16
i4_to_u12 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i4_to_u12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i4_to_u14 :: I4 -> U14
i4_to_u14 :: I8 -> U16
i4_to_u14 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i4_to_u14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i4_to_u16 :: I4 -> U16
i4_to_u16 :: I8 -> U16
i4_to_u16 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i4_to_u16: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i4_to_u24 :: I4 -> U24
i4_to_u24 :: I8 -> U32
i4_to_u24 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i4_to_u24: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i4_to_u32 :: I4 -> U32
i4_to_u32 :: I8 -> U32
i4_to_u32 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i4_to_u32: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i4_to_u64 :: I4 -> U64
i4_to_u64 :: I8 -> U64
i4_to_u64 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i4_to_u64: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral'
i4_to_i7 :: I4 -> I7
i4_to_i7 :: I8 -> I8
i4_to_i7 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i4_to_i8 :: I4 -> I8
i4_to_i8 :: I8 -> I8
i4_to_i8 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i4_to_i12 :: I4 -> I12
i4_to_i12 :: I8 -> I16
i4_to_i12 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i4_to_i14 :: I4 -> I14
i4_to_i14 :: I8 -> I16
i4_to_i14 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i4_to_i16 :: I4 -> I16
i4_to_i16 :: I8 -> I16
i4_to_i16 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i4_to_i24 :: I4 -> I24
i4_to_i24 :: I8 -> I32
i4_to_i24 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i4_to_i32 :: I4 -> I32
i4_to_i32 :: I8 -> I32
i4_to_i32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i4_to_i64 :: I4 -> I64
i4_to_i64 :: I8 -> I64
i4_to_i64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
i7_to_u4 :: I7 -> U4
i7_to_u4 :: I8 -> U8
i7_to_u4 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 Bool -> Bool -> Bool
|| I8
x forall a. Ord a => a -> a -> Bool
> I8
15 then forall a. HasCallStack => [Char] -> a
error [Char]
"i7_to_u4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i7_to_u7 :: I7 -> U7
i7_to_u7 :: I8 -> U8
i7_to_u7 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i7_to_u7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i7_to_u8 :: I7 -> U8
i7_to_u8 :: I8 -> U8
i7_to_u8 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i7_to_u8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i7_to_u12 :: I7 -> U12
i7_to_u12 :: I8 -> U16
i7_to_u12 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i7_to_u12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i7_to_u14 :: I7 -> U14
i7_to_u14 :: I8 -> U16
i7_to_u14 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i7_to_u14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i7_to_u16 :: I7 -> U16
i7_to_u16 :: I8 -> U16
i7_to_u16 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i7_to_u16: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i7_to_u24 :: I7 -> U24
i7_to_u24 :: I8 -> U32
i7_to_u24 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i7_to_u24: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i7_to_u32 :: I7 -> U32
i7_to_u32 :: I8 -> U32
i7_to_u32 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i7_to_u32: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i7_to_u64 :: I7 -> U64
i7_to_u64 :: I8 -> U64
i7_to_u64 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i7_to_u64: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i7_to_i4 :: I7 -> I4
i7_to_i4 :: I8 -> I8
i7_to_i4 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< -I8
8 Bool -> Bool -> Bool
|| I8
x forall a. Ord a => a -> a -> Bool
> I8
7 then forall a. HasCallStack => [Char] -> a
error [Char]
"i7_to_i4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral'
i7_to_i8 :: I7 -> I8
i7_to_i8 :: I8 -> I8
i7_to_i8 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i7_to_i12 :: I7 -> I12
i7_to_i12 :: I8 -> I16
i7_to_i12 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i7_to_i14 :: I7 -> I14
i7_to_i14 :: I8 -> I16
i7_to_i14 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i7_to_i16 :: I7 -> I16
i7_to_i16 :: I8 -> I16
i7_to_i16 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i7_to_i24 :: I7 -> I24
i7_to_i24 :: I8 -> I32
i7_to_i24 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i7_to_i32 :: I7 -> I32
i7_to_i32 :: I8 -> I32
i7_to_i32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i7_to_i64 :: I7 -> I64
i7_to_i64 :: I8 -> I64
i7_to_i64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
i8_to_u4 :: I8 -> U4
i8_to_u4 :: I8 -> U8
i8_to_u4 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 Bool -> Bool -> Bool
|| I8
x forall a. Ord a => a -> a -> Bool
> I8
15 then forall a. HasCallStack => [Char] -> a
error [Char]
"i8_to_u4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i8_to_u7 :: I8 -> U7
i8_to_u7 :: I8 -> U8
i8_to_u7 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 Bool -> Bool -> Bool
|| I8
x forall a. Ord a => a -> a -> Bool
> I8
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"i8_to_u7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i8_to_u8 :: I8 -> U8
i8_to_u8 :: I8 -> U8
i8_to_u8 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i8_to_u8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i8_to_u12 :: I8 -> U12
i8_to_u12 :: I8 -> U16
i8_to_u12 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i8_to_u12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i8_to_u14 :: I8 -> U14
i8_to_u14 :: I8 -> U16
i8_to_u14 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i8_to_u14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i8_to_u16 :: I8 -> U16
i8_to_u16 :: I8 -> U16
i8_to_u16 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i8_to_u16: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i8_to_u24 :: I8 -> U24
i8_to_u24 :: I8 -> U32
i8_to_u24 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i8_to_u24: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i8_to_u32 :: I8 -> U32
i8_to_u32 :: I8 -> U32
i8_to_u32 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i8_to_u32: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i8_to_u64 :: I8 -> U64
i8_to_u64 :: I8 -> U64
i8_to_u64 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< I8
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i8_to_u64: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i8_to_i4 :: I8 -> I4
i8_to_i4 :: I8 -> I8
i8_to_i4 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< -I8
8 Bool -> Bool -> Bool
|| I8
x forall a. Ord a => a -> a -> Bool
> I8
7 then forall a. HasCallStack => [Char] -> a
error [Char]
"i8_to_i4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i8_to_i7 :: I8 -> I7
i8_to_i7 :: I8 -> I8
i8_to_i7 I8
x = if I8
x forall a. Ord a => a -> a -> Bool
< -I8
64 Bool -> Bool -> Bool
|| I8
x forall a. Ord a => a -> a -> Bool
> I8
63 then forall a. HasCallStack => [Char] -> a
error [Char]
"i8_to_i7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I8
x

-- | Type specialised 'fromIntegral'
i8_to_i12 :: I8 -> I12
i8_to_i12 :: I8 -> I16
i8_to_i12 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i8_to_i14 :: I8 -> I14
i8_to_i14 :: I8 -> I16
i8_to_i14 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i8_to_i16 :: I8 -> I16
i8_to_i16 :: I8 -> I16
i8_to_i16 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i8_to_i24 :: I8 -> I24
i8_to_i24 :: I8 -> I32
i8_to_i24 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i8_to_i32 :: I8 -> I32
i8_to_i32 :: I8 -> I32
i8_to_i32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i8_to_i64 :: I8 -> I64
i8_to_i64 :: I8 -> I64
i8_to_i64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
i12_to_u4 :: I12 -> U4
i12_to_u4 :: I16 -> U8
i12_to_u4 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
15 then forall a. HasCallStack => [Char] -> a
error [Char]
"i12_to_u4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i12_to_u7 :: I12 -> U7
i12_to_u7 :: I16 -> U8
i12_to_u7 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"i12_to_u7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i12_to_u8 :: I12 -> U8
i12_to_u8 :: I16 -> U8
i12_to_u8 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
255 then forall a. HasCallStack => [Char] -> a
error [Char]
"i12_to_u8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i12_to_u12 :: I12 -> U12
i12_to_u12 :: I16 -> U16
i12_to_u12 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i12_to_u12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i12_to_u14 :: I12 -> U14
i12_to_u14 :: I16 -> U16
i12_to_u14 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i12_to_u14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i12_to_u16 :: I12 -> U16
i12_to_u16 :: I16 -> U16
i12_to_u16 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i12_to_u16: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i12_to_u24 :: I12 -> U24
i12_to_u24 :: I16 -> U32
i12_to_u24 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i12_to_u24: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i12_to_u32 :: I12 -> U32
i12_to_u32 :: I16 -> U32
i12_to_u32 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i12_to_u32: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i12_to_u64 :: I12 -> U64
i12_to_u64 :: I16 -> U64
i12_to_u64 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i12_to_u64: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i12_to_i4 :: I12 -> I4
i12_to_i4 :: I16 -> I8
i12_to_i4 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< -I16
8 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
7 then forall a. HasCallStack => [Char] -> a
error [Char]
"i12_to_i4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i12_to_i7 :: I12 -> I7
i12_to_i7 :: I16 -> I8
i12_to_i7 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< -I16
64 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
63 then forall a. HasCallStack => [Char] -> a
error [Char]
"i12_to_i7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i12_to_i8 :: I12 -> I8
i12_to_i8 :: I16 -> I8
i12_to_i8 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< -I16
128 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"i12_to_i8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral'
i12_to_i14 :: I12 -> I14
i12_to_i14 :: I16 -> I16
i12_to_i14 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i12_to_i16 :: I12 -> I16
i12_to_i16 :: I16 -> I16
i12_to_i16 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i12_to_i24 :: I12 -> I24
i12_to_i24 :: I16 -> I32
i12_to_i24 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i12_to_i32 :: I12 -> I32
i12_to_i32 :: I16 -> I32
i12_to_i32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i12_to_i64 :: I12 -> I64
i12_to_i64 :: I16 -> I64
i12_to_i64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
i14_to_u4 :: I14 -> U4
i14_to_u4 :: I16 -> U8
i14_to_u4 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
15 then forall a. HasCallStack => [Char] -> a
error [Char]
"i14_to_u4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i14_to_u7 :: I14 -> U7
i14_to_u7 :: I16 -> U8
i14_to_u7 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"i14_to_u7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i14_to_u8 :: I14 -> U8
i14_to_u8 :: I16 -> U8
i14_to_u8 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
255 then forall a. HasCallStack => [Char] -> a
error [Char]
"i14_to_u8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i14_to_u12 :: I14 -> U12
i14_to_u12 :: I16 -> U16
i14_to_u12 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
4095 then forall a. HasCallStack => [Char] -> a
error [Char]
"i14_to_u12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i14_to_u14 :: I14 -> U14
i14_to_u14 :: I16 -> U16
i14_to_u14 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i14_to_u14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i14_to_u16 :: I14 -> U16
i14_to_u16 :: I16 -> U16
i14_to_u16 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i14_to_u16: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i14_to_u24 :: I14 -> U24
i14_to_u24 :: I16 -> U32
i14_to_u24 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i14_to_u24: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i14_to_u32 :: I14 -> U32
i14_to_u32 :: I16 -> U32
i14_to_u32 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i14_to_u32: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i14_to_u64 :: I14 -> U64
i14_to_u64 :: I16 -> U64
i14_to_u64 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i14_to_u64: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i14_to_i4 :: I14 -> I4
i14_to_i4 :: I16 -> I8
i14_to_i4 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< -I16
8 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
7 then forall a. HasCallStack => [Char] -> a
error [Char]
"i14_to_i4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i14_to_i7 :: I14 -> I7
i14_to_i7 :: I16 -> I8
i14_to_i7 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< -I16
64 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
63 then forall a. HasCallStack => [Char] -> a
error [Char]
"i14_to_i7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i14_to_i8 :: I14 -> I8
i14_to_i8 :: I16 -> I8
i14_to_i8 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< -I16
128 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"i14_to_i8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i14_to_i12 :: I14 -> I12
i14_to_i12 :: I16 -> I16
i14_to_i12 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< -I16
2048 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
2047 then forall a. HasCallStack => [Char] -> a
error [Char]
"i14_to_i12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral'
i14_to_i16 :: I14 -> I16
i14_to_i16 :: I16 -> I16
i14_to_i16 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i14_to_i24 :: I14 -> I24
i14_to_i24 :: I16 -> I32
i14_to_i24 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i14_to_i32 :: I14 -> I32
i14_to_i32 :: I16 -> I32
i14_to_i32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i14_to_i64 :: I14 -> I64
i14_to_i64 :: I16 -> I64
i14_to_i64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
i16_to_u4 :: I16 -> U4
i16_to_u4 :: I16 -> U8
i16_to_u4 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
15 then forall a. HasCallStack => [Char] -> a
error [Char]
"i16_to_u4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i16_to_u7 :: I16 -> U7
i16_to_u7 :: I16 -> U8
i16_to_u7 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"i16_to_u7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i16_to_u8 :: I16 -> U8
i16_to_u8 :: I16 -> U8
i16_to_u8 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
255 then forall a. HasCallStack => [Char] -> a
error [Char]
"i16_to_u8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i16_to_u12 :: I16 -> U12
i16_to_u12 :: I16 -> U16
i16_to_u12 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
4095 then forall a. HasCallStack => [Char] -> a
error [Char]
"i16_to_u12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i16_to_u14 :: I16 -> U14
i16_to_u14 :: I16 -> U16
i16_to_u14 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
16383 then forall a. HasCallStack => [Char] -> a
error [Char]
"i16_to_u14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i16_to_u16 :: I16 -> U16
i16_to_u16 :: I16 -> U16
i16_to_u16 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i16_to_u16: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i16_to_u24 :: I16 -> U24
i16_to_u24 :: I16 -> U32
i16_to_u24 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i16_to_u24: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i16_to_u32 :: I16 -> U32
i16_to_u32 :: I16 -> U32
i16_to_u32 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i16_to_u32: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i16_to_u64 :: I16 -> U64
i16_to_u64 :: I16 -> U64
i16_to_u64 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< I16
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i16_to_u64: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i16_to_i4 :: I16 -> I4
i16_to_i4 :: I16 -> I8
i16_to_i4 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< -I16
8 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
7 then forall a. HasCallStack => [Char] -> a
error [Char]
"i16_to_i4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i16_to_i7 :: I16 -> I7
i16_to_i7 :: I16 -> I8
i16_to_i7 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< -I16
64 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
63 then forall a. HasCallStack => [Char] -> a
error [Char]
"i16_to_i7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i16_to_i8 :: I16 -> I8
i16_to_i8 :: I16 -> I8
i16_to_i8 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< -I16
128 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"i16_to_i8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i16_to_i12 :: I16 -> I12
i16_to_i12 :: I16 -> I16
i16_to_i12 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< -I16
2048 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
2047 then forall a. HasCallStack => [Char] -> a
error [Char]
"i16_to_i12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i16_to_i14 :: I16 -> I14
i16_to_i14 :: I16 -> I16
i16_to_i14 I16
x = if I16
x forall a. Ord a => a -> a -> Bool
< -I16
8192 Bool -> Bool -> Bool
|| I16
x forall a. Ord a => a -> a -> Bool
> I16
8191 then forall a. HasCallStack => [Char] -> a
error [Char]
"i16_to_i14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I16
x

-- | Type specialised 'fromIntegral'
i16_to_i24 :: I16 -> I24
i16_to_i24 :: I16 -> I32
i16_to_i24 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i16_to_i32 :: I16 -> I32
i16_to_i32 :: I16 -> I32
i16_to_i32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i16_to_i64 :: I16 -> I64
i16_to_i64 :: I16 -> I64
i16_to_i64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
i24_to_u4 :: I24 -> U4
i24_to_u4 :: I32 -> U8
i24_to_u4 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< I32
0 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
15 then forall a. HasCallStack => [Char] -> a
error [Char]
"i24_to_u4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i24_to_u7 :: I24 -> U7
i24_to_u7 :: I32 -> U8
i24_to_u7 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< I32
0 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"i24_to_u7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i24_to_u8 :: I24 -> U8
i24_to_u8 :: I32 -> U8
i24_to_u8 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< I32
0 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
255 then forall a. HasCallStack => [Char] -> a
error [Char]
"i24_to_u8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i24_to_u12 :: I24 -> U12
i24_to_u12 :: I32 -> U16
i24_to_u12 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< I32
0 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
4095 then forall a. HasCallStack => [Char] -> a
error [Char]
"i24_to_u12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i24_to_u14 :: I24 -> U14
i24_to_u14 :: I32 -> U16
i24_to_u14 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< I32
0 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
16383 then forall a. HasCallStack => [Char] -> a
error [Char]
"i24_to_u14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i24_to_u16 :: I24 -> U16
i24_to_u16 :: I32 -> U16
i24_to_u16 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< I32
0 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
65535 then forall a. HasCallStack => [Char] -> a
error [Char]
"i24_to_u16: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i24_to_u24 :: I24 -> U24
i24_to_u24 :: I32 -> U32
i24_to_u24 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< I32
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i24_to_u24: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i24_to_u32 :: I24 -> U32
i24_to_u32 :: I32 -> U32
i24_to_u32 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< I32
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i24_to_u32: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i24_to_u64 :: I24 -> U64
i24_to_u64 :: I32 -> U64
i24_to_u64 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< I32
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i24_to_u64: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i24_to_i4 :: I24 -> I4
i24_to_i4 :: I32 -> I8
i24_to_i4 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< -I32
8 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
7 then forall a. HasCallStack => [Char] -> a
error [Char]
"i24_to_i4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i24_to_i7 :: I24 -> I7
i24_to_i7 :: I32 -> I8
i24_to_i7 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< -I32
64 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
63 then forall a. HasCallStack => [Char] -> a
error [Char]
"i24_to_i7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i24_to_i8 :: I24 -> I8
i24_to_i8 :: I32 -> I8
i24_to_i8 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< -I32
128 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"i24_to_i8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i24_to_i12 :: I24 -> I12
i24_to_i12 :: I32 -> I16
i24_to_i12 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< -I32
2048 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
2047 then forall a. HasCallStack => [Char] -> a
error [Char]
"i24_to_i12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i24_to_i14 :: I24 -> I14
i24_to_i14 :: I32 -> I16
i24_to_i14 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< -I32
8192 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
8191 then forall a. HasCallStack => [Char] -> a
error [Char]
"i24_to_i14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i24_to_i16 :: I24 -> I16
i24_to_i16 :: I32 -> I16
i24_to_i16 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< -I32
32768 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
32767 then forall a. HasCallStack => [Char] -> a
error [Char]
"i24_to_i16: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral'
i24_to_i32 :: I24 -> I32
i24_to_i32 :: I32 -> I32
i24_to_i32 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral'
i24_to_i64 :: I24 -> I64
i24_to_i64 :: I32 -> I64
i24_to_i64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
i32_to_u4 :: I32 -> U4
i32_to_u4 :: I32 -> U8
i32_to_u4 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< I32
0 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
15 then forall a. HasCallStack => [Char] -> a
error [Char]
"i32_to_u4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i32_to_u7 :: I32 -> U7
i32_to_u7 :: I32 -> U8
i32_to_u7 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< I32
0 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"i32_to_u7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i32_to_u8 :: I32 -> U8
i32_to_u8 :: I32 -> U8
i32_to_u8 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< I32
0 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
255 then forall a. HasCallStack => [Char] -> a
error [Char]
"i32_to_u8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i32_to_u12 :: I32 -> U12
i32_to_u12 :: I32 -> U16
i32_to_u12 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< I32
0 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
4095 then forall a. HasCallStack => [Char] -> a
error [Char]
"i32_to_u12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i32_to_u14 :: I32 -> U14
i32_to_u14 :: I32 -> U16
i32_to_u14 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< I32
0 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
16383 then forall a. HasCallStack => [Char] -> a
error [Char]
"i32_to_u14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i32_to_u16 :: I32 -> U16
i32_to_u16 :: I32 -> U16
i32_to_u16 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< I32
0 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
65535 then forall a. HasCallStack => [Char] -> a
error [Char]
"i32_to_u16: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i32_to_u24 :: I32 -> U24
i32_to_u24 :: I32 -> U32
i32_to_u24 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< I32
0 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
16777215 then forall a. HasCallStack => [Char] -> a
error [Char]
"i32_to_u24: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i32_to_u32 :: I32 -> U32
i32_to_u32 :: I32 -> U32
i32_to_u32 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< I32
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i32_to_u32: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i32_to_u64 :: I32 -> U64
i32_to_u64 :: I32 -> U64
i32_to_u64 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< I32
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i32_to_u64: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i32_to_i4 :: I32 -> I4
i32_to_i4 :: I32 -> I8
i32_to_i4 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< -I32
8 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
7 then forall a. HasCallStack => [Char] -> a
error [Char]
"i32_to_i4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i32_to_i7 :: I32 -> I7
i32_to_i7 :: I32 -> I8
i32_to_i7 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< -I32
64 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
63 then forall a. HasCallStack => [Char] -> a
error [Char]
"i32_to_i7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i32_to_i8 :: I32 -> I8
i32_to_i8 :: I32 -> I8
i32_to_i8 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< -I32
128 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"i32_to_i8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i32_to_i12 :: I32 -> I12
i32_to_i12 :: I32 -> I16
i32_to_i12 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< -I32
2048 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
2047 then forall a. HasCallStack => [Char] -> a
error [Char]
"i32_to_i12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i32_to_i14 :: I32 -> I14
i32_to_i14 :: I32 -> I16
i32_to_i14 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< -I32
8192 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
8191 then forall a. HasCallStack => [Char] -> a
error [Char]
"i32_to_i14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i32_to_i16 :: I32 -> I16
i32_to_i16 :: I32 -> I16
i32_to_i16 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< -I32
32768 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
32767 then forall a. HasCallStack => [Char] -> a
error [Char]
"i32_to_i16: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i32_to_i24 :: I32 -> I24
i32_to_i24 :: I32 -> I32
i32_to_i24 I32
x = if I32
x forall a. Ord a => a -> a -> Bool
< -I32
8388608 Bool -> Bool -> Bool
|| I32
x forall a. Ord a => a -> a -> Bool
> I32
8388607 then forall a. HasCallStack => [Char] -> a
error [Char]
"i32_to_i24: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I32
x

-- | Type specialised 'fromIntegral'
i32_to_i64 :: I32 -> I64
i32_to_i64 :: I32 -> I64
i32_to_i64 = forall a b. (Integral a, Num b) => a -> b
fromIntegral

-- | Type specialised 'fromIntegral' with out-of-range error.
i64_to_u4 :: I64 -> U4
i64_to_u4 :: I64 -> U8
i64_to_u4 I64
x = if I64
x forall a. Ord a => a -> a -> Bool
< I64
0 Bool -> Bool -> Bool
|| I64
x forall a. Ord a => a -> a -> Bool
> I64
15 then forall a. HasCallStack => [Char] -> a
error [Char]
"i64_to_u4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i64_to_u7 :: I64 -> U7
i64_to_u7 :: I64 -> U8
i64_to_u7 I64
x = if I64
x forall a. Ord a => a -> a -> Bool
< I64
0 Bool -> Bool -> Bool
|| I64
x forall a. Ord a => a -> a -> Bool
> I64
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"i64_to_u7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i64_to_u8 :: I64 -> U8
i64_to_u8 :: I64 -> U8
i64_to_u8 I64
x = if I64
x forall a. Ord a => a -> a -> Bool
< I64
0 Bool -> Bool -> Bool
|| I64
x forall a. Ord a => a -> a -> Bool
> I64
255 then forall a. HasCallStack => [Char] -> a
error [Char]
"i64_to_u8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i64_to_u12 :: I64 -> U12
i64_to_u12 :: I64 -> U16
i64_to_u12 I64
x = if I64
x forall a. Ord a => a -> a -> Bool
< I64
0 Bool -> Bool -> Bool
|| I64
x forall a. Ord a => a -> a -> Bool
> I64
4095 then forall a. HasCallStack => [Char] -> a
error [Char]
"i64_to_u12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i64_to_u14 :: I64 -> U14
i64_to_u14 :: I64 -> U16
i64_to_u14 I64
x = if I64
x forall a. Ord a => a -> a -> Bool
< I64
0 Bool -> Bool -> Bool
|| I64
x forall a. Ord a => a -> a -> Bool
> I64
16383 then forall a. HasCallStack => [Char] -> a
error [Char]
"i64_to_u14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i64_to_u16 :: I64 -> U16
i64_to_u16 :: I64 -> U16
i64_to_u16 I64
x = if I64
x forall a. Ord a => a -> a -> Bool
< I64
0 Bool -> Bool -> Bool
|| I64
x forall a. Ord a => a -> a -> Bool
> I64
65535 then forall a. HasCallStack => [Char] -> a
error [Char]
"i64_to_u16: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i64_to_u24 :: I64 -> U24
i64_to_u24 :: I64 -> U32
i64_to_u24 I64
x = if I64
x forall a. Ord a => a -> a -> Bool
< I64
0 Bool -> Bool -> Bool
|| I64
x forall a. Ord a => a -> a -> Bool
> I64
16777215 then forall a. HasCallStack => [Char] -> a
error [Char]
"i64_to_u24: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i64_to_u32 :: I64 -> U32
i64_to_u32 :: I64 -> U32
i64_to_u32 I64
x = if I64
x forall a. Ord a => a -> a -> Bool
< I64
0 Bool -> Bool -> Bool
|| I64
x forall a. Ord a => a -> a -> Bool
> I64
4294967295 then forall a. HasCallStack => [Char] -> a
error [Char]
"i64_to_u32: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i64_to_u64 :: I64 -> U64
i64_to_u64 :: I64 -> U64
i64_to_u64 I64
x = if I64
x forall a. Ord a => a -> a -> Bool
< I64
0 then forall a. HasCallStack => [Char] -> a
error [Char]
"i64_to_u64: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i64_to_i4 :: I64 -> I4
i64_to_i4 :: I64 -> I8
i64_to_i4 I64
x = if I64
x forall a. Ord a => a -> a -> Bool
< -I64
8 Bool -> Bool -> Bool
|| I64
x forall a. Ord a => a -> a -> Bool
> I64
7 then forall a. HasCallStack => [Char] -> a
error [Char]
"i64_to_i4: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i64_to_i7 :: I64 -> I7
i64_to_i7 :: I64 -> I8
i64_to_i7 I64
x = if I64
x forall a. Ord a => a -> a -> Bool
< -I64
64 Bool -> Bool -> Bool
|| I64
x forall a. Ord a => a -> a -> Bool
> I64
63 then forall a. HasCallStack => [Char] -> a
error [Char]
"i64_to_i7: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i64_to_i8 :: I64 -> I8
i64_to_i8 :: I64 -> I8
i64_to_i8 I64
x = if I64
x forall a. Ord a => a -> a -> Bool
< -I64
128 Bool -> Bool -> Bool
|| I64
x forall a. Ord a => a -> a -> Bool
> I64
127 then forall a. HasCallStack => [Char] -> a
error [Char]
"i64_to_i8: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i64_to_i12 :: I64 -> I12
i64_to_i12 :: I64 -> I16
i64_to_i12 I64
x = if I64
x forall a. Ord a => a -> a -> Bool
< -I64
2048 Bool -> Bool -> Bool
|| I64
x forall a. Ord a => a -> a -> Bool
> I64
2047 then forall a. HasCallStack => [Char] -> a
error [Char]
"i64_to_i12: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i64_to_i14 :: I64 -> I14
i64_to_i14 :: I64 -> I16
i64_to_i14 I64
x = if I64
x forall a. Ord a => a -> a -> Bool
< -I64
8192 Bool -> Bool -> Bool
|| I64
x forall a. Ord a => a -> a -> Bool
> I64
8191 then forall a. HasCallStack => [Char] -> a
error [Char]
"i64_to_i14: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i64_to_i16 :: I64 -> I16
i64_to_i16 :: I64 -> I16
i64_to_i16 I64
x = if I64
x forall a. Ord a => a -> a -> Bool
< -I64
32768 Bool -> Bool -> Bool
|| I64
x forall a. Ord a => a -> a -> Bool
> I64
32767 then forall a. HasCallStack => [Char] -> a
error [Char]
"i64_to_i16: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i64_to_i24 :: I64 -> I24
i64_to_i24 :: I64 -> I32
i64_to_i24 I64
x = if I64
x forall a. Ord a => a -> a -> Bool
< -I64
8388608 Bool -> Bool -> Bool
|| I64
x forall a. Ord a => a -> a -> Bool
> I64
8388607 then forall a. HasCallStack => [Char] -> a
error [Char]
"i64_to_i24: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I64
x

-- | Type specialised 'fromIntegral' with out-of-range error.
i64_to_i32 :: I64 -> I32
i64_to_i32 :: I64 -> I32
i64_to_i32 I64
x = if I64
x forall a. Ord a => a -> a -> Bool
< -I64
2147483648 Bool -> Bool -> Bool
|| I64
x forall a. Ord a => a -> a -> Bool
> I64
2147483647 then forall a. HasCallStack => [Char] -> a
error [Char]
"i64_to_i32: OUT-OF-RANGE" else forall a b. (Integral a, Num b) => a -> b
fromIntegral I64
x