git.iko.soy/Idris-dev
on master help sign in
Fix typos in libs/prelude/Prelude/Bits.idr
03ad31fFelix Yan
libs/prelude/Prelude/Bits.idr+4−4
compare with master
unifiedsplit
@@ -21,12 +21,12 @@ import Prelude.Strings
21-- Convert to `List Bits8`
21-- Convert to `List Bits8`
22--------------------------------------------------------------------------------
22--------------------------------------------------------------------------------
23
23
24−||| Convert to list of `Bits8` with the most signficant byte at the
24+||| Convert to list of `Bits8` with the most significant byte at the
25||| head.
25||| head.
26b8ToBytes : Bits8 -> List Bits8
26b8ToBytes : Bits8 -> List Bits8
27b8ToBytes b = [b]
27b8ToBytes b = [b]
28
28
29−||| Convert to list of `Bits8` with the most signficant byte at the
29+||| Convert to list of `Bits8` with the most significant byte at the
30||| head.
30||| head.
31b16ToBytes : Bits16 -> List Bits8
31b16ToBytes : Bits16 -> List Bits8
32b16ToBytes b =
32b16ToBytes b =
@@ -34,7 +34,7 @@ b16ToBytes b =
34 , prim__truncB16_B8 b
34 , prim__truncB16_B8 b
35 ]
35 ]
36
36
37−||| Convert to list of `Bits8` with the most signficant byte at the
37+||| Convert to list of `Bits8` with the most significant byte at the
38||| head.
38||| head.
39b32ToBytes : Bits32 -> List Bits8
39b32ToBytes : Bits32 -> List Bits8
40b32ToBytes b =
40b32ToBytes b =
@@ -44,7 +44,7 @@ b32ToBytes b =
44 , prim__truncB32_B8 b
44 , prim__truncB32_B8 b
45 ]
45 ]
46
46
47−||| Convert to list of `Bits8` with the most signficant byte at the
47+||| Convert to list of `Bits8` with the most significant byte at the
48||| head.
48||| head.
49b64ToBytes : Bits64 -> List Bits8
49b64ToBytes : Bits64 -> List Bits8
50b64ToBytes b =
50b64ToBytes b =