55 lines
1.8 KiB
Text
55 lines
1.8 KiB
Text
morph_digit_as_char_to_uint8 (Radix:ℤ_16)
|
||
<Digit Radix> ~ Char ~ Ascii ~ x86.UInt8
|
||
--> <Digit Radix> ~ x86.UInt8
|
||
@lib/libmorph-posint.so:src/posint.c
|
||
|
||
morph_digit_as_uint8_to_char (Radix:ℤ_16)
|
||
<Digit Radix> ~ x86.UInt8
|
||
--> <Digit Radix> ~ Char ~ Ascii ~ x86.UInt8
|
||
@lib/libmorph-posint.so:src/posint.c
|
||
|
||
morph_digit_as_char_to_uint64 (Radix:ℤ_16)
|
||
<Digit Radix> ~ Char ~ Ascii ~ x86.UInt8
|
||
--> <Digit Radix> ~ x86.UInt64
|
||
@lib/libmorph-posint.so:src/posint.c
|
||
|
||
morph_digit_as_uint64_to_char (Radix:ℤ_16)
|
||
<Digit Radix> ~ x86.UInt64
|
||
--> <Digit Radix> ~ Char ~ Ascii ~ x86.UInt8
|
||
@lib/libmorph-posint.so:src/posint.c
|
||
|
||
morph_posint_radix_le (SrcRadix:ℤ, DstRadix:ℤ)
|
||
ℕ
|
||
~ <PosInt SrcRadix LittleEndian>
|
||
~ <Seq~<LengthPrefix x86.UInt64> <Digit SrcRadix>~x86.UInt64>
|
||
--> ℕ
|
||
~ <PosInt DstRadix LittleEndian>
|
||
~ <Seq~<LengthPrefix x86.UInt64> <Digit DstRadix>~x86.UInt64>
|
||
@lib/libmorph-posint.so:src/posint.c
|
||
|
||
morph_posint_radix_be (SrcRadix:ℤ, DstRadix:ℤ)
|
||
ℕ
|
||
~ <PosInt SrcRadix BigEndian>
|
||
~ <Seq~<LengthPrefix x86.UInt64> <Digit SrcRadix>~x86.UInt64>
|
||
--> ℕ
|
||
~ <PosInt DstRadix BigEndian>
|
||
~ <Seq~<LengthPrefix x86.UInt64> <Digit DstRadix>~x86.UInt64>
|
||
@lib/libmorph-posint.so:src/posint.c
|
||
|
||
morph_posint_endianness (Radix:ℤ)
|
||
ℕ
|
||
~ <PosInt Radix LittleEndian>
|
||
~ <Seq~<LengthPrefix x86.UInt64> <Digit Radix> ~ x86.UInt64>
|
||
--> ℕ
|
||
~ <PosInt Radix BigEndian>
|
||
~ <Seq~<LengthPrefix x86.UInt64> <Digit Radix> ~ x86.UInt64>
|
||
@lib/libmorph-posint.so:src/posint.c
|
||
|
||
morph_posint_endianness (Radix:ℤ)
|
||
ℕ
|
||
~ <PosInt Radix BigEndian>
|
||
~ <Seq~<LengthPrefix x86.UInt64> <Digit Radix> ~ x86.UInt64>
|
||
--> ℕ
|
||
~ <PosInt Radix LittleEndian>
|
||
~ <Seq~<LengthPrefix x86.UInt64> <Digit Radix> ~ x86.UInt64>
|
||
@lib/libmorph-posint.so:src/posint.c
|