Documentation
StrataDDM
.
Util
.
Ion
.
Serialize
Search
return to top
source
Imports
Init
StrataDDM.Util.ByteArray
StrataDDM.Util.Ion.AST
Imported by
StrataDDM
.
ByteArray
.
zeros
Ion
.
binaryVersionMarker
Ion
.
serialize
source
def
StrataDDM
.
ByteArray
.
zeros
(
n
:
Nat
)
:
ByteArray
Equations
StrataDDM.ByteArray.zeros
n
=
n
.
fold
(fun (
x
:
Nat
) (
x_1
:
x
<
n
) (
a
:
ByteArray
) =>
a
.
push
0
)
(
ByteArray.emptyWithCapacity
n
)
Instances For
source
def
Ion
.
binaryVersionMarker
(
major
:
UInt8
:=
1
)
(
minor
:
UInt8
:=
0
)
:
ByteArray
Create binary version marker
Equations
Ion.binaryVersionMarker
major
minor
=
{
data
:=
#[
224
,
major
,
minor
,
234
]
}
Instances For
source
def
Ion
.
serialize
(
values
:
Array
(
Ion
SymbolId
)
)
:
ByteArray
Equations
One or more equations did not get rendered due to their size.
Instances For