chore!: Make dagger.#Address private

BREAKING CHANGE: don’t use `dagger.#Address`.

Signed-off-by: Helder Correia <174525+helderco@users.noreply.github.com>
This commit is contained in:
Helder Correia 2022-04-14 23:26:17 +00:00
parent b6c3f91d45
commit 543d29bbb1
No known key found for this signature in database
GPG Key ID: C6490D872EF1DCA7
2 changed files with 5 additions and 6 deletions

View File

@ -24,7 +24,7 @@ package dagger
} }
// Access client network endpoints // Access client network endpoints
network: [address=#Address]: _#clientNetwork & { network: [address=_#address]: _#clientNetwork & {
"address": address "address": address
} }
@ -97,7 +97,7 @@ _#clientNetwork: {
// URL to the socket // URL to the socket
// Example: unix:///var/run/docker.sock // Example: unix:///var/run/docker.sock
address: #Address address: _#address
{ {
// unix socket or npipe // unix socket or npipe
@ -108,6 +108,9 @@ _#clientNetwork: {
} }
} }
// A network service address
_#address: string & =~"^(unix://|npipe://).+"
_#clientEnv: { _#clientEnv: {
$dagger: task: _name: "ClientEnv" $dagger: task: _name: "ClientEnv"

View File

@ -32,7 +32,3 @@ package dagger
#Socket: { #Socket: {
$dagger: service: _id: string $dagger: service: _id: string
} }
// A network service address
#Address: string & =~"^(unix://|npipe://).+"
// TODO: #Address: string & =~"^(tcp://|unix://|npipe://|udp://).+"