add field property

Author: 9il

source/mir/ndslice/iterator.d

@@ -812,6 +812,21 @@ struct FieldIterator(Field)
     ///
     static alias __map(alias fun) = FieldIterator__map!(Field, fun);
 
+    ///
+    _Slice!() opSlice()(size_t a, size_t b)
+    {
+        return typeof(return)(a, b);
+    }
+
+    /++
+    Returns:
+        `_field[slice.i .. slice.j]`.
+    +/
+    auto opIndex()(_Slice!() slice)
+    {
+        return _field[_index + slice.i .. _index + slice.j];
+    }
+
     auto ref opUnary(string op : "*")()
     { return _field[_index]; }
 

source/mir/ndslice/slice.d

@@ -766,24 +766,36 @@ struct Slice(SliceKind kind, size_t[] packs, Iterator)
     }
 
     /++
+    Iterator
     Returns:
-        Pointer to the first element of a slice if slice is defined as `Slice!(N, T*)`
-        or plain structure with two fields `shift` and `range` otherwise.
-        In second case the expression `range[shift]` refers to the first element.
-        For slices with named elements the type of a return value
-        has the same behavior like a pointer.
-    Note:
-        `iterator` is defined only for non-packed slices.
-    Attention:
-        `iterator` refers to the first element in the memory representation
-        if and only if all strides are positive.
+        Iterator (pointer) to the $(LREF Slice.first) element.
     +/
-    static if (is(Iterator == Iterator))
     auto iterator()() @property
     {
         return _iterator;
     }
 
+    /++
+    Field (array) data.
+    Returns:
+        Raw data slice.
+    Constraints:
+        Field is defined only for contiguous slices.
+    +/
+    auto field()() @property
+    {
+        static assert(kind == Contiguous, "Slice.field is defined only for contiguous slices. Slice kind is " ~ kind.stringof);
+        static if (is(typeof(_iterator[size_t(0) .. elementsCount])))
+        {
+            return _iterator[size_t(0) .. elementsCount];
+        }
+        else
+        {
+            import mir.ndslice.topology: flattened;
+            return this.flattened;
+        }
+    }
+
     /++
     Returns: static array of lengths
     See_also: $(LREF .Slice.structure)

source/mir/primitives.d

@@ -74,6 +74,3 @@ template DimensionCount(T)
     else
         enum size_t DimensionCount = 1;
 }
-
-///
-alias elementsCount = length;