distinct vector types example

generic-impl-strategy.zig

pub const GlobalVec = UniqueVec(.global);
pub const LocalVec = UniqueVec(.local);
pub const Tag = enum {global,local};
fn UniqueVec(tag: Tag) type {
    return struct {
        pub const tag = Tag;
        
        pub fn add(...) @This() { ... }
        pub fn sub(...) @This() { ... }
        // ...
    };
}

shared-impl-strategy.zig

pub const GlobalVec = struct {
    pub const add = Vec.add;
    pub const sub = Vec.sub;
    // ...
};
pub const LocalVec = struct {
    pub const add = Vec.add;
    pub const sub = Vec.sub;
    // ...
};
pub const Vec = struct {
    pub fn add(...) @This() { ... }
    pub fn sub(...) @This() { ... }
    // ...
};

simple-strategy.zig

pub const GlobalVec = struct {v: Vec};
pub const LocalVec = struct {v: Vec};
pub const Vec = struct {
    pub fn add(...) @This() { ... }
    pub fn sub(...) @This() { ... }
    // ...
};