BareEnvelope.hs

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

import GHC.Generics (Generic)
import Generated.BareContainers.Structural.Shape.MaybeText qualified as MaybeText
import Generated.BareContainers.Structural.Shape.NestedIds qualified as NestedIds
import Generated.BareContainers.Structural.Shape.TextList qualified as TextList
import Generated.BareContainers.Structural.Shape.TextMap qualified as TextMap

data BareEnvelopeShape = BareEnvelope
  { optionalLabel :: !MaybeText.MaybeTextShape
  , labels :: !TextList.TextListShape
  , attributes :: !TextMap.TextMapShape
  , nestedIds :: !NestedIds.NestedIdsShape
  }
  deriving stock (Eq, Generic, Show)