IdentityEnvelope.hs

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

import Data.Map.Strict (Map)
import Data.Text (Text)
import GHC.Generics (Generic)
import Generated.IdAdmissionDomains.Nominals qualified as Nominals

data IdentityEnvelopeShape = IdentityEnvelope
  { legacyId :: !Nominals.LegacyId
  , previousId :: !(Maybe Nominals.LegacyId)
  , labelsById :: !(Map Nominals.LegacyId Text)
  }
  deriving stock (Eq, Generic, Show)