Re: Interesting PRs: bringing type system legitimacy to shared allocators

[Atila Neves via Digitalmars-d]

On Friday, 28 April 2017 at 18:04:06 UTC, jmh530 wrote:
On Friday, 28 April 2017 at 17:09:22 UTC, Atila Neves wrote:

https://github.com/atilaneves/concepts

import concepts;

@models!(isForwardRange, MyType)
struct MyType { .... }


Atila

I remember you had posted about this last year. It looks like 
you've added some stuff on ranges to it recently...interesting.

You might want to include an example in the Readme.md of using 
the concept as a template constraint for a function. Maybe like

void callfoo(T)(T x)
        if (isFoo!T)
{
        x.foo();
}

Foo foo;
callfoo(foo);

Done. I also added to the README that it has its own versions of 
the range constraints from Phobos that can be used with `@models`.

Atila