HashEnvelope.hs

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

import Data.Map.Strict (Map)
import Data.Text (Text)
import GHC.Generics (Generic)
import Generated.RefinedBase16.Structural.Shape.ContentHash qualified as ContentHash
import Generated.RefinedBase16.Structural.Shape.MaybeContentHash qualified as MaybeContentHash

data HashEnvelopeShape = HashEnvelope
  { primary :: !ContentHash.ContentHashShape
  , optionalHash :: !(Maybe ContentHash.ContentHashShape)
  , namedOptional :: !MaybeContentHash.MaybeContentHashShape
  , sequence :: ![ContentHash.ContentHashShape]
  , labelled :: !(Map Text ContentHash.ContentHashShape)
  }
  deriving stock (Eq, Generic, Show)