From 09e94a5da88cc3bf8612ed1f182dd48da6ec87fd Mon Sep 17 00:00:00 2001
From: Gabriella Gonzalez <Gabriel439@gmail.com>
Date: Mon, 29 Nov 2021 15:34:42 -0800
Subject: [PATCH] Format example Dhall expression
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

… and also fix the Dhall comment syntax
---
 README.md | 50 ++++++++++++++++++++++++++------------------------
 1 file changed, 26 insertions(+), 24 deletions(-)

diff --git a/README.md b/README.md
index a5ca322..66659f6 100644
--- a/README.md
+++ b/README.md
@@ -31,37 +31,39 @@ terraform {
 ```
 
 ```dhall
-# assets_access.dhall
+-- assets_access.dhall
 let predicate =
       https://raw.githubusercontent.com/mjgpy3/iam-dhall/20bcc9c507d353fb3736a633280239a922b91aa6/policy.dhall
 
 let policy =
       https://raw.githubusercontent.com/mjgpy3/iam-dhall/20bcc9c507d353fb3736a633280239a922b91aa6/output.dhall
 
-let Aws : Type = { accountId : Text, region : Text }
+let Aws
+    : Type
+    = { accountId : Text, region : Text }
 
-{- Grant access to list the objects on a store, and get any object -}
-let listGetBucketAccess = \(bucket: Text) ->
-  [   predicate.serviceAllow 
-        predicate.Service.S3
-        [ "ListBucket" ]
-        [ bucket ]
-    // { sid = "ListObjects" }
-  ,   predicate.serviceAllow 
-        predicate.Service.S3
-        [ "GetObject" ]
-        [ "${bucket}/*" ]
-    // { sid = "GetObject" }
-  ]
+let listGetBucketAccess =
+      \(bucket : Text) ->
+        [     predicate.serviceAllow
+                predicate.Service.S3
+                [ "ListBucket" ]
+                [ bucket ]
+          //  { sid = "ListObjects" }
+        ,     predicate.serviceAllow
+                predicate.Service.S3
+                [ "GetObject" ]
+                [ "${bucket}/*" ]
+          //  { sid = "GetObject" }
+        ]
 
-let assetsAccess = \(aws: Aws) ->
-  policy
-  aws
-  (
-    {- merge access to public-assets and static-assets -}
-      ( listGetBucketAccess "public-assets" )
-    # ( listGetBucketAccess "static-assets" )
-  )
+let assetsAccess =
+      \(aws : Aws) ->
+        policy
+          aws
+          (   listGetBucketAccess "public-assets"
+            # listGetBucketAccess "static-assets"
+          )
+
+in  assetsAccess
 
-in assetsAccess
 ```