Add VOLUME statement

Change-Id: I9b9180ad6cdc8c9c1a19d89e7459a2d77d070c95

Author: TristanCacqueray

Containerfile/Statement.dhall

@@ -15,6 +15,7 @@ in    < From : Text
       | Entrypoint : List Text
       | Add : List Text
       | Copy : List Text
+      | Volume : List Text
       | Empty
       >
     : Type

Containerfile/package.dhall

@@ -21,6 +21,7 @@ let renderStatement =
           , Expose = prefixText "EXPOSE"
           , Add = prefixTextList "ADD"
           , Copy = prefixTextList "COPY"
+          , Volume = prefixTextList "VOLUME"
           , Entrypoint = prefixTextList "ENTRYPOINT"
           , Env = ./Env.dhall
           , Label = ./Label.dhall

Containerfile/render/Statement.dhall

@@ -0,0 +1,8 @@
+--| A convenient function to create volume
+let Statement = ./Statement.dhall
+
+let volume
+    : List Text -> List Statement
+    = \(volumes : List Text) -> [ Statement.Volume volumes ]
+
+in  volume

Containerfile/volume.dhall

@@ -17,6 +17,7 @@ in    Containerfile.from "fedora"
     # Containerfile.run
         "Install emacs"
         [ "dnf update -y", "dnf install -y emacs-nox", "dnf clean all" ]
+    # Containerfile.volume [ "/data" ]
     # Containerfile.label
         ( toMap
             { description = "a text editor"
@@ -35,6 +36,7 @@ FROM fedora
 # Install emacs
 RUN dnf update -y && dnf install -y emacs-nox && dnf clean all
 
+VOLUME ["/data"]
 LABEL description="a text editor"
 LABEL maintainer="tdecacqu@redhat.com"
 
@@ -72,6 +74,7 @@ in    < From : Text
       | Entrypoint : List Text
       | Add : List Text
       | Copy : List Text
+      | Volume : List Text
       | Empty
       >
     : Type

README.md

@@ -5,6 +5,7 @@ in    Containerfile.from "fedora"
     # Containerfile.run
         "Install emacs"
         [ "dnf update -y", "dnf install -y emacs-nox", "dnf clean all" ]
+    # Containerfile.volume [ "/data" ]
     # Containerfile.label
         ( toMap
             { description = "a text editor"