LabelEnvelope.hs

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

import Data.Map.Strict (Map)
import Data.Set (Set)
import Data.Text (Text)
import GHC.Generics (Generic)
import Generated.StructuralTextSets.Structural.Shape.MaybeTextLabels qualified as MaybeTextLabels

data LabelEnvelopeShape = LabelEnvelope
  { primary :: !(Set Text)
  , optionalLabels :: !(Maybe (Set Text))
  , namedOptional :: !MaybeTextLabels.MaybeTextLabelsShape
  , sequence :: ![Set Text]
  , labelled :: !(Map Text (Set Text))
  }
  deriving stock (Eq, Generic, Show)