Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-09-11 07:15:45 +03:00
Code Issues Projects Releases Wiki Activity

create tail version of bits.hex.encode

Browse Source
This commit is contained in:
rheidner 2021-10-13 14:13:26 -03:00
parent b0513abc5e
commit 69b0c5ff13
1 changed files with 65 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

65
base/Bits/hex_tail.kind Normal file
View File

@ -0,0 +1,65 @@
Bits.hex_tail.encode(x: Bits): String
String.reverse(Bits.hex_tail.encode.go(x, ""))
Bits.hex_tail.encode.go(x: Bits, str: String): String
case x {
e: str
o: case x.pred as x {
e: Bits.hex_tail.encode.go(x.pred, "0" | str)
o: case x.pred as x {
e: Bits.hex_tail.encode.go(x.pred, "0" | str)
o: case x.pred as x {
e: Bits.hex_tail.encode.go(x.pred, "0" | str)
o: Bits.hex_tail.encode.go(x.pred, "0" | str)
i: Bits.hex_tail.encode.go(x.pred, "8" | str)
}
i: case x.pred as x {
e: "4" | str
o: Bits.hex_tail.encode.go(x.pred, "4" | str)
i: Bits.hex_tail.encode.go(x.pred, "c" | str)
}
}
i: case x.pred as x {
e: "2" | str
o: case x.pred as x {
e: "2" | str
o: Bits.hex_tail.encode.go(x.pred, "2" | str)
i: Bits.hex_tail.encode.go(x.pred, "a" | str)
}
i: case x.pred as x {
e: "6" | str
o: Bits.hex_tail.encode.go(x.pred, "6" | str)
i: Bits.hex_tail.encode.go(x.pred, "e" | str)
}
}
}
i: case x.pred as x {
e: "1" | str
o: case x.pred as x {
e: "1" | str
o: case x.pred as x {
e: "1" | str
o: Bits.hex_tail.encode.go(x.pred, "1" | str)
i: Bits.hex_tail.encode.go(x.pred, "9" | str)
}
i: case x.pred as x {
e: "5" |str
o: Bits.hex_tail.encode.go(x.pred, "5" | str)
i: Bits.hex_tail.encode.go(x.pred, "d" | str)
}
}
i: case x.pred as x {
e: "3" | str
o: case x.pred as x {
e: "3" | str
o: Bits.hex_tail.encode.go(x.pred, "3" | str)
i: Bits.hex_tail.encode.go(x.pred, "b" | str)
}
i: case x.pred as x {
e: "7" | str
o: Bits.hex_tail.encode.go(x.pred, "7" | str)
i: Bits.hex_tail.encode.go(x.pred, "f" | str)
}
}
}
}