LineString

Struct LineString 

Source
pub struct LineString<T = f64>(pub Vec<Coord<T>>)
where
    T: CoordNum;
Available on crate feature geo-types only.
Expand description

An ordered collection of Coords, representing a path between locations. To be valid, a LineString must be empty, or have two or more coords.

§Semantics

  1. A LineString is closed if it is empty, or if the first and last coordinates are the same.
  2. The boundary of a LineString is either:
    • empty if it is closed (see 1) or
    • contains the start and end coordinates.
  3. The interior is the (infinite) set of all coordinates along the LineString, not including the boundary.
  4. A LineString is simple if it does not intersect except optionally at the first and last coordinates (in which case it is also closed, see 1).
  5. A simple and closed LineString is a LinearRing as defined in the OGC-SFA (but is not defined as a separate type in this crate).

§Validity

A LineString is valid if it is either empty or contains 2 or more coordinates.

Further, a closed LineString must not self-intersect. Note that its validity is not enforced, and operations and predicates are undefined on invalid LineStrings.

§Examples

§Creation

Create a LineString by calling it directly:

use geo_types::{coord, LineString};

let line_string = LineString::new(vec![
    coord! { x: 0., y: 0. },
    coord! { x: 10., y: 0. },
]);

Create a LineString with the line_string! macro:

use geo_types::line_string;

let line_string = line_string![
    (x: 0., y: 0.),
    (x: 10., y: 0.),
];

By converting from a Vec of coordinate-like things:

use geo_types::LineString;

let line_string: LineString<f32> = vec![(0., 0.), (10., 0.)].into();
use geo_types::LineString;

let line_string: LineString = vec![[0., 0.], [10., 0.]].into();

Or by collecting from a Coord iterator

use geo_types::{coord, LineString};

let mut coords_iter =
    vec![coord! { x: 0., y: 0. }, coord! { x: 10., y: 0. }].into_iter();

let line_string: LineString<f32> = coords_iter.collect();

§Iteration

LineString provides five iterators: coords, coords_mut, points, lines, and triangles:

use geo_types::{coord, LineString};

let line_string = LineString::new(vec![
    coord! { x: 0., y: 0. },
    coord! { x: 10., y: 0. },
]);

line_string.coords().for_each(|coord| println!("{:?}", coord));

for point in line_string.points() {
    println!("Point x = {}, y = {}", point.x(), point.y());
}

Note that its IntoIterator impl yields Coords when looping:

use geo_types::{coord, LineString};

let line_string = LineString::new(vec![
    coord! { x: 0., y: 0. },
    coord! { x: 10., y: 0. },
]);

for coord in &line_string {
    println!("Coordinate x = {}, y = {}", coord.x, coord.y);
}

for coord in line_string {
    println!("Coordinate x = {}, y = {}", coord.x, coord.y);
}

§Decomposition

You can decompose a LineString into a Vec of Coords or Points:

use geo_types::{coord, LineString, Point};

let line_string = LineString::new(vec![
    coord! { x: 0., y: 0. },
    coord! { x: 10., y: 0. },
]);

let coordinate_vec = line_string.clone().into_inner();
let point_vec = line_string.clone().into_points();

Tuple Fields§

§0: Vec<Coord<T>>

Implementations§

Source§

impl<T> LineString<T>
where T: CoordNum,

Source

pub fn new(value: Vec<Coord<T>>) -> LineString<T>

Returns a LineString with the given coordinates

Source

pub fn empty() -> LineString<T>

Returns an empty LineString

Source

pub fn points_iter(&self) -> PointsIter<'_, T>

👎Deprecated: Use points() instead

Return an iterator yielding the coordinates of a LineString as Points

Source

pub fn points(&self) -> PointsIter<'_, T>

Return an iterator yielding the coordinates of a LineString as Points

Source

pub fn coords(&self) -> impl DoubleEndedIterator

Return an iterator yielding the members of a LineString as Coords

Source

pub fn coords_mut(&mut self) -> impl DoubleEndedIterator

Return an iterator yielding the coordinates of a LineString as mutable Coords

Source

pub fn into_points(self) -> Vec<Point<T>>

Return the coordinates of a LineString as a Vec of Points

Source

pub fn into_inner(self) -> Vec<Coord<T>>

Return the coordinates of a LineString as a Vec of Coords

Source

pub fn lines(&self) -> impl ExactSizeIterator

Return an iterator yielding one Line for each line segment in the LineString.

§Examples
use geo_types::{wkt, Line, LineString};

let line_string = wkt!(LINESTRING(0 0,5 0,7 9));
let mut lines = line_string.lines();

assert_eq!(
    Some(Line::new((0, 0), (5, 0))),
    lines.next()
);
assert_eq!(
    Some(Line::new((5, 0), (7, 9))),
    lines.next()
);
assert!(lines.next().is_none());
Source

pub fn rev_lines(&self) -> impl ExactSizeIterator

Return an iterator yielding one Line for each line segment in the LineString, starting from the end point of the LineString, working towards the start.

Note: This is like Self::lines, but the sequence and the orientation of segments are reversed.

§Examples
use geo_types::{wkt, Line, LineString};

let line_string = wkt!(LINESTRING(0 0,5 0,7 9));
let mut lines = line_string.rev_lines();

assert_eq!(
    Some(Line::new((7, 9), (5, 0))),
    lines.next()
);
assert_eq!(
    Some(Line::new((5, 0), (0, 0))),
    lines.next()
);
assert!(lines.next().is_none());
Source

pub fn triangles(&self) -> impl ExactSizeIterator

An iterator which yields the coordinates of a LineString as Triangles

Source

pub fn close(&mut self)

Close the LineString. Specifically, if the LineString has at least one Coord, and the value of the first Coord does not equal the value of the last Coord, then a new Coord is added to the end with the value of the first Coord.

Source

pub fn num_coords(&self) -> usize

👎Deprecated: Use geo::CoordsIter::coords_count instead

Return the number of coordinates in the LineString.

§Examples
use geo_types::LineString;

let mut coords = vec![(0., 0.), (5., 0.), (7., 9.)];
let line_string: LineString<f32> = coords.into_iter().collect();

assert_eq!(3, line_string.num_coords());
Source

pub fn is_closed(&self) -> bool

Checks if the linestring is closed; i.e. it is either empty or, the first and last points are the same.

§Examples
use geo_types::LineString;

let mut coords = vec![(0., 0.), (5., 0.), (0., 0.)];
let line_string: LineString<f32> = coords.into_iter().collect();
assert!(line_string.is_closed());

Note that we diverge from some libraries (JTS et al), which have a LinearRing type, separate from LineString. Those libraries treat an empty LinearRing as closed by definition, while treating an empty LineString as open. Since we don’t have a separate LinearRing type, and use a LineString in its place, we adopt the JTS LinearRing is_closed behavior in all places: that is, we consider an empty LineString as closed.

This is expected when used in the context of a Polygon.exterior and elsewhere; And there seems to be no reason to maintain the separate behavior for LineStrings used in non-LinearRing contexts.

Trait Implementations§

Source§

impl<T> Clone for LineString<T>
where T: Clone + CoordNum,

Source§

fn clone(&self) -> LineString<T>

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl<T> Debug for LineString<T>
where T: CoordNum,

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter. Read more
Source§

impl<T> From<&Line<T>> for LineString<T>
where T: CoordNum,

Source§

fn from(line: &Line<T>) -> LineString<T>

Converts to this type from the input type.
Source§

impl<T> From<Line<T>> for LineString<T>
where T: CoordNum,

Source§

fn from(line: Line<T>) -> LineString<T>

Converts to this type from the input type.
Source§

impl<T> From<LineString<T>> for Geometry<T>
where T: CoordNum,

Source§

fn from(x: LineString<T>) -> Geometry<T>

Converts to this type from the input type.
Source§

impl<T> From<LineString<T>> for LineString<T>
where T: CoordNum,

Source§

fn from(line_string: LineString<T>) -> LineString<T>

Convert from a WKT LINESTRING to a geo_types::LineString

Source§

impl<T, IC> From<Vec<IC>> for LineString<T>
where T: CoordNum, IC: Into<Coord<T>>,

Turn a Vec of Point-like objects into a LineString.

Source§

fn from(v: Vec<IC>) -> LineString<T>

Converts to this type from the input type.
Source§

impl<T, IC> FromIterator<IC> for LineString<T>
where T: CoordNum, IC: Into<Coord<T>>,

Turn an iterator of Point-like objects into a LineString.

Source§

fn from_iter<I>(iter: I) -> LineString<T>
where I: IntoIterator<Item = IC>,

Creates a value from an iterator. Read more
Source§

impl<'a, T> GeometryTrait for &'a LineString<T>
where T: CoordNum + 'a,

Source§

type T = T

The coordinate type of this geometry
Source§

type PointType<'b> = Point<<&'a LineString<T> as GeometryTrait>::T> where &'a LineString<T>: 'b

The type of each underlying Point, which implements PointTrait
Source§

type LineStringType<'b> = LineString<<&'a LineString<T> as GeometryTrait>::T> where &'a LineString<T>: 'b

The type of each underlying LineString, which implements LineStringTrait
Source§

type PolygonType<'b> = Polygon<<&'a LineString<T> as GeometryTrait>::T> where &'a LineString<T>: 'b

The type of each underlying Polygon, which implements PolygonTrait
Source§

type MultiPointType<'b> = MultiPoint<<&'a LineString<T> as GeometryTrait>::T> where &'a LineString<T>: 'b

The type of each underlying MultiPoint, which implements MultiPointTrait
Source§

type MultiLineStringType<'b> = MultiLineString<<&'a LineString<T> as GeometryTrait>::T> where &'a LineString<T>: 'b

The type of each underlying MultiLineString, which implements MultiLineStringTrait
Source§

type MultiPolygonType<'b> = MultiPolygon<<&'a LineString<T> as GeometryTrait>::T> where &'a LineString<T>: 'b

The type of each underlying MultiPolygon, which implements MultiPolygonTrait
Source§

type GeometryCollectionType<'b> = GeometryCollection<<&'a LineString<T> as GeometryTrait>::T> where &'a LineString<T>: 'b

The type of each underlying GeometryCollection, which implements GeometryCollectionTrait
Source§

type RectType<'b> = Rect<<&'a LineString<T> as GeometryTrait>::T> where &'a LineString<T>: 'b

The type of each underlying Rect, which implements RectTrait
Source§

type TriangleType<'b> = Triangle<<&'a LineString<T> as GeometryTrait>::T> where &'a LineString<T>: 'b

The type of each underlying Triangle, which implements TriangleTrait
Source§

type LineType<'b> = Line<<&'a LineString<T> as GeometryTrait>::T> where &'a LineString<T>: 'b

The type of each underlying Line, which implements LineTrait
Source§

fn dim(&self) -> Dimensions

The dimension of this geometry
Source§

fn as_type( &self, ) -> GeometryType<'_, Point<T>, LineString<T>, Polygon<T>, MultiPoint<T>, MultiLineString<T>, MultiPolygon<T>, GeometryCollection<T>, Rect<T>, Triangle<T>, Line<T>>

Cast this geometry to a GeometryType enum, which allows for downcasting to a specific type
Source§

impl<T> GeometryTrait for LineString<T>
where T: CoordNum,

Source§

type T = T

The coordinate type of this geometry
Source§

type PointType<'b> = Point<<LineString<T> as GeometryTrait>::T> where LineString<T>: 'b

The type of each underlying Point, which implements PointTrait
Source§

type LineStringType<'b> = LineString<<LineString<T> as GeometryTrait>::T> where LineString<T>: 'b

The type of each underlying LineString, which implements LineStringTrait
Source§

type PolygonType<'b> = Polygon<<LineString<T> as GeometryTrait>::T> where LineString<T>: 'b

The type of each underlying Polygon, which implements PolygonTrait
Source§

type MultiPointType<'b> = MultiPoint<<LineString<T> as GeometryTrait>::T> where LineString<T>: 'b

The type of each underlying MultiPoint, which implements MultiPointTrait
Source§

type MultiLineStringType<'b> = MultiLineString<<LineString<T> as GeometryTrait>::T> where LineString<T>: 'b

The type of each underlying MultiLineString, which implements MultiLineStringTrait
Source§

type MultiPolygonType<'b> = MultiPolygon<<LineString<T> as GeometryTrait>::T> where LineString<T>: 'b

The type of each underlying MultiPolygon, which implements MultiPolygonTrait
Source§

type GeometryCollectionType<'b> = GeometryCollection<<LineString<T> as GeometryTrait>::T> where LineString<T>: 'b

The type of each underlying GeometryCollection, which implements GeometryCollectionTrait
Source§

type RectType<'b> = Rect<<LineString<T> as GeometryTrait>::T> where LineString<T>: 'b

The type of each underlying Rect, which implements RectTrait
Source§

type TriangleType<'b> = Triangle<<LineString<T> as GeometryTrait>::T> where LineString<T>: 'b

The type of each underlying Triangle, which implements TriangleTrait
Source§

type LineType<'b> = Line<<LineString<T> as GeometryTrait>::T> where LineString<T>: 'b

The type of each underlying Line, which implements LineTrait
Source§

fn dim(&self) -> Dimensions

The dimension of this geometry
Source§

fn as_type( &self, ) -> GeometryType<'_, Point<T>, LineString<T>, Polygon<T>, MultiPoint<T>, MultiLineString<T>, MultiPolygon<T>, GeometryCollection<T>, Rect<T>, Triangle<T>, Line<T>>

Cast this geometry to a GeometryType enum, which allows for downcasting to a specific type
Source§

impl<T> Hash for LineString<T>
where T: Hash + CoordNum,

Source§

fn hash<__H>(&self, state: &mut __H)
where __H: Hasher,

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
Source§

impl<T> Index<usize> for LineString<T>
where T: CoordNum,

Source§

type Output = Coord<T>

The returned type after indexing.
Source§

fn index(&self, index: usize) -> &Coord<T>

Performs the indexing (container[index]) operation. Read more
Source§

impl<T> IndexMut<usize> for LineString<T>
where T: CoordNum,

Source§

fn index_mut(&mut self, index: usize) -> &mut Coord<T>

Performs the mutable indexing (container[index]) operation. Read more
Source§

impl<'a, T> IntoIterator for &'a LineString<T>
where T: CoordNum,

Source§

type Item = &'a Coord<T>

The type of the elements being iterated over.
Source§

type IntoIter = CoordinatesIter<'a, T>

Which kind of iterator are we turning this into?
Source§

fn into_iter(self) -> <&'a LineString<T> as IntoIterator>::IntoIter

Creates an iterator from a value. Read more
Source§

impl<'a, T> IntoIterator for &'a mut LineString<T>
where T: CoordNum,

Mutably iterate over all the Coords in this LineString

Source§

type Item = &'a mut Coord<T>

The type of the elements being iterated over.
Source§

type IntoIter = IterMut<'a, Coord<T>>

Which kind of iterator are we turning this into?
Source§

fn into_iter(self) -> IterMut<'a, Coord<T>>

Creates an iterator from a value. Read more
Source§

impl<T> IntoIterator for LineString<T>
where T: CoordNum,

Iterate over all the Coords in this LineString.

Source§

type Item = Coord<T>

The type of the elements being iterated over.
Source§

type IntoIter = IntoIter<Coord<T>>

Which kind of iterator are we turning this into?
Source§

fn into_iter(self) -> <LineString<T> as IntoIterator>::IntoIter

Creates an iterator from a value. Read more
Source§

impl<T> LineStringTrait for &LineString<T>
where T: CoordNum,

Source§

type CoordType<'b> = Coord<<&LineString<T> as GeometryTrait>::T> where &LineString<T>: 'b

The type of each underlying coordinate, which implements CoordTrait
Source§

fn num_coords(&self) -> usize

The number of coordinates in this LineString
Source§

unsafe fn coord_unchecked( &self, i: usize, ) -> <&LineString<T> as LineStringTrait>::CoordType<'_>

Access to a specified coordinate in this LineString Read more
Source§

fn coords(&self) -> impl DoubleEndedIterator + ExactSizeIterator

An iterator over the coordinates in this LineString
Source§

fn coord(&self, i: usize) -> Option<Self::CoordType<'_>>

Access to a specified coordinate in this LineString Will return None if the provided index is out of bounds
Source§

impl<T> LineStringTrait for LineString<T>
where T: CoordNum,

Source§

type CoordType<'a> = Coord<<LineString<T> as GeometryTrait>::T> where LineString<T>: 'a

The type of each underlying coordinate, which implements CoordTrait
Source§

fn num_coords(&self) -> usize

The number of coordinates in this LineString
Source§

unsafe fn coord_unchecked( &self, i: usize, ) -> <LineString<T> as LineStringTrait>::CoordType<'_>

Access to a specified coordinate in this LineString Read more
Source§

fn coords(&self) -> impl DoubleEndedIterator + ExactSizeIterator

An iterator over the coordinates in this LineString
Source§

fn coord(&self, i: usize) -> Option<Self::CoordType<'_>>

Access to a specified coordinate in this LineString Will return None if the provided index is out of bounds
Source§

impl<T> PartialEq for LineString<T>
where T: PartialEq + CoordNum,

Source§

fn eq(&self, other: &LineString<T>) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl<T> ToWkt<T> for LineString<T>
where T: CoordNum + Display,

§Examples

use geo_types::{line_string, LineString};
use wkt::ToWkt;

let line_string: LineString<f64> = line_string![(x: 1., y: 2.), (x: 3., y: 4.), (x: 5., y: 6.)];

assert_eq!(line_string.wkt_string(), "LINESTRING(1 2,3 4,5 6)");
Source§

fn to_wkt(&self) -> Wkt<T>

Converts the value of self to an Wkt struct. Read more
Source§

fn write_wkt(&self, writer: impl Write) -> Result<(), Error>

Write a WKT string to a File, or anything else that implements Write. Read more
Source§

fn wkt_string(&self) -> String

Serialize as a WKT string Read more
Source§

impl<T> TryFrom<Geometry<T>> for LineString<T>
where T: CoordNum,

Convert a Geometry enum into its inner type.

Fails if the enum case does not match the type you are trying to convert it to.

Source§

type Error = Error

The type returned in the event of a conversion error.
Source§

fn try_from( geom: Geometry<T>, ) -> Result<LineString<T>, <LineString<T> as TryFrom<Geometry<T>>>::Error>

Performs the conversion.
Source§

impl<T> TryFrom<Wkt<T>> for LineString<T>
where T: CoordNum,

Fallibly convert this WKT primitive into this geo_types primitive

Source§

type Error = Error

The type returned in the event of a conversion error.
Source§

fn try_from( wkt: Wkt<T>, ) -> Result<LineString<T>, <LineString<T> as TryFrom<Wkt<T>>>::Error>

Performs the conversion.
Source§

impl<T> TryFromWkt<T> for LineString<T>
where T: CoordNum + FromStr + Default,

Source§

type Error = Error

Source§

fn try_from_wkt_str( wkt_str: &str, ) -> Result<LineString<T>, <LineString<T> as TryFromWkt<T>>::Error>

Examples Read more
Source§

fn try_from_wkt_reader( wkt_reader: impl Read, ) -> Result<LineString<T>, <LineString<T> as TryFromWkt<T>>::Error>

Examples Read more
Source§

impl<T> Eq for LineString<T>
where T: Eq + CoordNum,

Source§

impl<T> StructuralPartialEq for LineString<T>
where T: CoordNum,

Auto Trait Implementations§

§

impl<T> Freeze for LineString<T>

§

impl<T> RefUnwindSafe for LineString<T>
where T: RefUnwindSafe,

§

impl<T> Send for LineString<T>
where T: Send,

§

impl<T> Sync for LineString<T>
where T: Sync,

§

impl<T> Unpin for LineString<T>
where T: Unpin,

§

impl<T> UnwindSafe for LineString<T>
where T: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, G> ToGeoGeometry<T> for G
where T: CoordNum, G: GeometryTrait<T = T>,

Source§

fn try_to_geometry(&self) -> Option<Geometry<T>>

Convert to a geo_types Geometry. Read more
Source§

fn to_geometry(&self) -> Geometry<T>

Convert to a geo_types Geometry. Read more
Source§

impl<T, G> ToGeoLineString<T> for G
where T: CoordNum, G: LineStringTrait<T = T>,

Source§

fn to_line_string(&self) -> LineString<T>

Convert to a geo_types LineString.
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more