Safe Haskell	Safe-Inferred
Language	Haskell2010

Music.Theory.Math.Convert

Contents

Numerical conversions

Description

Specialised type conversions, see mk/mk-convert.hs

map int_to_word8 [-1,0,255,256] == [255,0,255,0]
map int_to_word8_maybe [-1,0,255,256] == [Nothing,Just 0,Just 255,Nothing]

map integer_to_int64_maybe [-2 ^ 63 - 1,2 ^ 63] == [Nothing,Nothing]
map integer_to_word64_maybe [2 ^ 64 - 1,2 ^ 64] == [Just 18446744073709551615,Nothing]

map int16_to_float [-1,0,1] == [-1,0,1]

Synopsis

real_to_float :: Real t => t -> Float
real_to_double :: Real t => t -> Double
double_to_float :: Double -> Float
float_to_double :: Float -> Double
double_to_word8 :: (Double -> Word8) -> Double -> Word8
double_to_int :: (Double -> Int) -> Double -> Int
int_to_rational :: Int -> Rational
word8_to_word16 :: Word8 -> Word16
word8_to_word32 :: Word8 -> Word32
word8_to_word64 :: Word8 -> Word64
word8_to_int8 :: Word8 -> Int8
word8_to_int16 :: Word8 -> Int16
word8_to_int32 :: Word8 -> Int32
word8_to_int64 :: Word8 -> Int64
word8_to_int :: Word8 -> Int
word8_to_integer :: Word8 -> Integer
word8_to_float :: Word8 -> Float
word8_to_double :: Word8 -> Double
word16_to_word8 :: Word16 -> Word8
word16_to_word32 :: Word16 -> Word32
word16_to_word64 :: Word16 -> Word64
word16_to_int8 :: Word16 -> Int8
word16_to_int16 :: Word16 -> Int16
word16_to_int32 :: Word16 -> Int32
word16_to_int64 :: Word16 -> Int64
word16_to_int :: Word16 -> Int
word16_to_integer :: Word16 -> Integer
word16_to_float :: Word16 -> Float
word16_to_double :: Word16 -> Double
word32_to_word8 :: Word32 -> Word8
word32_to_word16 :: Word32 -> Word16
word32_to_word64 :: Word32 -> Word64
word32_to_int8 :: Word32 -> Int8
word32_to_int16 :: Word32 -> Int16
word32_to_int32 :: Word32 -> Int32
word32_to_int64 :: Word32 -> Int64
word32_to_int :: Word32 -> Int
word32_to_integer :: Word32 -> Integer
word32_to_float :: Word32 -> Float
word32_to_double :: Word32 -> Double
word64_to_word8 :: Word64 -> Word8
word64_to_word16 :: Word64 -> Word16
word64_to_word32 :: Word64 -> Word32
word64_to_int8 :: Word64 -> Int8
word64_to_int16 :: Word64 -> Int16
word64_to_int32 :: Word64 -> Int32
word64_to_int64 :: Word64 -> Int64
word64_to_int :: Word64 -> Int
word64_to_integer :: Word64 -> Integer
word64_to_float :: Word64 -> Float
word64_to_double :: Word64 -> Double
int8_to_word8 :: Int8 -> Word8
int8_to_word16 :: Int8 -> Word16
int8_to_word32 :: Int8 -> Word32
int8_to_word64 :: Int8 -> Word64
int8_to_int16 :: Int8 -> Int16
int8_to_int32 :: Int8 -> Int32
int8_to_int64 :: Int8 -> Int64
int8_to_int :: Int8 -> Int
int8_to_integer :: Int8 -> Integer
int8_to_float :: Int8 -> Float
int8_to_double :: Int8 -> Double
int16_to_word8 :: Int16 -> Word8
int16_to_word16 :: Int16 -> Word16
int16_to_word32 :: Int16 -> Word32
int16_to_word64 :: Int16 -> Word64
int16_to_int8 :: Int16 -> Int8
int16_to_int32 :: Int16 -> Int32
int16_to_int64 :: Int16 -> Int64
int16_to_int :: Int16 -> Int
int16_to_integer :: Int16 -> Integer
int16_to_float :: Int16 -> Float
int16_to_double :: Int16 -> Double
int32_to_word8 :: Int32 -> Word8
int32_to_word16 :: Int32 -> Word16
int32_to_word32 :: Int32 -> Word32
int32_to_word64 :: Int32 -> Word64
int32_to_int8 :: Int32 -> Int8
int32_to_int16 :: Int32 -> Int16
int32_to_int64 :: Int32 -> Int64
int32_to_int :: Int32 -> Int
int32_to_integer :: Int32 -> Integer
int32_to_float :: Int32 -> Float
int32_to_double :: Int32 -> Double
int64_to_word8 :: Int64 -> Word8
int64_to_word16 :: Int64 -> Word16
int64_to_word32 :: Int64 -> Word32
int64_to_word64 :: Int64 -> Word64
int64_to_int8 :: Int64 -> Int8
int64_to_int16 :: Int64 -> Int16
int64_to_int32 :: Int64 -> Int32
int64_to_int :: Int64 -> Int
int64_to_integer :: Int64 -> Integer
int64_to_float :: Int64 -> Float
int64_to_double :: Int64 -> Double
int_to_integral :: Integral i => Int -> i
int_to_word8 :: Int -> Word8
int_to_word16 :: Int -> Word16
int_to_word32 :: Int -> Word32
int_to_word64 :: Int -> Word64
int_to_int8 :: Int -> Int8
int_to_int16 :: Int -> Int16
int_to_int32 :: Int -> Int32
int_to_int64 :: Int -> Int64
int_to_integer :: Int -> Integer
int_to_float :: Int -> Float
int_to_double :: Int -> Double
integer_to_word8 :: Integer -> Word8
integer_to_word16 :: Integer -> Word16
integer_to_word32 :: Integer -> Word32
integer_to_word64 :: Integer -> Word64
integer_to_int8 :: Integer -> Int8
integer_to_int16 :: Integer -> Int16
integer_to_int32 :: Integer -> Int32
integer_to_int64 :: Integer -> Int64
integer_to_int :: Integer -> Int
integer_to_float :: Integer -> Float
integer_to_double :: Integer -> Double
word8_to_word16_maybe :: Word8 -> Maybe Word16
word8_to_word32_maybe :: Word8 -> Maybe Word32
word8_to_word64_maybe :: Word8 -> Maybe Word64
word8_to_int8_maybe :: Word8 -> Maybe Int8
word8_to_int16_maybe :: Word8 -> Maybe Int16
word8_to_int32_maybe :: Word8 -> Maybe Int32
word8_to_int64_maybe :: Word8 -> Maybe Int64
word8_to_int_maybe :: Word8 -> Maybe Int
word16_to_word8_maybe :: Word16 -> Maybe Word8
word16_to_word32_maybe :: Word16 -> Maybe Word32
word16_to_word64_maybe :: Word16 -> Maybe Word64
word16_to_int8_maybe :: Word16 -> Maybe Int8
word16_to_int16_maybe :: Word16 -> Maybe Int16
word16_to_int32_maybe :: Word16 -> Maybe Int32
word16_to_int64_maybe :: Word16 -> Maybe Int64
word16_to_int_maybe :: Word16 -> Maybe Int
word32_to_word8_maybe :: Word32 -> Maybe Word8
word32_to_word16_maybe :: Word32 -> Maybe Word16
word32_to_word64_maybe :: Word32 -> Maybe Word64
word32_to_int8_maybe :: Word32 -> Maybe Int8
word32_to_int16_maybe :: Word32 -> Maybe Int16
word32_to_int32_maybe :: Word32 -> Maybe Int32
word32_to_int64_maybe :: Word32 -> Maybe Int64
word32_to_int_maybe :: Word32 -> Maybe Int
word64_to_word8_maybe :: Word64 -> Maybe Word8
word64_to_word16_maybe :: Word64 -> Maybe Word16
word64_to_word32_maybe :: Word64 -> Maybe Word32
word64_to_int8_maybe :: Word64 -> Maybe Int8
word64_to_int16_maybe :: Word64 -> Maybe Int16
word64_to_int32_maybe :: Word64 -> Maybe Int32
word64_to_int64_maybe :: Word64 -> Maybe Int64
word64_to_int_maybe :: Word64 -> Maybe Int
int8_to_word8_maybe :: Int8 -> Maybe Word8
int8_to_word16_maybe :: Int8 -> Maybe Word16
int8_to_word32_maybe :: Int8 -> Maybe Word32
int8_to_word64_maybe :: Int8 -> Maybe Word64
int8_to_int16_maybe :: Int8 -> Maybe Int16
int8_to_int32_maybe :: Int8 -> Maybe Int32
int8_to_int64_maybe :: Int8 -> Maybe Int64
int8_to_int_maybe :: Int8 -> Maybe Int
int16_to_word8_maybe :: Int16 -> Maybe Word8
int16_to_word16_maybe :: Int16 -> Maybe Word16
int16_to_word32_maybe :: Int16 -> Maybe Word32
int16_to_word64_maybe :: Int16 -> Maybe Word64
int16_to_int8_maybe :: Int16 -> Maybe Int8
int16_to_int32_maybe :: Int16 -> Maybe Int32
int16_to_int64_maybe :: Int16 -> Maybe Int64
int16_to_int_maybe :: Int16 -> Maybe Int
int32_to_word8_maybe :: Int32 -> Maybe Word8
int32_to_word16_maybe :: Int32 -> Maybe Word16
int32_to_word32_maybe :: Int32 -> Maybe Word32
int32_to_word64_maybe :: Int32 -> Maybe Word64
int32_to_int8_maybe :: Int32 -> Maybe Int8
int32_to_int16_maybe :: Int32 -> Maybe Int16
int32_to_int64_maybe :: Int32 -> Maybe Int64
int32_to_int_maybe :: Int32 -> Maybe Int
int64_to_word8_maybe :: Int64 -> Maybe Word8
int64_to_word16_maybe :: Int64 -> Maybe Word16
int64_to_word32_maybe :: Int64 -> Maybe Word32
int64_to_word64_maybe :: Int64 -> Maybe Word64
int64_to_int8_maybe :: Int64 -> Maybe Int8
int64_to_int16_maybe :: Int64 -> Maybe Int16
int64_to_int32_maybe :: Int64 -> Maybe Int32
int64_to_int_maybe :: Int64 -> Maybe Int
int_to_word8_maybe :: Int -> Maybe Word8
int_to_word16_maybe :: Int -> Maybe Word16
int_to_word32_maybe :: Int -> Maybe Word32
int_to_word64_maybe :: Int -> Maybe Word64
int_to_int8_maybe :: Int -> Maybe Int8
int_to_int16_maybe :: Int -> Maybe Int16
int_to_int32_maybe :: Int -> Maybe Int32
int_to_int64_maybe :: Int -> Maybe Int64
integer_to_word8_maybe :: Integer -> Maybe Word8
integer_to_word16_maybe :: Integer -> Maybe Word16
integer_to_word32_maybe :: Integer -> Maybe Word32
integer_to_word64_maybe :: Integer -> Maybe Word64
integer_to_int8_maybe :: Integer -> Maybe Int8
integer_to_int16_maybe :: Integer -> Maybe Int16
integer_to_int32_maybe :: Integer -> Maybe Int32
integer_to_int64_maybe :: Integer -> Maybe Int64
integer_to_int_maybe :: Integer -> Maybe Int

Numerical conversions

real_to_float :: Real t => t -> Float Source #

Type specialised realToFrac

real_to_double :: Real t => t -> Double Source #

Type specialised realToFrac

let n = sqrt (-1) in (n,real_to_double n)

double_to_float :: Double -> Float Source #

Type specialised realToFrac

float_to_double :: Float -> Double Source #

Type specialised realToFrac

double_to_word8 :: (Double -> Word8) -> Double -> Word8 Source #

double_to_int :: (Double -> Int) -> Double -> Int Source #

Type-specialise f, ie. round, ceiling, truncate

map (double_to_int round) [0, 0.25 .. 1] == [0, 0, 0, 1, 1]
map (double_to_int ceiling) [0, 0.25 .. 1] == [0, 1, 1, 1, 1]
map (double_to_int floor) [0, 0.25 .. 1] == [0, 0, 0, 0, 1]
map (double_to_int truncate) [0, 0.25 .. 1] == [0, 0, 0, 0, 1]

int_to_rational :: Int -> Rational Source #

Type specialised fromIntegral

word8_to_word16 :: Word8 -> Word16 Source #

Type specialised fromIntegral

word8_to_word32 :: Word8 -> Word32 Source #

Type specialised fromIntegral

word8_to_word64 :: Word8 -> Word64 Source #

Type specialised fromIntegral

word8_to_int8 :: Word8 -> Int8 Source #

Type specialised fromIntegral

word8_to_int16 :: Word8 -> Int16 Source #

Type specialised fromIntegral