Domain.hs

{-# LANGUAGE TemplateHaskell #-}
-- @generated by keiro-dsl 0.15.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.
module Generated.HospitalCapacity.Hospital.Domain where

import GHC.Generics (Generic)
import Keiki.Core (RegFile (..))
import Generated.HospitalCapacity.Nominals (HospitalId)
import Keiki.Generics.TH (deriveAggregateCtorsAll, deriveWireCtorsAll)

data HospitalVertex = HospitalOperational
  deriving stock (Generic, Eq, Ord, Show, Enum, Bounded)

data ActivateSurgeData = ActivateSurgeData
  { hospitalId :: !HospitalId
  }
  deriving stock (Generic, Eq, Show)

data HospitalCommand = ActivateSurge !ActivateSurgeData
  deriving stock (Generic, Eq, Show)

data SurgeActivatedData = SurgeActivatedData
  { hospitalId :: !HospitalId
  }
  deriving stock (Generic, Eq, Show)

data HospitalEvent = SurgeActivated !SurgeActivatedData
  deriving stock (Generic, Eq, Show)

type HospitalRegs =
  '[]

initialHospitalRegs :: RegFile HospitalRegs
initialHospitalRegs =
  RNil

$(deriveAggregateCtorsAll ''HospitalCommand ''HospitalRegs)



$(deriveWireCtorsAll ''HospitalEvent)