ReplayEnvelope.hs

-- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from mapped structural ReplayEnvelope; do not edit.
module Generated.CheckedMappingReplay.Structural.Shape.ReplayEnvelope (ReplayEnvelopeShape (..)) where

import Data.Map.Strict (Map)
import Data.Set (Set)
import Data.Text (Text)
import GHC.Generics (Generic)
import Generated.CheckedMappingReplay.Nominals qualified as Nominals
import Generated.CheckedMappingReplay.Structural.Shape.ImportantDays qualified as ImportantDays
import Generated.CheckedMappingReplay.Structural.Shape.MaybeContentHash qualified as MaybeContentHash
import Generated.CheckedMappingReplay.Structural.Shape.MaybeLabel qualified as MaybeLabel
import Generated.CheckedMappingReplay.Structural.Shape.TextLabels qualified as TextLabels

data ReplayEnvelopeShape = ReplayEnvelope
  { label :: !MaybeLabel.MaybeLabelShape
  , days :: !ImportantDays.ImportantDaysShape
  , labels :: !TextLabels.TextLabelsShape
  , contentHash :: !MaybeContentHash.MaybeContentHashShape
  , primary :: !Nominals.RetainedId
  , identities :: !(Map Nominals.RetainedId Text)
  , optionalLabels :: !(Maybe (Set Text))
  }
  deriving stock (Eq, Generic, Show)