From 175b14951e46b4d980839fd719b8b7a64968c073 Mon Sep 17 00:00:00 2001
From: Clement Delafargue <clement.delafargue@fretlink.com>
Date: Mon, 1 Jul 2019 16:32:58 +0200
Subject: dhall: expose optional fields as optional values

Instead of `nonifying` them
---
 dhall/Config.dhall | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'dhall/Config.dhall')

diff --git a/dhall/Config.dhall b/dhall/Config.dhall
index db063b7..c095403 100644
--- a/dhall/Config.dhall
+++ b/dhall/Config.dhall
@@ -10,17 +10,17 @@ in    λ(Environment : Type)
       , clever_token :
           Text
       , clever_syslog_server :
-          Text
+          Optional Text
       , clever_domain :
-          Text
+          Optional Text
       , clever_app_tasks_file :
-          Text
+          Optional Text
       , clever_haskell_entry_point :
-          Text
+          Optional Text
       , clever_metrics :
           Bool
       , clever_addons :
           List Addon
       , clever_env :
           Environment
-      }
\ No newline at end of file
+      }
-- 
cgit v1.2.3