let Function = ../cloudformation/AWS::Lambda::Function.dhall

let Permission = ../cloudformation/AWS::Lambda::Permission.dhall

let Role = ../cloudformation/AWS::IAM::Role.dhall

let JSON = (../Prelude.dhall).JSON

let Fn = ../Fn.dhall

let s = Fn.renderText

let fn = Fn.render

let example0 =
      { AWSTemplateFormatVersion = "2010-09-09"
      , Resources =
        { HelloWorldFunction = Function.Resources::{
          , Properties = Function.Properties::{
            , Handler = Some (s "index.handler")
            , Code = Function.Code::{
              , S3Bucket = Some (s "lambda-functions")
              , S3Key = Some (s "amilookup.zip")
              }
            , Runtime = Some (s "nodejs12.x")
            , Role = fn (Role.GetAttr.Arn "HelloWorldFunctionRole")
            , Timeout = Some +25
            , TracingConfig = Some { Mode = Some (s "Active") }
            }
          }
        , HelloWorldFunctionRole = Role.Resources::{
          , Properties = Role.Properties::{
            , AssumeRolePolicyDocument =
                JSON.object
                  ( toMap
                      { Version = JSON.string "2012-10-17"
                      , Statement =
                          JSON.array
                            [ JSON.object
                                ( toMap
                                    { Action =
                                        JSON.array
                                          [ JSON.string "sts:AssumeRole" ]
                                    , Effect = JSON.string "Allow"
                                    , Principal =
                                        JSON.object
                                          ( toMap
                                              { Service =
                                                  JSON.array
                                                    [ JSON.string
                                                        "lambda.amazoneaws.com"
                                                    ]
                                              }
                                          )
                                    }
                                )
                            ]
                      }
                  )
            , ManagedPolicyArns = Some
              [ s
                  "arn:aws:iam::aws:policy/service-role/AWSLambdaBasicExecutionRole"
              ]
            , Tags = Some [ { Key = "Name", Value = "Hello World Function" } ]
            }
          }
        , Permission = Permission.Resources::{
          , Properties = Permission.Properties::{
            , Action = s "lambda:InvokeFunction"
            , FunctionName = fn (Fn.Ref "HelloWorldFunction")
            , Principal = s "apigateway.amazonaws.com"
            }
          }
        }
      }

in  example0