Ada-Style Modulo Integer Types

[Timon Gehr via Digitalmars-d-learn]

On 22.04.2016 21:52, Nordlöw wrote:
> On Friday, 22 April 2016 at 17:37:44 UTC, Nordlöw wrote:
>> Have anybody implement Ada-style modulo types
>>
>> https://en.wikibooks.org/wiki/Ada_Programming/Types/mod
>
> Here's my first try
>
> https://github.com/nordlow/phobos-next/blob/master/src/modulo.d
>
> Is there a way to use
>
>     alias _value this;
>
> except mutation of _value which should check that _value is within value
> range (0 .. m-1)?

Why do you want to perform a range check? Shouldn't it just take the 
appropriate remainder?

Anyway, the following will do what you request:

struct Mod(int M){
     private int x;
     @property int prop(int x)in{assert(0<=x&&x<M);}body{
         return this.x=x;
     }
     @property int prop(){ return x; }
     alias prop this;
}