Music.Theory.Byte

Byte functions.

Enumerations & Char

word8_to_enum :: Enum e => Word8 -> e

toEnum of word8_to_int

enum_to_word8 :: Enum e => e -> Maybe Word8

int_to_word8_maybe of fromEnum

word8_to_char :: Word8 -> Char

Type-specialised word8_to_enum

map word8_to_char [60,62] == "<>"

char_to_word8 :: Char -> Word8

int_to_word8 of fromEnum

digit_to_word8 :: Char -> Word8

int_to_word8 of digitToInt

word8_to_digit :: Word8 -> Char

intToDigit of word8_to_int

Indexing

word8_at :: [t] -> Word8 -> t

at of word8_to_int

Text

byte_hex_pp :: (Integral i, Show i) => i -> Maybe String

Given n in (0,255) make two character hex string.

mapMaybe byte_hex_pp [0x0F,0xF0,0xF0F] == ["0F","F0"]

byte_hex_pp_err :: (Integral i, Show i) => i -> String

Erroring variant.

byte_seq_hex_pp :: (Integral i, Show i) => Bool -> [i] -> String

byte_hex_pp_err either plain (ws = False) or with spaces (ws = True). Plain is the same format written by xxd -p and read by xxd -r -p.

byte_seq_hex_pp True [0x0F,0xF0] == "0F F0"

read_hex_byte :: (Eq t, Integral t) => String -> Maybe t

Read two character hexadecimal string.

mapMaybe read_hex_byte (Split.chunksOf 2 "0FF0F") == [0x0F,0xF0]

read_hex_byte_err :: (Eq t, Integral t) => String -> t

Erroring variant.

read_hex_byte_seq :: (Eq t, Integral t) => String -> [t]

Sequence of read_hex_byte_err

read_hex_byte_seq "000FF0FF" == [0x00,0x0F,0xF0,0xFF]

read_hex_byte_seq_ws :: (Eq t, Integral t) => String -> [t]

Variant that filters white space.

read_hex_byte_seq_ws "00 0F F0 FF" == [0x00,0x0F,0xF0,0xFF]

IO

load_byte_seq :: Integral i => FilePath -> IO [i]

Load binary U8 sequence from file.

store_byte_seq :: Integral i => FilePath -> [i] -> IO ()

Store binary U8 sequence to file.

load_hex_byte_seq :: Integral i => FilePath -> IO [[i]]

Load hexadecimal text U8 sequences from file.

store_hex_byte_seq :: (Integral i, Show i) => FilePath -> [[i]] -> IO ()

Store U8 sequences as hexadecimal text, one sequence per line.

Cast

castFloatToWord32 :: Float -> Word32

castWord32ToFloat :: Word32 -> Float

castDoubleToWord64 :: Double -> Word64

castWord64ToDouble :: Word64 -> Double