Make properties of Coordinates readonly

geo-io · Jan 20, 2022 · da124bc · da124bc
1 parent 2d7210b
commit da124bc
Showing 1 changed file with 4 additions and 7 deletions.
diff --git a/src/Coordinates.php b/src/Coordinates.php
@@ -4,16 +4,13 @@
 
 namespace GeoIO;
 
-/**
- * @psalm-immutable
- */
 final class Coordinates
 {
     public function __construct(
-        public float $x,
-        public float $y,
-        public ?float $z = null,
-        public ?float $m = null,
+        public readonly float $x,
+        public readonly float $y,
+        public readonly ?float $z = null,
+        public readonly ?float $m = null,
     ) {
     }
 }