@reventlessdev/trait-address-geocoding 1.0.0-alpha.1 → 1.0.0-alpha.3
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@reventlessdev/trait-address-geocoding",
|
|
3
|
-
"version": "1.0.0-alpha.
|
|
3
|
+
"version": "1.0.0-alpha.3",
|
|
4
4
|
"description": "Address-geocoding domain trait: rules, host contract, conformance suite and emitter for grafting geocoding onto an aggregate",
|
|
5
5
|
"license": "Apache-2.0",
|
|
6
6
|
"files": [
|
|
@@ -13,10 +13,10 @@
|
|
|
13
13
|
"dependencies": {
|
|
14
14
|
"sury": "11.0.0-rc.2",
|
|
15
15
|
"sury-ppx": "11.0.0-rc.2",
|
|
16
|
-
"@reventlessdev/reventless-
|
|
17
|
-
"@reventlessdev/reventless-
|
|
18
|
-
"@reventlessdev/reventless-ppx": "1.0.0-alpha.
|
|
19
|
-
"@reventlessdev/reventless-spec": "3.0.0-alpha.
|
|
16
|
+
"@reventlessdev/reventless-gwt": "1.0.0-alpha.201",
|
|
17
|
+
"@reventlessdev/reventless-infra": "3.0.0-alpha.155",
|
|
18
|
+
"@reventlessdev/reventless-ppx": "1.0.0-alpha.76",
|
|
19
|
+
"@reventlessdev/reventless-spec": "3.0.0-alpha.127"
|
|
20
20
|
},
|
|
21
21
|
"devDependencies": {
|
|
22
22
|
"rescript": "12.3.0"
|
package/src/AddressGeocoding.res
CHANGED
|
@@ -102,11 +102,11 @@ The two commands a caller changes the address through, as constructors a host
|
|
|
102
102
|
splices into its own command type.
|
|
103
103
|
|
|
104
104
|
These are public, and that is what kept them out of the trait until now. Both
|
|
105
|
-
are legal only while the entity is in some state the HOST names, and
|
|
106
|
-
|
|
107
|
-
|
|
108
|
-
stayed hand-written in every host, which is the
|
|
109
|
-
still had to transcribe.
|
|
105
|
+
are legal only while the entity is in some state the HOST names, and the
|
|
106
|
+
attribute that used to declare that could not be attached to a constructor a
|
|
107
|
+
host did not declare — it lowered to a dict on the parent union, and a spread
|
|
108
|
+
splices members. So the pair stayed hand-written in every host, which is the
|
|
109
|
+
whole of what a spreading host still had to transcribe.
|
|
110
110
|
|
|
111
111
|
`commandTransition` is what freed them: the host answers for them in an
|
|
112
112
|
exhaustive switch, in its own lifecycle vocabulary, and the compiler will not let
|
|
@@ -24,8 +24,8 @@ and a host that needs it says so.
|
|
|
24
24
|
|
|
25
25
|
**What it does not do.** It never writes the host's policy. Which states an
|
|
26
26
|
address may be changed in, who may change it, what a host's own commands refuse
|
|
27
|
-
— those are
|
|
28
|
-
a trait cannot know. They are config when the host supplies them and absent
|
|
27
|
+
— those are `commandTransition` and `@authorize` over the host's own lifecycle,
|
|
28
|
+
which a trait cannot know. They are config when the host supplies them and absent
|
|
29
29
|
when it does not.
|
|
30
30
|
*/
|
|
31
31
|
|
|
@@ -358,8 +358,8 @@ let conformanceBinding = (c: config): string => {
|
|
|
358
358
|
// host choice: a report must be legal in every state, or an answer landing after
|
|
359
359
|
// the entity moved on parks a TODO row forever. The two public commands are the
|
|
360
360
|
// host's call, so they are printed as a marked hole. That split is the same one
|
|
361
|
-
// the whole scaffold runs on, and it is why
|
|
362
|
-
//
|
|
361
|
+
// the whole scaffold runs on, and it is why an attribute could not serve here:
|
|
362
|
+
// one cannot be attached to a constructor the host did not declare.
|
|
363
363
|
let transitionArms = (c: config): array<string> => {
|
|
364
364
|
let n = namesOf(c)
|
|
365
365
|
[
|