CalendarEnvelope.hs

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

import Data.Map.Strict (Map)
import Data.Text (Text)
import Data.Time.Calendar (Day)
import GHC.Generics (Generic)
import Generated.CalendarDays.Structural.Shape.MaybeLocalDay qualified as MaybeLocalDay

data CalendarEnvelopeShape = CalendarEnvelope
  { primary :: !Day
  , optionalDay :: !(Maybe Day)
  , namedOptional :: !MaybeLocalDay.MaybeLocalDayShape
  , sequence :: ![Day]
  , labelled :: !(Map Text Day)
  }
  deriving stock (Eq, Generic, Show)