@sdboyer/thema-ui 0.0.0-bootstrap.0 → 0.1.0

package/errors/E0412.md

@@ -0,0 +1,59 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E0412: a lacunas key names a mapping the lens does not have
+
+A lacunas key names a mapping of the lens. A key that names none is usually a
+typo. A derived mapping, such as the backward drop of a field the version
+added, is not one: to refine its lacuna, write the drop.
+
+## Example
+
+`ship/history/0.0.thema`:
+
+```cue
+Schema: {
+	firstfield: string
+}
+```
+
+`ship/history/1.0.thema`:
+
+```cue
+Schema: {
+	firstfield:  string
+	secondfield: int
+}
+
+ForwardLens: {
+	v0_0: _
+	v1_0: {
+		secondfield: -1
+	}
+	lacunas: {
+		secondfeild: [{
+			type:    Placeholder
+			message: "-1 is a placeholder"
+		}]
+	}
+}
+```
+
+`ship/tip.thema`:
+
+```cue
+Schema: {
+	firstfield:  string
+	secondfield: int
+}
+```
+
+thema reports:
+
+```
+error[E0412]: lacunas.secondfeild: ForwardLens has no mapping keyed secondfeild
+  --> history/1.0.thema:12:17
+   |
+12 |         secondfeild: [{
+   |                       ^
+   |
+```

package/errors/E0413.md

@@ -0,0 +1,74 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E0413: a lacuna on a mapping inside _each
+
+A lacuna on a mapping inside an each body would have to aggregate over the
+list's elements. That is not supported yet; only a DroppedField lacuna on a
+drop inside the body is, refining the drop's own.
+
+## Example
+
+`ship/history/0.0.thema`:
+
+```cue
+Schema: {
+	items: [...{
+		title?: string
+	}]
+}
+```
+
+`ship/history/1.0.thema`:
+
+```cue
+Schema: {
+	items: [...{
+		name: string
+	}]
+}
+
+ForwardLens: {
+	v0_0: _
+	v1_0: {
+		items: _each(v0_0.items, {
+			name: _coalesce(_item.title, "untitled")
+		})
+	}
+	lacunas: {
+		items: {
+			name: [{
+				type:    Placeholder
+				message: "the item had no title"
+			}]
+		}
+	}
+}
+
+BackwardLens: {
+	v1_0: _
+	v0_0: {
+		items: _each(v1_0.items, {
+			title: _item.name
+		})
+	}
+}
+```
+
+`ship/tip.thema`:
+
+```cue
+Schema: {
+	items: [...{name: string}]
+}
+```
+
+thema reports:
+
+```
+error[E0413]: lacunas.items.name: a lacuna on a mapping inside _each is not supported yet; a DroppedField lacuna on a _drop refines the _drop's
+  --> history/1.0.thema:16:11
+   |
+16 |             name: [{
+   |                    ^
+   |
+```

package/errors/E0414.md

@@ -0,0 +1,53 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E0414: a _match's catch-all arm has no lacuna
+
+A match's `[_]` arm collapses every value no other arm matches into one, which
+loses information. It must say so, with a lacuna keyed by the mapping.
+
+## Example
+
+`ship/history/0.0.thema`:
+
+```cue
+Schema: {
+	kind: string
+}
+```
+
+`ship/history/1.0.thema`:
+
+```cue
+Schema: {
+	kind: int
+}
+
+ForwardLens: {
+	v0_0: _
+	v1_0: {
+		kind: _match(v0_0.kind, {
+			"a": 1
+			[_]: 0
+		})
+	}
+}
+```
+
+`ship/tip.thema`:
+
+```cue
+Schema: {
+	kind: int
+}
+```
+
+thema reports:
+
+```
+error[E0414]: the [_] arm collapses every unmatched value into one: declare what is lost in lacunas: {kind: [{type: Type, message: "..."}]}
+  --> history/1.0.thema:10:4
+   |
+10 |             [_]: 0
+   |             ^
+   |
+```

package/errors/E0415.md

@@ -0,0 +1,72 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E0415: a lacuna on _each has no when
+
+A lacuna applies under the condition its mapping implies; an each implies
+none, since it maps every element. A lacuna on an each says when it applies
+with `when`.
+
+## Example
+
+`ship/history/0.0.thema`:
+
+```cue
+Schema: {
+	items: [...{
+		title: string
+	}]
+}
+```
+
+`ship/history/1.0.thema`:
+
+```cue
+Schema: {
+	items: [...{
+		name: string
+	}]
+}
+
+ForwardLens: {
+	v0_0: _
+	v1_0: {
+		items: _each(v0_0.items, {
+			name: _item.title
+		})
+	}
+	lacunas: {
+		items: [{
+			type:    LossyFieldMapping
+			message: "titles were renamed"
+		}]
+	}
+}
+
+BackwardLens: {
+	v1_0: _
+	v0_0: {
+		items: _each(v1_0.items, {
+			title: _item.name
+		})
+	}
+}
+```
+
+`ship/tip.thema`:
+
+```cue
+Schema: {
+	items: [...{name: string}]
+}
+```
+
+thema reports:
+
+```
+error[E0415]: lacunas.items: a lacuna on _each needs when: <condition>
+  --> history/1.0.thema:15:11
+   |
+15 |         items: [{
+   |                 ^
+   |
+```

package/errors/E0416.md

@@ -0,0 +1,67 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E0416: a _drop has a lacuna that is not its one DroppedField refinement
+
+A drop derives a DroppedField lacuna of its own; a DroppedField lacuna written
+on the drop refines that one's message, so there is at most one.
+
+## Example
+
+`ship/history/0.0.thema`:
+
+```cue
+Schema: {
+	a: string
+	b: int
+}
+```
+
+`ship/history/1.0.thema`:
+
+```cue
+Schema: {
+	a: string
+}
+
+ForwardLens: {
+	v0_0: _
+	v1_0: {
+		b: _drop
+	}
+	lacunas: {
+		b: [{
+			type:    DroppedField
+			message: "b is gone"
+		}, {
+			type:    DroppedField
+			message: "b is really gone"
+		}]
+	}
+}
+
+BackwardLens: {
+	v1_0: _
+	v0_0: {
+		b: 0
+	}
+}
+```
+
+`ship/tip.thema`:
+
+```cue
+Schema: {
+	a: string
+}
+```
+
+thema reports:
+
+```
+error[E0416]: lacunas.b: a _drop has one DroppedField lacuna, which refines the one it derives
+  --> history/1.0.thema:14:6
+   |
+14 |         }, {
+   |            ^
+   |
+```

package/errors/E0418.md

@@ -0,0 +1,59 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E0418: a condition refers to a name a lens does not define
+
+A lacuna's `when` refers to the lens's source instance and to CUE's builtins,
+and to nothing else. A bare name that is neither is undefined.
+
+## Example
+
+`ship/history/0.0.thema`:
+
+```cue
+Schema: {
+	a: string
+}
+```
+
+`ship/history/1.0.thema`:
+
+```cue
+Schema: {
+	a: string
+	b: int
+}
+
+ForwardLens: {
+	v0_0: _
+	v1_0: {
+		b: 0
+	}
+	lacunas: {
+		b: [{
+			type:    Placeholder
+			message: "0 is a placeholder"
+			when:    threshold > 1
+		}]
+	}
+}
+```
+
+`ship/tip.thema`:
+
+```cue
+Schema: {
+	a: string
+	b: int
+}
+```
+
+thema reports:
+
+```
+error[E0418]: threshold is not defined in a lens; an expression refers to v0_0, to len, quo, rem, div, mod and to the strings functions
+  --> history/1.0.thema:15:13
+   |
+15 |             when:    threshold > 1
+   |                      ^^^^^^^^^
+   |
+```

package/errors/E0420.md

@@ -0,0 +1,71 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E0420: a lacuna on a _match with no catch-all arm has no when
+
+A lacuna on a match applies when its `[_]` arm does. A match with no `[_]`
+arm implies no condition, so a lacuna on it must say when it applies with
+`when`.
+
+## Example
+
+`ship/history/0.0.thema`:
+
+```cue
+Schema: {
+	aunion: *"foo" | "bar" | "baz"
+}
+```
+
+`ship/history/1.0.thema`:
+
+```cue
+Schema: {
+	aunion: "foo" | *"bar" | "baz"
+}
+
+ForwardLens: {
+	v0_0: _
+	v1_0: {
+		aunion: _match(v0_0.aunion, {"foo": "bar"})
+	}
+	lacunas: {
+		aunion: [{
+			type:    ChangedDefault
+			message: "the default changed"
+		}]
+	}
+}
+
+BackwardLens: {
+	v1_0: _
+	v0_0: {
+		aunion: _match(v1_0.aunion, {"bar": "foo"})
+	}
+	lacunas: {
+		aunion: [{
+			type:    ChangedDefault
+			message: "the default changed"
+			when:    v1_0.aunion == "bar"
+		}]
+	}
+}
+```
+
+`ship/tip.thema`:
+
+```cue
+Schema: {
+	aunion: "foo" | *"bar" | "baz"
+}
+```
+
+thema reports:
+
+```
+error[E0420]: lacunas.aunion: a lacuna on a _match applies when its [_] arm does, and this _match has none: say when it applies with when: <condition>
+  --> history/1.0.thema:11:12
+   |
+11 |         aunion: [{
+   |                  ^
+   |
+```

package/errors/E0421.md

@@ -0,0 +1,82 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E0421: a lacuna on a _drop inside _each has a when
+
+A drop inside an each body aggregates over the list: its lacuna applies when
+any element had the field. Such a lacuna has no `when` of its own.
+
+## Example
+
+`ship/history/0.0.thema`:
+
+```cue
+Schema: {
+	items: [...{
+		name:    string
+		legacy?: string
+	}]
+}
+```
+
+`ship/history/1.0.thema`:
+
+```cue
+Schema: {
+	items: [...{
+		name: string
+	}]
+}
+
+ForwardLens: {
+	v0_0: _
+	v1_0: {
+		items: _each(v0_0.items, {
+			legacy: _drop
+		})
+	}
+	lacunas: {
+		items: {
+			legacy: [{
+				type:    DroppedField
+				message: "legacy was dropped"
+				when:    len(v0_0.items) > 1
+			}]
+		}
+	}
+}
+
+BackwardLens: {
+	v1_0: _
+	v0_0: {
+		items: _each(v1_0.items, {
+			name: _item.name
+		})
+	}
+}
+```
+
+`ship/tip.thema`:
+
+```cue
+Schema: {
+	items: [...{name: string}]
+}
+```
+
+thema reports:
+
+```
+error[E0421]: lacunas.items.legacy: a _drop inside _each aggregates over the list, and its lacuna has no when
+  --> history/1.0.thema:19:14
+   |
+19 |                 when:    len(v0_0.items) > 1
+   |                          ^^^
+   |
+
+error[E0413]: lacunas.items.legacy: a lacuna on a mapping inside _each is not supported yet; a DroppedField lacuna on a _drop refines the _drop's
+  --> history/1.0.thema:16:13
+   |
+16 |             legacy: [{
+   |                      ^
+   |
+```

package/errors/E0422.md

@@ -0,0 +1,82 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E0422: a when names a field that is not a condition
+
+A when names a field bare, which tests a field's presence when the field is
+optional; a field that is always present is not a condition. Compare it with
+something to make one.
+
+## Example
+
+`ship/history/0.0.thema`:
+
+```cue
+Schema: {
+	name: string
+	count: int
+}
+```
+
+`ship/history/1.0.thema`:
+
+```cue
+Schema: {
+	name: string
+}
+
+ForwardLens: {
+	v0_0: _
+	v1_0: {
+		name:  v0_0.name
+		count: _drop(v0_0.count)
+	}
+	lacunas: {
+		count: [{
+			type:    DroppedField
+			message: "count is gone"
+			when:    v0_0.name
+		}]
+	}
+}
+
+BackwardLens: {
+	v1_0: _
+	v0_0: {
+		name:  v1_0.name
+		count: 0
+	}
+}
+```
+
+`ship/tip.thema`:
+
+```cue
+Schema: {
+	name: string
+}
+```
+
+thema reports:
+
+```
+error[E0418]: _drop is not defined in a lens; an expression refers to v0_0, to len, quo, rem, div, mod and to the strings functions
+ --> history/1.0.thema:9:10
+  |
+9 |         count: _drop(v0_0.count)
+  |                ^^^^^
+  |
+
+error[E0422]: v0_0.name is string, not a condition: compare it; an optional field named bare tests its presence
+  --> history/1.0.thema:15:13
+   |
+15 |             when:    v0_0.name
+   |                      ^^^^
+   |
+
+error[E0347]: 0.0 declares count and 1.0 does not, and nothing maps it: write <field>: v0_0.count to move it, or count: _drop
+ --> history/1.0.thema:5:1
+  |
+5 | ForwardLens: {
+  | ^^^^^^^^^^^
+  |
+```

package/errors/E0423.md

@@ -0,0 +1,83 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E0423: a when tests the presence of a field it also reads
+
+A condition that reads an optional field concerns only the instances that
+have it, so testing its presence as well says nothing more. Drop the presence
+test; to test presence alone, name the field bare.
+
+## Example
+
+`ship/history/0.0.thema`:
+
+```cue
+Schema: {
+	name: string
+	count?: int
+}
+```
+
+`ship/history/1.0.thema`:
+
+```cue
+Schema: {
+	name: string
+}
+
+ForwardLens: {
+	v0_0: _
+	v1_0: {
+		name:  v0_0.name
+		count: _drop(v0_0.count)
+	}
+	lacunas: {
+		count: [{
+			type:    DroppedField
+			message: "a large count is gone"
+			when:    v0_0.count != _|_ && v0_0.count > 10
+		}]
+	}
+}
+
+BackwardLens: {
+	v1_0: _
+	v0_0: {
+		name: v1_0.name
+	}
+}
+```
+
+`ship/tip.thema`:
+
+```cue
+Schema: {
+	name: string
+}
+```
+
+thema reports:
+
+```
+error[E0418]: _drop is not defined in a lens; an expression refers to v0_0, to len, quo, rem, div, mod and to the strings functions
+ --> history/1.0.thema:9:10
+  |
+9 |         count: _drop(v0_0.count)
+  |                ^^^^^
+  |
+
+error[E0423]: this condition tests the presence of v0_0.count, which it also reads
+  --> history/1.0.thema:15:13
+   |
+15 |             when:    v0_0.count != _|_ && v0_0.count > 10
+   |                      ^^^^
+   |
+   = note: a condition reading an optional field concerns only the instances that have it, so testing its presence says nothing more
+   = help: drop the presence test; to test presence alone, write when: v0_0.count
+
+error[E0347]: 0.0 declares count and 1.0 does not, and nothing maps it: write <field>: v0_0.count to move it, or count: _drop
+ --> history/1.0.thema:5:1
+  |
+5 | ForwardLens: {
+  | ^^^^^^^^^^^
+  |
+```