From 7cc1c8e5ddbf0e395414326c6aed84e7d507ca7b Mon Sep 17 00:00:00 2001
From: Tom Chauveau <tom.chauveau@epitech.eu>
Date: Tue, 31 Aug 2021 13:05:22 +0200
Subject: [PATCH] Update docker package according to `op.#PushContainer`
 improvement

Signed-off-by: Tom Chauveau <tom.chauveau@epitech.eu>
---
 stdlib/docker/docker.cue | 38 +++++++++++++++++++-------------------
 1 file changed, 19 insertions(+), 19 deletions(-)

diff --git a/stdlib/docker/docker.cue b/stdlib/docker/docker.cue
index 8cacf6ef..d61c8b7b 100644
--- a/stdlib/docker/docker.cue
+++ b/stdlib/docker/docker.cue
@@ -8,7 +8,7 @@ import (
 
 // Build a Docker image from source, using included Dockerfile
 #Build: {
-	source: dagger.#Artifact @dagger(input)
+	source: dagger.#Input & {dagger.#Artifact}
 
 	#up: [
 		op.#DockerBuild & {
@@ -21,7 +21,7 @@ import (
 // Pull a docker container
 #Pull: {
 	// Remote ref (example: "index.docker.io/alpine:latest")
-	from: string @dagger(input)
+	from: dagger.#Input & {string}
 
 	#up: [
 		op.#FetchContainer & {ref: from},
@@ -31,18 +31,18 @@ import (
 // Push a docker image to a remote registry
 #Push: {
 	// Remote target (example: "index.docker.io/alpine:latest")
-	target: string @dagger(input)
+	target: dagger.#Input & {string}
 
 	// Image source
-	source: dagger.#Artifact @dagger(input)
+	source: dagger.#Input & {dagger.#Artifact}
 
 	// Registry auth
 	auth?: {
 		// Username
-		username: string @dagger(input)
+		username: dagger.#Input & {string}
 
 		// Password or secret
-		secret: string @dagger(input)
+		secret: dagger.#Input & {dagger.#Secret | string}
 	}
 
 	push: #up: [
@@ -72,7 +72,7 @@ import (
 				source: "/image_ref"
 			},
 		]
-	} @dagger(output)
+	} & dagger.#Output
 
 	// Image digest
 	digest: {
@@ -85,43 +85,43 @@ import (
 				source: "/image_digest"
 			},
 		]
-	} @dagger(output)
+	} & dagger.#Output
 }
 
 #Run: {
 	// Connect to a remote SSH server
 	ssh: {
 		// ssh host
-		host: string @dagger(input)
+		host: dagger.#Input & {string}
 
 		// ssh user
-		user: string @dagger(input)
+		user: dagger.#Input & {string}
 
 		// ssh port
-		port: *22 | int @dagger(input)
+		port: dagger.#Input & {*22 | int}
 
 		// private key
-		key: dagger.#Secret @dagger(input)
+		key: dagger.#Input & {dagger.#Secret}
 
 		// fingerprint
-		fingerprint?: string @dagger(input)
+		fingerprint?: dagger.#Input & {string}
 
 		// ssh key passphrase
-		keyPassphrase?: dagger.#Secret @dagger(input)
+		keyPassphrase?: dagger.#Input & {dagger.#Secret}
 	}
 
 	// Image reference (e.g: nginx:alpine)
-	ref: string @dagger(input)
+	ref: dagger.#Input & {string}
 
 	// Container name
-	name?: string @dagger(input)
+	name?: dagger.#Input & {string}
 
 	// Image registry
 	registry?: {
 		target:   string
 		username: string
 		secret:   dagger.#Secret
-	} @dagger(input)
+	} & dagger.#Input
 
 	#command: #"""
 		# Run detach container
@@ -150,10 +150,10 @@ import (
 // FIXME: incorporate into #Build
 #ImageFromDockerfile: {
 	// Dockerfile passed as a string
-	dockerfile: string @dagger(input)
+	dockerfile: dagger.#Input & {string}
 
 	// Build context
-	context: dagger.#Artifact @dagger(input)
+	context: dagger.#Input & {dagger.#Artifact}
 
 	#up: [
 		op.#DockerBuild & {