Dhall Documentation

Description

This module defines a `Size` type and provides functions to map specific `Size` values
to agent tags in the form of a Dhall map.
- **Purpose**: The code maps `Size` enum values to corresponding agent tags, which are
represented as a map of `Text` keys and values. This is useful for categorizing or
tagging agents based on their size or purpose.
- **Inputs**:
- `Size`: An enum type with the following possible values:
- `XLarge`
- `Large`
- `Medium`
- `Small`
- `Integration`
- `QA`
- `Hardfork`
- `Multi`
- `Perf`
- **Outputs**:
- `toAgentTag`: A function that takes a `Size` value and returns a map of agent tags
(`Map Text Text`) corresponding to the given size.
- `toAgent`: A function that takes a `Size` value and returns an optional map
(`Optional (Map Text Text)`) of agent tags. If the resulting map is empty, it
returns `None`.

Source

let Prelude = ../External/Prelude.dhall

let Map = Prelude.Map

let Size =
      < XLarge
      | Large
      | Medium
      | Small
      | Integration
      | QA
      | Hardfork
      | Multi
      | Perf
      >

let toAgentTag =
      \(target : Size) ->
        merge
          { XLarge = toMap { size = "generic" }
          , Large = toMap { size = "generic" }
          , Medium = toMap { size = "generic" }
          , Small = toMap { size = "generic" }
          , Integration = toMap { size = "integration" }
          , QA = toMap { size = "qa" }
          , Hardfork = toMap { size = "hardfork" }
          , Perf = toMap { size = "perf" }
          , Multi = toMap { size = "generic-multi" }
          }
          target

let toAgent =
      \(target : Size) ->
        let agents = toAgentTag target

        in  if    Prelude.List.null (Map.Entry Text Text) agents
            then  None (Map.Type Text Text)
            else  Some agents

in  { Type = Size, toAgentTag, toAgent }