Documentation

Decode Big Endian encoded binary data into an Array of arbitrary dimensions ix by specifying the Axes Row

>>> decodeArray @Ix2 @Float [3, 2] input
Array P Seq (Sz (2 :. 3))
  [ [ 1.0, 2.0, 3.0 ]
  , [ 4.0, 5.0, 6.0 ]
  ]

Encode an Array as a Lazy ByteString based on the type of the element a

>>> myArray = decodeArray @Ix2 @Float BPFloat [3, 2] input
>>> output = encodeArray myArray

Decode binary data into an Array of arbitrary dimensions ix by specifying the Axes Row and the ByteOrder

>>> decodeArrayOrder @Ix2 @Float BigEndian [3, 2] input
Array P Seq (Sz (2 :. 3))
  [ [ 1.0, 2.0, 3.0 ]
  , [ 4.0, 5.0, 6.0 ]
  ]

Decode binary data into as a 1d Array

Resize a Vector into an Array

Convert between an Index and Axes Row

Encode an Array of dimensions up to Ix5

Get the Axes for a given array size