TemplateBook.hs

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

import Data.Map.Strict (Map)
import Data.Text (Text)
import GHC.Generics (Generic)
import Conformance.StructuralNominals.Domain (ClaimId)
import Generated.StructuralNominalLeaves.Nominals qualified as Nominals
import Generated.StructuralNominalLeaves.Structural.Shape.TemplateState qualified as TemplateState

data TemplateBookShape = TemplateBook
  { templates :: ![TemplateState.TemplateStateShape]
  , holders :: ![Maybe ClaimId]
  , byKey :: !(Map Text Nominals.TemplateId)
  , byTemplate :: !(Map Nominals.TemplateId Text)
  , claims :: !(Map ClaimId TemplateState.TemplateStateShape)
  }
  deriving stock (Eq, Generic, Show)