Automatic interface satisfying check #2

Activity

1. nilslice commented on Nov 21, 2024

   

   nilslice

   on Nov 21, 2024

   Last edited by nilslice

   Owner

   More actions

   How do you propose creating an automatic check? I could be missing your question, sorry. But this function (satisfiedBy) exists on the Interface you create to check:

   const Repository = Interface(.{...});
   
   // In functions that accept interface implementations:
   fn createUser(repo: anytype, name: []const u8, email: []const u8) !User {
       comptime Repository.satisfiedBy(@TypeOf(repo));
       // ... rest of implementation
   }
   
   // Or verify directly:
   comptime Repository.satisfiedBy(InMemoryRepository); // where `InMemoryRepository` is the struct implementing `Repository`
2. nilslice commented on Oct 28, 2025

   

   nilslice

   on Oct 28, 2025

   Owner

   More actions

   @adex-codez - the latest updates should be much more aligned to automatically check (still a small step to construct/convert into the interface type from a concrete impl). Check it out and lmk what you think. PR at #9.
3. nilslice

   closed this as completedon Oct 28, 2025