Vectors

Vectors

import { Vector, TString } from "@fed1/jsos";

const StringVector = Vector(TString);

const sv = StringVector.new(["foo", "bar"]);

Using vector types in structs:

import { Struct, isA, TNumber, TString, TVector, Vector } from "@fed1/jsos";

const MyConcreteType = Struct.MyConcreteType({
    name: TString,
    ids: TVector(TNumber)
});

const mct = MyConcreteType.new({
    name: "Foo",
    ids: Vector(TNumber).new([1, 5, 8])
});