Data.Compress.Utils.Bytes

Definitions

to_le : {auto {conArg:1652} : (FiniteBits a, Cast a Bits8)} -> {auto 0 _ : NonZero n} -> {auto 0 _ : n * 8 = bitSize} -> a -> Vect n Bits8

Visibility: export

from_le : {auto {conArg:1764} : (FiniteBits a, Cast Bits8 a)} -> {auto 0 _ : NonZero n} -> {auto 0 _ : n * 8 = bitSize} -> Vect n Bits8 -> a

Visibility: export

le_to_integer : Foldable t => t Bits8 -> Integer

Visibility: export

integer_to_le : (n : Nat) -> Integer -> Vect n Bits8

Visibility: export

string_to_ascii : String -> List Bits8

Visibility: export

ascii_to_string : List Bits8 -> String

Visibility: export