creating a generic type and restricting its inputs

[covert quartz]

this is my first try using generics directly, and I am having trouble restricting the type to numerics and Bools only, this is the snippet

pub fn Foo(comptime T: type) type {
  return struct {
    const Self = @This;
    fizz: T,
    buzz: T,

    pub fn init(fizz:T, buzz:T) Self {
      return .{.fizz = fizz, .buzz = buzz};
    }
  }
}

creating a generic type and restricting its inputs

[west basin]

Before the return put

comptime {
    switch (@typeInfo(T)) {
        .int, .@"bool" => void,
        else => @compileError("Only bools and int allowed"),
    }
}

[warped isle]

Since Foo is basically just a function, you can do the checks on @typeInfo(T) and do @compileError if it's something you wouldn't expect

[warped isle]

comptime {} is most likely redundant, since that's a type function anyway, other than that looks fine

[covert quartz]

it was lowercase

?????

i did upper

[west basin]

Probably yeah, I like putting all my checks in a comptime block at the top

[warped isle]

Consider referring to stdlib docs for that, this one is std.builtin.Type

[covert quartz]

also thanks for showing bool

[covert quartz]

it shows capital in there

😭 😭

[warped isle]

it doesn't unless you're looking at old version

https://ziglang.org/documentation/0.15.2/std/#std.builtin.Type

[covert quartz]

im on 0.15.2

[warped isle]

No idea what this "completion" is. Don't trust it from now on I guess

Actually no, it's correct

[covert quartz]

🥀 aight