diff options
Diffstat (limited to 'dhall')
| -rw-r--r-- | dhall/server/service/plugin/correlationId.dhall | 24 |
1 files changed, 9 insertions, 15 deletions
diff --git a/dhall/server/service/plugin/correlationId.dhall b/dhall/server/service/plugin/correlationId.dhall index d5d5928..41c5720 100644 --- a/dhall/server/service/plugin/correlationId.dhall +++ b/dhall/server/service/plugin/correlationId.dhall | |||
| @@ -2,22 +2,16 @@ let Plugin = ./Plugin.dhall | |||
| 2 | 2 | ||
| 3 | let config = ./Config.dhall | 3 | let config = ./Config.dhall |
| 4 | 4 | ||
| 5 | in λ(generator : Optional Text) | 5 | in λ(generator : Optional Text) → |
| 6 | → { name = | 6 | { name = "correlation-id" |
| 7 | "correlation-id" | ||
| 8 | , config = | 7 | , config = |
| 9 | config.CorrelationId | 8 | config.CorrelationId |
| 10 | { header_name = | 9 | { header_name = "X-correl" |
| 11 | "X-correl" | 10 | , echo_downstream = True |
| 12 | , echo_downstream = | 11 | , generator = |
| 13 | True | 12 | merge |
| 14 | , generator = | 13 | { None = "uuid#counter", Some = λ(x : Text) → x } |
| 15 | Optional/fold | 14 | generator |
| 16 | Text | 15 | } |
| 17 | generator | ||
| 18 | Text | ||
| 19 | (λ(t : Text) → t) | ||
| 20 | "uuid#counter" | ||
| 21 | } | ||
| 22 | } | 16 | } |
| 23 | : Plugin | 17 | : Plugin |