Constraints

[Jacob Carlborg]

On 2012-05-10 11:42, "İbrahim Gökhan YANIKLAR" <yanikibo at gmail.com>" wrote:
> concept CInputRange(R)
> {
> static assert (isDefinable!R);
> static assert (isRange!R);
> bool empty();
> void popFront();
> ElementType!R front();
> }
>
> concept CForwardRange(R) : CInputRange!R
> {
> R save();
> }
>
> concept CBidirectionalRange(R) : CForwardRange!R
> {
> void popBack();
> ElementType!R back();
> }
>
> concept CRandomAccessRange(R) : CBidirectionalRange!R
> if (!isInfinite!R)
> {
> static assert (is(typeof(R.init[1])));
> static assert(hasLength!R);
> static assert(!isNarrowString!R);
> }
>
> concept CRandomAccessRange(R) : CForwardRange!R
> if (isInfinite!R)
> {
> static assert (is(typeof(R.init[1])));
> }
>
> //-----------------------------------------------------------
>
> struct InputRange : CInputRange;
> // same as struct InputRange : CInputRange!InputRange
>
> struct ForwardRange;
> // Satisfies CForwardRange concept but don't apply it
>
> interface IBidirectionalRange : CBidirectionalRange;
> // Apply concept to the classes derived from IBidirectionalRange
>
> class BidirectionalRange : IBidirectionalRange;
> // Implement IBidirectionalRange and apply CBidirectionalRange
>
> struct RandomAccessFinite : CRandomAccessRange;
>
> struct RandomAccessInfinite : CRandomAccessRange;
>
> //-----------------------------------------------------------
>
> void foo(Range : CInputRange)(Range r) { }
> void foo(Range : CForwardRange)(Range r) { }
> void foo(Range : CBidirectionalRange)(Range r) { }
> void foo(Range : CRandomAccessRange)(Range r) { }
>

I like this one. Hopefully it could produce better error messages as well.

-- 
/Jacob Carlborg