Safe Haskell	Safe-Inferred
Language	Haskell2010

Music.Theory.Math.Convert.Fx

Description

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.

Synopsis

type U4 = Word8
type U7 = Word8
type U8 = Word8
type U12 = Word16
type U14 = Word16
type U16 = Word16
type U24 = Word32
type U32 = Word32
type U64 = Word64
type I4 = Int8
type I7 = Int8
type I8 = Int8
type I12 = Int16
type I14 = Int16
type I16 = Int16
type I24 = Int32
type I32 = Int32
type I64 = Int64
u4_to_u7 :: U4 -> U7
u4_to_u8 :: U4 -> U8
u4_to_u12 :: U4 -> U12
u4_to_u14 :: U4 -> U14
u4_to_u16 :: U4 -> U16
u4_to_u24 :: U4 -> U24
u4_to_u32 :: U4 -> U32
u4_to_u64 :: U4 -> U64
u4_to_i4 :: U4 -> I4
u4_to_i7 :: U4 -> I7
u4_to_i8 :: U4 -> I8
u4_to_i12 :: U4 -> I12
u4_to_i14 :: U4 -> I14
u4_to_i16 :: U4 -> I16
u4_to_i24 :: U4 -> I24
u4_to_i32 :: U4 -> I32
u4_to_i64 :: U4 -> I64
u7_to_u4 :: U7 -> U4
u7_to_u8 :: U7 -> U8
u7_to_u12 :: U7 -> U12
u7_to_u14 :: U7 -> U14
u7_to_u16 :: U7 -> U16
u7_to_u24 :: U7 -> U24
u7_to_u32 :: U7 -> U32
u7_to_u64 :: U7 -> U64
u7_to_i4 :: U7 -> I4
u7_to_i7 :: U7 -> I7
u7_to_i8 :: U7 -> I8
u7_to_i12 :: U7 -> I12
u7_to_i14 :: U7 -> I14
u7_to_i16 :: U7 -> I16
u7_to_i24 :: U7 -> I24
u7_to_i32 :: U7 -> I32
u7_to_i64 :: U7 -> I64
u8_to_u4 :: U8 -> U4
u8_to_u7 :: U8 -> U7
u8_to_u12 :: U8 -> U12
u8_to_u14 :: U8 -> U14
u8_to_u16 :: U8 -> U16
u8_to_u24 :: U8 -> U24
u8_to_u32 :: U8 -> U32
u8_to_u64 :: U8 -> U64
u8_to_i4 :: U8 -> I4
u8_to_i7 :: U8 -> I7
u8_to_i8 :: U8 -> I8
u8_to_i12 :: U8 -> I12
u8_to_i14 :: U8 -> I14
u8_to_i16 :: U8 -> I16
u8_to_i24 :: U8 -> I24
u8_to_i32 :: U8 -> I32
u8_to_i64 :: U8 -> I64
u12_to_u4 :: U12 -> U4
u12_to_u7 :: U12 -> U7
u12_to_u8 :: U12 -> U8
u12_to_u14 :: U12 -> U14
u12_to_u16 :: U12 -> U16
u12_to_u24 :: U12 -> U24
u12_to_u32 :: U12 -> U32
u12_to_u64 :: U12 -> U64
u12_to_i4 :: U12 -> I4
u12_to_i7 :: U12 -> I7
u12_to_i8 :: U12 -> I8
u12_to_i12 :: U12 -> I12
u12_to_i14 :: U12 -> I14
u12_to_i16 :: U12 -> I16
u12_to_i24 :: U12 -> I24
u12_to_i32 :: U12 -> I32
u12_to_i64 :: U12 -> I64
u14_to_u4 :: U14 -> U4
u14_to_u7 :: U14 -> U7
u14_to_u8 :: U14 -> U8
u14_to_u12 :: U14 -> U12
u14_to_u16 :: U14 -> U16
u14_to_u24 :: U14 -> U24
u14_to_u32 :: U14 -> U32
u14_to_u64 :: U14 -> U64
u14_to_i4 :: U14 -> I4
u14_to_i7 :: U14 -> I7
u14_to_i8 :: U14 -> I8
u14_to_i12 :: U14 -> I12
u14_to_i14 :: U14 -> I14
u14_to_i16 :: U14 -> I16
u14_to_i24 :: U14 -> I24
u14_to_i32 :: U14 -> I32
u14_to_i64 :: U14 -> I64
u16_to_u4 :: U16 -> U4
u16_to_u7 :: U16 -> U7
u16_to_u8 :: U16 -> U8
u16_to_u12 :: U16 -> U12
u16_to_u14 :: U16 -> U14
u16_to_u24 :: U16 -> U24
u16_to_u32 :: U16 -> U32
u16_to_u64 :: U16 -> U64
u16_to_i4 :: U16 -> I4
u16_to_i7 :: U16 -> I7
u16_to_i8 :: U16 -> I8
u16_to_i12 :: U16 -> I12
u16_to_i14 :: U16 -> I14
u16_to_i16 :: U16 -> I16
u16_to_i24 :: U16 -> I24
u16_to_i32 :: U16 -> I32
u16_to_i64 :: U16 -> I64
u24_to_u4 :: U24 -> U4
u24_to_u7 :: U24 -> U7
u24_to_u8 :: U24 -> U8
u24_to_u12 :: U24 -> U12
u24_to_u14 :: U24 -> U14
u24_to_u16 :: U24 -> U16
u24_to_u32 :: U24 -> U32
u24_to_u64 :: U24 -> U64
u24_to_i4 :: U24 -> I4
u24_to_i7 :: U24 -> I7
u24_to_i8 :: U24 -> I8
u24_to_i12 :: U24 -> I12
u24_to_i14 :: U24 -> I14
u24_to_i16 :: U24 -> I16
u24_to_i24 :: U24 -> I24
u24_to_i32 :: U24 -> I32
u24_to_i64 :: U24 -> I64
u32_to_u4 :: U32 -> U4
u32_to_u7 :: U32 -> U7
u32_to_u8 :: U32 -> U8
u32_to_u12 :: U32 -> U12
u32_to_u14 :: U32 -> U14
u32_to_u16 :: U32 -> U16
u32_to_u24 :: U32 -> U24
u32_to_u64 :: U32 -> U64
u32_to_i4 :: U32 -> I4
u32_to_i7 :: U32 -> I7
u32_to_i8 :: U32 -> I8
u32_to_i12 :: U32 -> I12
u32_to_i14 :: U32 -> I14
u32_to_i16 :: U32 -> I16
u32_to_i24 :: U32 -> I24
u32_to_i32 :: U32 -> I32
u32_to_i64 :: U32 -> I64
u64_to_u4 :: U64 -> U4
u64_to_u7 :: U64 -> U7
u64_to_u8 :: U64 -> U8
u64_to_u12 :: U64 -> U12
u64_to_u14 :: U64 -> U14
u64_to_u16 :: U64 -> U16
u64_to_u24 :: U64 -> U24
u64_to_u32 :: U64 -> U32
u64_to_i4 :: U64 -> I4
u64_to_i7 :: U64 -> I7
u64_to_i8 :: U64 -> I8
u64_to_i12 :: U64 -> I12
u64_to_i14 :: U64 -> I14
u64_to_i16 :: U64 -> I16
u64_to_i24 :: U64 -> I24
u64_to_i32 :: U64 -> I32
u64_to_i64 :: U64 -> I64
i4_to_u4 :: I4 -> U4
i4_to_u7 :: I4 -> U7
i4_to_u8 :: I4 -> U8
i4_to_u12 :: I4 -> U12
i4_to_u14 :: I4 -> U14
i4_to_u16 :: I4 -> U16
i4_to_u24 :: I4 -> U24
i4_to_u32 :: I4 -> U32
i4_to_u64 :: I4 -> U64
i4_to_i7 :: I4 -> I7
i4_to_i8 :: I4 -> I8
i4_to_i12 :: I4 -> I12
i4_to_i14 :: I4 -> I14
i4_to_i16 :: I4 -> I16
i4_to_i24 :: I4 -> I24
i4_to_i32 :: I4 -> I32
i4_to_i64 :: I4 -> I64
i7_to_u4 :: I7 -> U4
i7_to_u7 :: I7 -> U7
i7_to_u8 :: I7 -> U8
i7_to_u12 :: I7 -> U12
i7_to_u14 :: I7 -> U14
i7_to_u16 :: I7 -> U16
i7_to_u24 :: I7 -> U24
i7_to_u32 :: I7 -> U32
i7_to_u64 :: I7 -> U64
i7_to_i4 :: I7 -> I4
i7_to_i8 :: I7 -> I8
i7_to_i12 :: I7 -> I12
i7_to_i14 :: I7 -> I14
i7_to_i16 :: I7 -> I16
i7_to_i24 :: I7 -> I24
i7_to_i32 :: I7 -> I32
i7_to_i64 :: I7 -> I64
i8_to_u4 :: I8 -> U4
i8_to_u7 :: I8 -> U7
i8_to_u8 :: I8 -> U8
i8_to_u12 :: I8 -> U12
i8_to_u14 :: I8 -> U14
i8_to_u16 :: I8 -> U16
i8_to_u24 :: I8 -> U24
i8_to_u32 :: I8 -> U32
i8_to_u64 :: I8 -> U64
i8_to_i4 :: I8 -> I4
i8_to_i7 :: I8 -> I7
i8_to_i12 :: I8 -> I12
i8_to_i14 :: I8 -> I14
i8_to_i16 :: I8 -> I16
i8_to_i24 :: I8 -> I24
i8_to_i32 :: I8 -> I32
i8_to_i64 :: I8 -> I64
i12_to_u4 :: I12 -> U4
i12_to_u7 :: I12 -> U7
i12_to_u8 :: I12 -> U8
i12_to_u12 :: I12 -> U12
i12_to_u14 :: I12 -> U14
i12_to_u16 :: I12 -> U16
i12_to_u24 :: I12 -> U24
i12_to_u32 :: I12 -> U32
i12_to_u64 :: I12 -> U64
i12_to_i4 :: I12 -> I4
i12_to_i7 :: I12 -> I7
i12_to_i8 :: I12 -> I8
i12_to_i14 :: I12 -> I14
i12_to_i16 :: I12 -> I16
i12_to_i24 :: I12 -> I24
i12_to_i32 :: I12 -> I32
i12_to_i64 :: I12 -> I64
i14_to_u4 :: I14 -> U4
i14_to_u7 :: I14 -> U7
i14_to_u8 :: I14 -> U8
i14_to_u12 :: I14 -> U12
i14_to_u14 :: I14 -> U14
i14_to_u16 :: I14 -> U16
i14_to_u24 :: I14 -> U24
i14_to_u32 :: I14 -> U32
i14_to_u64 :: I14 -> U64
i14_to_i4 :: I14 -> I4
i14_to_i7 :: I14 -> I7
i14_to_i8 :: I14 -> I8
i14_to_i12 :: I14 -> I12
i14_to_i16 :: I14 -> I16
i14_to_i24 :: I14 -> I24
i14_to_i32 :: I14 -> I32
i14_to_i64 :: I14 -> I64
i16_to_u4 :: I16 -> U4
i16_to_u7 :: I16 -> U7
i16_to_u8 :: I16 -> U8
i16_to_u12 :: I16 -> U12
i16_to_u14 :: I16 -> U14
i16_to_u16 :: I16 -> U16
i16_to_u24 :: I16 -> U24
i16_to_u32 :: I16 -> U32
i16_to_u64 :: I16 -> U64
i16_to_i4 :: I16 -> I4
i16_to_i7 :: I16 -> I7
i16_to_i8 :: I16 -> I8
i16_to_i12 :: I16 -> I12
i16_to_i14 :: I16 -> I14
i16_to_i24 :: I16 -> I24
i16_to_i32 :: I16 -> I32
i16_to_i64 :: I16 -> I64
i24_to_u4 :: I24 -> U4
i24_to_u7 :: I24 -> U7
i24_to_u8 :: I24 -> U8
i24_to_u12 :: I24 -> U12
i24_to_u14 :: I24 -> U14
i24_to_u16 :: I24 -> U16
i24_to_u24 :: I24 -> U24
i24_to_u32 :: I24 -> U32
i24_to_u64 :: I24 -> U64
i24_to_i4 :: I24 -> I4
i24_to_i7 :: I24 -> I7
i24_to_i8 :: I24 -> I8
i24_to_i12 :: I24 -> I12
i24_to_i14 :: I24 -> I14
i24_to_i16 :: I24 -> I16
i24_to_i32 :: I24 -> I32
i24_to_i64 :: I24 -> I64
i32_to_u4 :: I32 -> U4
i32_to_u7 :: I32 -> U7
i32_to_u8 :: I32 -> U8
i32_to_u12 :: I32 -> U12
i32_to_u14 :: I32 -> U14
i32_to_u16 :: I32 -> U16
i32_to_u24 :: I32 -> U24
i32_to_u32 :: I32 -> U32
i32_to_u64 :: I32 -> U64
i32_to_i4 :: I32 -> I4
i32_to_i7 :: I32 -> I7
i32_to_i8 :: I32 -> I8
i32_to_i12 :: I32 -> I12
i32_to_i14 :: I32 -> I14
i32_to_i16 :: I32 -> I16
i32_to_i24 :: I32 -> I24
i32_to_i64 :: I32 -> I64
i64_to_u4 :: I64 -> U4
i64_to_u7 :: I64 -> U7
i64_to_u8 :: I64 -> U8
i64_to_u12 :: I64 -> U12
i64_to_u14 :: I64 -> U14
i64_to_u16 :: I64 -> U16
i64_to_u24 :: I64 -> U24
i64_to_u32 :: I64 -> U32
i64_to_u64 :: I64 -> U64
i64_to_i4 :: I64 -> I4
i64_to_i7 :: I64 -> I7
i64_to_i8 :: I64 -> I8
i64_to_i12 :: I64 -> I12
i64_to_i14 :: I64 -> I14
i64_to_i16 :: I64 -> I16
i64_to_i24 :: I64 -> I24
i64_to_i32 :: I64 -> I32

Documentation

type U4 = Word8 Source #

Alias

type U7 = Word8 Source #

Alias

type U8 = Word8 Source #

Alias

type U12 = Word16 Source #

Alias

type U14 = Word16 Source #

Alias

type U16 = Word16 Source #

Alias

type U24 = Word32 Source #

Alias

type U32 = Word32 Source #

Alias

type U64 = Word64 Source #

Alias

type I4 = Int8 Source #

Alias

type I7 = Int8 Source #

Alias

type I8 = Int8 Source #

Alias

type I12 = Int16 Source #

Alias

type I14 = Int16 Source #

Alias

type I16 = Int16 Source #

Alias

type I24 = Int32 Source #

Alias

type I32 = Int32 Source #

Alias

type I64 = Int64 Source #

Alias

u4_to_u7 :: U4 -> U7 Source #

Type specialised fromIntegral

u4_to_u8 :: U4 -> U8 Source #

Type specialised fromIntegral

u4_to_u12 :: U4 -> U12 Source #

Type specialised fromIntegral

u4_to_u14 :: U4 -> U14 Source #

Type specialised fromIntegral

u4_to_u16 :: U4 -> U16 Source #

Type specialised fromIntegral

u4_to_u24 :: U4 -> U24 Source #

Type specialised fromIntegral

u4_to_u32 :: U4 -> U32 Source #

Type specialised fromIntegral

u4_to_u64 :: U4 -> U64 Source #

Type specialised fromIntegral

u4_to_i4 :: U4 -> I4 Source #

Type specialised fromIntegral with out-of-range error.

u4_to_i7 :: U4 -> I7 Source #

Type specialised fromIntegral

u4_to_i8 :: U4 -> I8 Source #

Type specialised fromIntegral

u4_to_i12 :: U4 -> I12 Source #

Type specialised fromIntegral

u4_to_i14 :: U4 -> I14 Source #

Type specialised fromIntegral

u4_to_i16 :: U4 -> I16 Source #

Type specialised fromIntegral

u4_to_i24 :: U4 -> I24 Source #

Type specialised fromIntegral

u4_to_i32 :: U4 -> I32 Source #

Type specialised fromIntegral

u4_to_i64 :: U4 -> I64 Source #

Type specialised fromIntegral

u7_to_u4 :: U7 -> U4 Source #

Type specialised fromIntegral with out-of-range error.

u7_to_u8 :: U7 -> U8 Source #

Type specialised fromIntegral

u7_to_u12 :: U7 -> U12 Source #

Type specialised fromIntegral

u7_to_u14 :: U7 -> U14 Source #

Type specialised fromIntegral

u7_to_u16 :: U7 -> U16 Source #

Type specialised fromIntegral

u7_to_u24 :: U7 -> U24 Source #

Type specialised fromIntegral

u7_to_u32 :: U7 -> U32 Source #

Type specialised fromIntegral

u7_to_u64 :: U7 -> U64 Source #

Type specialised fromIntegral

u7_to_i4 :: U7 -> I4 Source #

Type specialised fromIntegral with out-of-range error.

u7_to_i7 :: U7 -> I7 Source #

Type specialised fromIntegral with out-of-range error.

u7_to_i8 :: U7 -> I8 Source #

Type specialised fromIntegral

u7_to_i12 :: U7 -> I12 Source #

Type specialised fromIntegral

u7_to_i14 :: U7 -> I14 Source #

Type specialised fromIntegral

u7_to_i16 :: U7 -> I16 Source #

Type specialised fromIntegral

u7_to_i24 :: U7 -> I24 Source #

Type specialised fromIntegral

u7_to_i32 :: U7 -> I32 Source #

Type specialised fromIntegral

u7_to_i64 :: U7 -> I64 Source #

Type specialised fromIntegral

u8_to_u4 :: U8 -> U4 Source #

Type specialised fromIntegral with out-of-range error.

u8_to_u7 :: U8 -> U7 Source #

Type specialised fromIntegral with out-of-range error.

u8_to_u12 :: U8 -> U12 Source #

Type specialised fromIntegral

u8_to_u14 :: U8 -> U14 Source #

Type specialised fromIntegral

u8_to_u16 :: U8 -> U16 Source #

Type specialised fromIntegral

u8_to_u24 :: U8 -> U24 Source #

Type specialised fromIntegral

u8_to_u32 :: U8 -> U32 Source #

Type specialised fromIntegral

u8_to_u64 :: U8 -> U64 Source #

Type specialised fromIntegral

u8_to_i4 :: U8 -> I4 Source #

Type specialised fromIntegral with out-of-range error.

u8_to_i7 :: U8 -> I7 Source #

Type specialised fromIntegral with out-of-range error.

u8_to_i8 :: U8 -> I8 Source #

Type specialised fromIntegral with out-of-range error.

u8_to_i12 :: U8 -> I12 Source #

Type specialised fromIntegral

u8_to_i14 :: U8 -> I14 Source #

Type specialised fromIntegral

u8_to_i16 :: U8 -> I16 Source #

Type specialised fromIntegral

u8_to_i24 :: U8 -> I24 Source #

Type specialised fromIntegral

u8_to_i32 :: U8 -> I32 Source #

Type specialised fromIntegral

u8_to_i64 :: U8 -> I64 Source #

Type specialised fromIntegral

u12_to_u4 :: U12 -> U4 Source #

Type specialised fromIntegral with out-of-range error.

u12_to_u7 :: U12 -> U7 Source #

Type specialised fromIntegral with out-of-range error.

u12_to_u8 :: U12 -> U8 Source #

Type specialised fromIntegral with out-of-range error.

u12_to_u14 :: U12 -> U14 Source #

Type specialised fromIntegral

u12_to_u16 :: U12 -> U16 Source #

Type specialised fromIntegral

u12_to_u24 :: U12 -> U24 Source #

Type specialised fromIntegral

u12_to_u32 :: U12 -> U32 Source #

Type specialised fromIntegral

u12_to_u64 :: U12 -> U64 Source #

Type specialised fromIntegral

u12_to_i4 :: U12 -> I4 Source #

Type specialised fromIntegral with out-of-range error.

u12_to_i7 :: U12 -> I7 Source #

Type specialised fromIntegral with out-of-range error.

u12_to_i8 :: U12 -> I8 Source #

Type specialised fromIntegral with out-of-range error.

u12_to_i12 :: U12 -> I12 Source #

Type specialised fromIntegral with out-of-range error.

u12_to_i14 :: U12 -> I14 Source #

Type specialised fromIntegral

u12_to_i16 :: U12 -> I16 Source #

Type specialised fromIntegral

u12_to_i24 :: U12 -> I24 Source #

Type specialised fromIntegral

u12_to_i32 :: U12 -> I32 Source #

Type specialised fromIntegral

u12_to_i64 :: U12 -> I64 Source #

Type specialised fromIntegral

u14_to_u4 :: U14 -> U4 Source #

Type specialised fromIntegral with out-of-range error.

u14_to_u7 :: U14 -> U7 Source #

Type specialised fromIntegral with out-of-range error.

u14_to_u8 :: U14 -> U8 Source #

Type specialised fromIntegral with out-of-range error.

u14_to_u12 :: U14 -> U12 Source #

Type specialised fromIntegral with out-of-range error.

u14_to_u16 :: U14 -> U16 Source #

Type specialised fromIntegral

u14_to_u24 :: U14 -> U24 Source #

Type specialised fromIntegral

u14_to_u32 :: U14 -> U32 Source #

Type specialised fromIntegral

u14_to_u64 :: U14 -> U64 Source #

Type specialised fromIntegral

u14_to_i4 :: U14 -> I4 Source #

Type specialised fromIntegral with out-of-range error.

u14_to_i7 :: U14 -> I7 Source #

Type specialised fromIntegral with out-of-range error.

u14_to_i8 :: U14 -> I8 Source #

Type specialised fromIntegral with out-of-range error.

u14_to_i12 :: U14 -> I12 Source #

Type specialised fromIntegral with out-of-range error.

u14_to_i14 :: U14 -> I14 Source #

Type specialised fromIntegral with out-of-range error.

u14_to_i16 :: U14 -> I16 Source #

Type specialised fromIntegral

u14_to_i24 :: U14 -> I24 Source #

Type specialised fromIntegral

u14_to_i32 :: U14 -> I32 Source #

Type specialised fromIntegral

u14_to_i64 :: U14 -> I64 Source #

Type specialised fromIntegral

u16_to_u4 :: U16 -> U4 Source #

Type specialised fromIntegral with out-of-range error.

u16_to_u7 :: U16 -> U7 Source #

Type specialised fromIntegral with out-of-range error.

u16_to_u8 :: U16 -> U8 Source #

Type specialised fromIntegral with out-of-range error.

u16_to_u12 :: U16 -> U12 Source #

Type specialised fromIntegral with out-of-range error.

u16_to_u14 :: U16 -> U14 Source #

Type specialised fromIntegral with out-of-range error.

u16_to_u24 :: U16 -> U24 Source #

Type specialised fromIntegral

u16_to_u32 :: U16 -> U32 Source #

Type specialised fromIntegral

u16_to_u64 :: U16 -> U64 Source #

Type specialised fromIntegral

u16_to_i4 :: U16 -> I4 Source #

Type specialised fromIntegral with out-of-range error.

u16_to_i7 :: U16 -> I7 Source #

Type specialised fromIntegral with out-of-range error.

u16_to_i8 :: U16 -> I8 Source #

Type specialised fromIntegral with out-of-range error.

u16_to_i12 :: U16 -> I12 Source #

Type specialised fromIntegral with out-of-range error.

u16_to_i14 :: U16 -> I14 Source #

Type specialised fromIntegral with out-of-range error.

u16_to_i16 :: U16 -> I16 Source #

Type specialised fromIntegral with out-of-range error.

u16_to_i24 :: U16 -> I24 Source #

Type specialised fromIntegral

u16_to_i32 :: U16 -> I32 Source #

Type specialised fromIntegral

u16_to_i64 :: U16 -> I64 Source #

Type specialised fromIntegral

u24_to_u4 :: U24 -> U4 Source #

Type specialised fromIntegral with out-of-range error.

u24_to_u7 :: U24 -> U7 Source #

Type specialised fromIntegral with out-of-range error.

u24_to_u8 :: U24 -> U8 Source #

Type specialised fromIntegral with out-of-range error.

u24_to_u12 :: U24 -> U12 Source #

Type specialised fromIntegral with out-of-range error.

u24_to_u14 :: U24 -> U14 Source #

Type specialised fromIntegral with out-of-range error.

u24_to_u16 :: U24 -> U16 Source #

Type specialised fromIntegral with out-of-range error.

u24_to_u32 :: U24 -> U32 Source #

Type specialised fromIntegral

u24_to_u64 :: U24 -> U64 Source #

Type specialised fromIntegral

u24_to_i4 :: U24 -> I4 Source #

Type specialised fromIntegral with out-of-range error.

u24_to_i7 :: U24 -> I7 Source #

Type specialised fromIntegral with out-of-range error.

u24_to_i8 :: U24 -> I8 Source #

Type specialised fromIntegral with out-of-range error.

u24_to_i12 :: U24 -> I12 Source #

Type specialised fromIntegral with out-of-range error.

u24_to_i14 :: U24 -> I14 Source #

Type specialised fromIntegral with out-of-range error.

u24_to_i16 :: U24 -> I16 Source #

Type specialised fromIntegral with out-of-range error.

u24_to_i24 :: U24 -> I24 Source #

Type specialised fromIntegral with out-of-range error.

u24_to_i32 :: U24 -> I32 Source #

Type specialised fromIntegral

u24_to_i64 :: U24 -> I64 Source #

Type specialised fromIntegral

u32_to_u4 :: U32 -> U4 Source #

Type specialised fromIntegral with out-of-range error.

u32_to_u7 :: U32 -> U7 Source #

Type specialised fromIntegral with out-of-range error.

u32_to_u8 :: U32 -> U8 Source #

Type specialised fromIntegral with out-of-range error.

u32_to_u12 :: U32 -> U12 Source #

Type specialised fromIntegral with out-of-range error.

u32_to_u14 :: U32 -> U14 Source #

Type specialised fromIntegral with out-of-range error.

u32_to_u16 :: U32 -> U16 Source #

Type specialised fromIntegral with out-of-range error.

u32_to_u24 :: U32 -> U24 Source #

Type specialised fromIntegral with out-of-range error.

u32_to_u64 :: U32 -> U64 Source #

Type specialised fromIntegral

u32_to_i4 :: U32 -> I4 Source #

Type specialised fromIntegral with out-of-range error.

u32_to_i7 :: U32 -> I7 Source #

Type specialised fromIntegral with out-of-range error.

u32_to_i8 :: U32 -> I8 Source #

Type specialised fromIntegral with out-of-range error.

u32_to_i12 :: U32 -> I12 Source #

Type specialised fromIntegral with out-of-range error.

u32_to_i14 :: U32 -> I14 Source #

Type specialised fromIntegral with out-of-range error.

u32_to_i16 :: U32 -> I16 Source #

Type specialised fromIntegral with out-of-range error.

u32_to_i24 :: U32 -> I24 Source #

Type specialised fromIntegral with out-of-range error.

u32_to_i32 :: U32 -> I32 Source #

Type specialised fromIntegral with out-of-range error.

u32_to_i64 :: U32 -> I64 Source #

Type specialised fromIntegral

u64_to_u4 :: U64 -> U4 Source #

Type specialised fromIntegral with out-of-range error.

u64_to_u7 :: U64 -> U7 Source #

Type specialised fromIntegral with out-of-range error.

u64_to_u8 :: U64 -> U8 Source #

Type specialised fromIntegral with out-of-range error.

u64_to_u12 :: U64 -> U12 Source #

Type specialised fromIntegral with out-of-range error.

u64_to_u14 :: U64 -> U14 Source #

Type specialised fromIntegral with out-of-range error.

u64_to_u16 :: U64 -> U16 Source #

Type specialised fromIntegral with out-of-range error.

u64_to_u24 :: U64 -> U24 Source #

Type specialised fromIntegral with out-of-range error.

u64_to_u32 :: U64 -> U32 Source #

Type specialised fromIntegral with out-of-range error.

u64_to_i4 :: U64 -> I4 Source #

Type specialised fromIntegral with out-of-range error.

u64_to_i7 :: U64 -> I7 Source #

Type specialised fromIntegral with out-of-range error.

u64_to_i8 :: U64 -> I8 Source #

Type specialised fromIntegral with out-of-range error.

u64_to_i12 :: U64 -> I12 Source #

Type specialised fromIntegral with out-of-range error.

u64_to_i14 :: U64 -> I14 Source #

Type specialised fromIntegral with out-of-range error.

u64_to_i16 :: U64 -> I16 Source #

Type specialised fromIntegral with out-of-range error.

u64_to_i24 :: U64 -> I24 Source #

Type specialised fromIntegral with out-of-range error.

u64_to_i32 :: U64 -> I32 Source #

Type specialised fromIntegral with out-of-range error.

u64_to_i64 :: U64 -> I64 Source #

Type specialised fromIntegral with out-of-range error.

i4_to_u4 :: I4 -> U4 Source #

Type specialised fromIntegral with out-of-range error.

i4_to_u7 :: I4 -> U7 Source #

Type specialised fromIntegral with out-of-range error.

i4_to_u8 :: I4 -> U8 Source #

Type specialised fromIntegral with out-of-range error.

i4_to_u12 :: I4 -> U12 Source #

Type specialised fromIntegral with out-of-range error.

i4_to_u14 :: I4 -> U14 Source #

Type specialised fromIntegral with out-of-range error.

i4_to_u16 :: I4 -> U16 Source #

Type specialised fromIntegral with out-of-range error.

i4_to_u24 :: I4 -> U24 Source #

Type specialised fromIntegral with out-of-range error.

i4_to_u32 :: I4 -> U32 Source #

Type specialised fromIntegral with out-of-range error.

i4_to_u64 :: I4 -> U64 Source #

Type specialised fromIntegral with out-of-range error.

i4_to_i7 :: I4 -> I7 Source #

Type specialised fromIntegral

i4_to_i8 :: I4 -> I8 Source #

Type specialised fromIntegral

i4_to_i12 :: I4 -> I12 Source #

Type specialised fromIntegral

i4_to_i14 :: I4 -> I14 Source #

Type specialised fromIntegral

i4_to_i16 :: I4 -> I16 Source #

Type specialised fromIntegral

i4_to_i24 :: I4 -> I24 Source #

Type specialised fromIntegral

i4_to_i32 :: I4 -> I32 Source #

Type specialised fromIntegral

i4_to_i64 :: I4 -> I64 Source #

Type specialised fromIntegral

i7_to_u4 :: I7 -> U4 Source #

Type specialised fromIntegral with out-of-range error.

i7_to_u7 :: I7 -> U7 Source #

Type specialised fromIntegral with out-of-range error.

i7_to_u8 :: I7 -> U8 Source #

Type specialised fromIntegral with out-of-range error.

i7_to_u12 :: I7 -> U12 Source #

Type specialised fromIntegral with out-of-range error.

i7_to_u14 :: I7 -> U14 Source #

Type specialised fromIntegral with out-of-range error.

i7_to_u16 :: I7 -> U16 Source #

Type specialised fromIntegral with out-of-range error.

i7_to_u24 :: I7 -> U24 Source #

Type specialised fromIntegral with out-of-range error.

i7_to_u32 :: I7 -> U32 Source #

Type specialised fromIntegral with out-of-range error.

i7_to_u64 :: I7 -> U64 Source #

Type specialised fromIntegral with out-of-range error.

i7_to_i4 :: I7 -> I4 Source #

Type specialised fromIntegral with out-of-range error.

i7_to_i8 :: I7 -> I8 Source #

Type specialised fromIntegral

i7_to_i12 :: I7 -> I12 Source #

Type specialised fromIntegral

i7_to_i14 :: I7 -> I14 Source #

Type specialised fromIntegral

i7_to_i16 :: I7 -> I16 Source #

Type specialised fromIntegral

i7_to_i24 :: I7 -> I24 Source #

Type specialised fromIntegral

i7_to_i32 :: I7 -> I32 Source #

Type specialised fromIntegral

i7_to_i64 :: I7 -> I64 Source #

Type specialised fromIntegral

i8_to_u4 :: I8 -> U4 Source #

Type specialised fromIntegral with out-of-range error.

i8_to_u7 :: I8 -> U7 Source #

Type specialised fromIntegral with out-of-range error.

i8_to_u8 :: I8 -> U8 Source #

Type specialised fromIntegral with out-of-range error.

i8_to_u12 :: I8 -> U12 Source #

Type specialised fromIntegral with out-of-range error.

i8_to_u14 :: I8 -> U14 Source #

Type specialised fromIntegral with out-of-range error.

i8_to_u16 :: I8 -> U16 Source #

Type specialised fromIntegral with out-of-range error.

i8_to_u24 :: I8 -> U24 Source #

Type specialised fromIntegral with out-of-range error.

i8_to_u32 :: I8 -> U32 Source #

Type specialised fromIntegral with out-of-range error.

i8_to_u64 :: I8 -> U64 Source #

Type specialised fromIntegral with out-of-range error.

i8_to_i4 :: I8 -> I4 Source #

Type specialised fromIntegral with out-of-range error.

i8_to_i7 :: I8 -> I7 Source #

Type specialised fromIntegral with out-of-range error.

i8_to_i12 :: I8 -> I12 Source #

Type specialised fromIntegral

i8_to_i14 :: I8 -> I14 Source #

Type specialised fromIntegral

i8_to_i16 :: I8 -> I16 Source #

Type specialised fromIntegral

i8_to_i24 :: I8 -> I24 Source #

Type specialised fromIntegral

i8_to_i32 :: I8 -> I32 Source #

Type specialised fromIntegral

i8_to_i64 :: I8 -> I64 Source #

Type specialised fromIntegral

i12_to_u4 :: I12 -> U4 Source #

Type specialised fromIntegral with out-of-range error.

i12_to_u7 :: I12 -> U7 Source #

Type specialised fromIntegral with out-of-range error.

i12_to_u8 :: I12 -> U8 Source #

Type specialised fromIntegral with out-of-range error.

i12_to_u12 :: I12 -> U12 Source #

Type specialised fromIntegral with out-of-range error.

i12_to_u14 :: I12 -> U14 Source #

Type specialised fromIntegral with out-of-range error.

i12_to_u16 :: I12 -> U16 Source #

Type specialised fromIntegral with out-of-range error.

i12_to_u24 :: I12 -> U24 Source #

Type specialised fromIntegral with out-of-range error.

i12_to_u32 :: I12 -> U32 Source #

Type specialised fromIntegral with out-of-range error.

i12_to_u64 :: I12 -> U64 Source #

Type specialised fromIntegral with out-of-range error.

i12_to_i4 :: I12 -> I4 Source #

Type specialised fromIntegral with out-of-range error.

i12_to_i7 :: I12 -> I7 Source #

Type specialised fromIntegral with out-of-range error.

i12_to_i8 :: I12 -> I8 Source #

Type specialised fromIntegral with out-of-range error.

i12_to_i14 :: I12 -> I14 Source #

Type specialised fromIntegral

i12_to_i16 :: I12 -> I16 Source #

Type specialised fromIntegral

i12_to_i24 :: I12 -> I24 Source #

Type specialised fromIntegral

i12_to_i32 :: I12 -> I32 Source #

Type specialised fromIntegral

i12_to_i64 :: I12 -> I64 Source #

Type specialised fromIntegral

i14_to_u4 :: I14 -> U4 Source #

Type specialised fromIntegral with out-of-range error.

i14_to_u7 :: I14 -> U7 Source #

Type specialised fromIntegral with out-of-range error.

i14_to_u8 :: I14 -> U8 Source #

Type specialised fromIntegral with out-of-range error.

i14_to_u12 :: I14 -> U12 Source #

Type specialised fromIntegral with out-of-range error.

i14_to_u14 :: I14 -> U14 Source #

Type specialised fromIntegral with out-of-range error.

i14_to_u16 :: I14 -> U16 Source #

Type specialised fromIntegral with out-of-range error.

i14_to_u24 :: I14 -> U24 Source #

Type specialised fromIntegral with out-of-range error.

i14_to_u32 :: I14 -> U32 Source #

Type specialised fromIntegral with out-of-range error.

i14_to_u64 :: I14 -> U64 Source #

Type specialised fromIntegral with out-of-range error.

i14_to_i4 :: I14 -> I4 Source #

Type specialised fromIntegral with out-of-range error.

i14_to_i7 :: I14 -> I7 Source #

Type specialised fromIntegral with out-of-range error.

i14_to_i8 :: I14 -> I8 Source #

Type specialised fromIntegral with out-of-range error.

i14_to_i12 :: I14 -> I12 Source #

Type specialised fromIntegral with out-of-range error.

i14_to_i16 :: I14 -> I16 Source #

Type specialised fromIntegral

i14_to_i24 :: I14 -> I24 Source #

Type specialised fromIntegral

i14_to_i32 :: I14 -> I32 Source #

Type specialised fromIntegral

i14_to_i64 :: I14 -> I64 Source #

Type specialised fromIntegral

i16_to_u4 :: I16 -> U4 Source #

Type specialised fromIntegral with out-of-range error.

i16_to_u7 :: I16 -> U7 Source #

Type specialised fromIntegral with out-of-range error.

i16_to_u8 :: I16 -> U8 Source #

Type specialised fromIntegral with out-of-range error.

i16_to_u12 :: I16 -> U12 Source #

Type specialised fromIntegral with out-of-range error.

i16_to_u14 :: I16 -> U14 Source #

Type specialised fromIntegral with out-of-range error.

i16_to_u16 :: I16 -> U16 Source #

Type specialised fromIntegral with out-of-range error.

i16_to_u24 :: I16 -> U24 Source #

Type specialised fromIntegral with out-of-range error.

i16_to_u32 :: I16 -> U32 Source #

Type specialised fromIntegral with out-of-range error.

i16_to_u64 :: I16 -> U64 Source #

Type specialised fromIntegral with out-of-range error.

i16_to_i4 :: I16 -> I4 Source #

Type specialised fromIntegral with out-of-range error.

i16_to_i7 :: I16 -> I7 Source #

Type specialised fromIntegral with out-of-range error.

i16_to_i8 :: I16 -> I8 Source #

Type specialised fromIntegral with out-of-range error.

i16_to_i12 :: I16 -> I12 Source #

Type specialised fromIntegral with out-of-range error.

i16_to_i14 :: I16 -> I14 Source #

Type specialised fromIntegral with out-of-range error.

i16_to_i24 :: I16 -> I24 Source #

Type specialised fromIntegral

i16_to_i32 :: I16 -> I32 Source #

Type specialised fromIntegral

i16_to_i64 :: I16 -> I64 Source #

Type specialised fromIntegral

i24_to_u4 :: I24 -> U4 Source #

Type specialised fromIntegral with out-of-range error.

i24_to_u7 :: I24 -> U7 Source #

Type specialised fromIntegral with out-of-range error.

i24_to_u8 :: I24 -> U8 Source #

Type specialised fromIntegral with out-of-range error.

i24_to_u12 :: I24 -> U12 Source #

Type specialised fromIntegral with out-of-range error.

i24_to_u14 :: I24 -> U14 Source #

Type specialised fromIntegral with out-of-range error.

i24_to_u16 :: I24 -> U16 Source #

Type specialised fromIntegral with out-of-range error.

i24_to_u24 :: I24 -> U24 Source #

Type specialised fromIntegral with out-of-range error.

i24_to_u32 :: I24 -> U32 Source #

Type specialised fromIntegral with out-of-range error.

i24_to_u64 :: I24 -> U64 Source #

Type specialised fromIntegral with out-of-range error.

i24_to_i4 :: I24 -> I4 Source #

Type specialised fromIntegral with out-of-range error.

i24_to_i7 :: I24 -> I7 Source #

Type specialised fromIntegral with out-of-range error.

i24_to_i8 :: I24 -> I8 Source #

Type specialised fromIntegral with out-of-range error.

i24_to_i12 :: I24 -> I12 Source #

Type specialised fromIntegral with out-of-range error.

i24_to_i14 :: I24 -> I14 Source #

Type specialised fromIntegral with out-of-range error.

i24_to_i16 :: I24 -> I16 Source #

Type specialised fromIntegral with out-of-range error.

i24_to_i32 :: I24 -> I32 Source #

Type specialised fromIntegral

i24_to_i64 :: I24 -> I64 Source #

Type specialised fromIntegral

i32_to_u4 :: I32 -> U4 Source #

Type specialised fromIntegral with out-of-range error.

i32_to_u7 :: I32 -> U7 Source #

Type specialised fromIntegral with out-of-range error.

i32_to_u8 :: I32 -> U8 Source #

Type specialised fromIntegral with out-of-range error.

i32_to_u12 :: I32 -> U12 Source #

Type specialised fromIntegral with out-of-range error.

i32_to_u14 :: I32 -> U14 Source #

Type specialised fromIntegral with out-of-range error.

i32_to_u16 :: I32 -> U16 Source #

Type specialised fromIntegral with out-of-range error.

i32_to_u24 :: I32 -> U24 Source #

Type specialised fromIntegral with out-of-range error.

i32_to_u32 :: I32 -> U32 Source #

Type specialised fromIntegral with out-of-range error.

i32_to_u64 :: I32 -> U64 Source #

Type specialised fromIntegral with out-of-range error.

i32_to_i4 :: I32 -> I4 Source #

Type specialised fromIntegral with out-of-range error.

i32_to_i7 :: I32 -> I7 Source #

Type specialised fromIntegral with out-of-range error.

i32_to_i8 :: I32 -> I8 Source #

Type specialised fromIntegral with out-of-range error.

i32_to_i12 :: I32 -> I12 Source #

Type specialised fromIntegral with out-of-range error.

i32_to_i14 :: I32 -> I14 Source #

Type specialised fromIntegral with out-of-range error.

i32_to_i16 :: I32 -> I16 Source #

Type specialised fromIntegral with out-of-range error.

i32_to_i24 :: I32 -> I24 Source #

Type specialised fromIntegral with out-of-range error.

i32_to_i64 :: I32 -> I64 Source #

Type specialised fromIntegral

i64_to_u4 :: I64 -> U4 Source #

Type specialised fromIntegral with out-of-range error.

i64_to_u7 :: I64 -> U7 Source #

Type specialised fromIntegral with out-of-range error.

i64_to_u8 :: I64 -> U8 Source #

Type specialised fromIntegral with out-of-range error.

i64_to_u12 :: I64 -> U12 Source #

Type specialised fromIntegral with out-of-range error.

i64_to_u14 :: I64 -> U14 Source #

Type specialised fromIntegral with out-of-range error.

i64_to_u16 :: I64 -> U16 Source #

Type specialised fromIntegral with out-of-range error.

i64_to_u24 :: I64 -> U24 Source #

Type specialised fromIntegral with out-of-range error.

i64_to_u32 :: I64 -> U32 Source #

Type specialised fromIntegral with out-of-range error.

i64_to_u64 :: I64 -> U64 Source #

Type specialised fromIntegral with out-of-range error.

i64_to_i4 :: I64 -> I4 Source #

Type specialised fromIntegral with out-of-range error.

i64_to_i7 :: I64 -> I7 Source #

Type specialised fromIntegral with out-of-range error.

i64_to_i8 :: I64 -> I8 Source #

Type specialised fromIntegral with out-of-range error.

i64_to_i12 :: I64 -> I12 Source #

Type specialised fromIntegral with out-of-range error.

i64_to_i14 :: I64 -> I14 Source #

Type specialised fromIntegral with out-of-range error.

i64_to_i16 :: I64 -> I16 Source #

Type specialised fromIntegral with out-of-range error.

i64_to_i24 :: I64 -> I24 Source #

Type specialised fromIntegral with out-of-range error.

i64_to_i32 :: I64 -> I32 Source #

Type specialised fromIntegral with out-of-range error.