Merge pull request #16 from paulrbr-fl/add-default-correlation-idv0.10

config(dhall): add parameter 'generator' to CorrelationID plugin

2 files changed, 21 insertions, 9 deletions

diff --git a/dhall/server/service/plugin/Config.dhall b/dhall/server/service/plugin/Config.dhall
index d54436b..ea53361 100644
--- a/dhall/server/service/plugin/Config.dhall
+++ b/dhall/server/service/plugin/Config.dhall
@@ -1,9 +1,9 @@
 < CorrelationId :
-        { header_name : Text, echo_downstream : Bool }
+        { header_name : Text, echo_downstream : Bool, generator : Text }
 | RequestTransformer :
         { add : { headers : List Text } }
 | RequestTermination :
         { status_code : Natural, content_type : Text, body : Text }
 | IPRestriction :
         { whitelist : Text }
->
\ No newline at end of file
+>
diff --git a/dhall/server/service/plugin/CorrelationId.dhall b/dhall/server/service/plugin/CorrelationId.dhall
index 655cd8d..fc69f4f 100644
--- a/dhall/server/service/plugin/CorrelationId.dhall
+++ b/dhall/server/service/plugin/CorrelationId.dhall
@@ -2,10 +2,22 @@ let Plugin = ./Plugin.dhall
 
 let config = ./Config.dhall
 
-in    { name =
-                  "correlation-id"
-          , config =
-                  config.CorrelationId
-                  { header_name = "X-correl", echo_downstream = True }
-          }
-        : Plugin
+in    λ(generator : Optional Text)
+        →   { name =
+                        "correlation-id"
+                , config =
+                        config.CorrelationId
+                        { header_name =
+                                "X-correl"
+                        , echo_downstream =
+                                True
+                        , generator =
+                                Optional/fold
+                                Text
+                                generator
+                                Text
+                                (λ(t : Text) → t)
+                                "uuid#counter"
+                        }
+                }
+          : Plugin