TemplateState.hs

-- @generated by keiro-dsl 0.17.0.0 (language keiro-dsl 6) from mapped structural TemplateState; do not edit.
module Generated.StructuralNominalLeaves.Structural.Shape.TemplateState (TemplateStateShape (..)) where

import GHC.Generics (Generic)
import Conformance.StructuralNominals.Domain (AccountNumber, Channel, ClaimId)
import Generated.StructuralNominalLeaves.Nominals qualified as Nominals

data TemplateStateShape = TemplateState
  { templateId :: !Nominals.TemplateId
  , holder :: !(Maybe ClaimId)
  , account :: !AccountNumber
  , channel :: !Channel
  , kind :: !Nominals.TemplateKind
  , fallbackChannel :: !Channel
  }
  deriving stock (Eq, Generic, Show)