Nominals.hs

-- @generated by keiro-dsl 0.9.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal declarations; do not edit.
module Generated.HospitalCapacity.Nominals
  ( CommandId
  , parseCommandId
  , mkCommandId
  , commandIdText
  , HospitalId
  , parseHospitalId
  , mkHospitalId
  , hospitalIdText
  ) where

import Data.Aeson (FromJSON, ToJSON)
import Data.Text (Text)
import GHC.Generics (Generic)
import Keiki.Shape (CanonicalTypeName)
import Generated.HospitalCapacity.Nominals.Internal (CommandId, mkCommandId, parseCommandId, commandIdText, HospitalId, mkHospitalId, parseHospitalId, hospitalIdText)
import Keiro.Codec.IdDomain (idDomainTextPattern, typeIdV7Domain)

instance CanonicalTypeName CommandId

instance CanonicalTypeName HospitalId