move morphism-base files to directory
This commit is contained in:
parent
475d6d43ba
commit
d0230cd3c4
2 changed files with 0 additions and 0 deletions
morphisms/morphism-base
36
morphisms/morphism-base/posint.morphism-base
Normal file
36
morphisms/morphism-base/posint.morphism-base
Normal file
|
@ -0,0 +1,36 @@
|
|||
morph_digit_as_char_to_uint8 (Radix:ℤ_16)
|
||||
<Digit Radix> ~ Char ~ Ascii ~ Byte
|
||||
--> <Digit Radix> ~ x86.UInt8 ~ Byte
|
||||
@lib/posint.so:src/posint.c
|
||||
|
||||
morph_digit_as_uint8_to_char (Radix:ℤ_16)
|
||||
<Digit Radix> ~ x86.UInt8 ~ Byte
|
||||
--> <Digit Radix> ~ Char ~ Ascii ~ Byte
|
||||
@lib/posint.so:src/posint.c
|
||||
|
||||
morph_posint_radix (SrcRadix:ℤ, DstRadix:ℤ)
|
||||
ℕ
|
||||
~ <PosInt SrcRadix LittleEndian>
|
||||
~ [~<LengthPrefix x86.UInt64> <Digit SrcRadix>~x86.UInt64]
|
||||
--> ℕ
|
||||
~ <PosInt DstRadix LittleEndian>
|
||||
~ [~<LengthPrefix x86.UInt64> <Digit DstRadix>~x86.UInt64]
|
||||
@lib/posint.so:src/posint.c
|
||||
|
||||
morph_posint_endianness (Radix:ℤ)
|
||||
ℕ
|
||||
~ <PosInt Radix LittleEndian>
|
||||
~ [~<LengthPrefix x86.UInt64> <Digit Radix> ~ x86.UInt64]
|
||||
--> ℕ
|
||||
~ <PosInt Radix BigEndian>
|
||||
~ [~<LengthPrefix x86.UInt64> <Digit Radix> ~ x86.UInt64]
|
||||
@lib/posint.so:src/posint.c
|
||||
|
||||
morph_posint_endianness (Radix:ℤ)
|
||||
ℕ
|
||||
~ <PosInt Radix BigEndian>
|
||||
~ [~<LengthPrefix x86.UInt64> <Digit Radix> ~ x86.UInt64]
|
||||
--> ℕ
|
||||
~ <PosInt Radix LittleEndian>
|
||||
~ [~<LengthPrefix x86.UInt64> <Digit Radix> ~ x86.UInt64]
|
||||
@lib/posint.so:src/posint.c
|
Loading…
Add table
Add a link
Reference in a new issue