std/Byte.bruijn


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

# MIT License, Copyright (c) 2022 Marvin Borner

:import std/Logic .
:import std/Combinator .
:import std/List .

# bit 0
b0 false

# bit 1
b1 true

# returns true if two bytes are equal
eq? ⋀?‣ ∘∘ (zip-with xnor?)

…=?… eq?

:test ('a' =? 'a') (true)
:test ('a' =? 'b') (false)

# generates a byte with correct endianness
byte [[[[[[[[0 : (1 : (2 : (3 : (4 : (5 : (6 : (7 : empty)))))))]]]]]]]]

:test (byte b0 b1 b1 b0 b0 b0 b0 b1) ('a')