Domain.hs

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DuplicateRecordFields #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeApplications #-}
{-# OPTIONS_GHC -Wno-unused-top-binds #-}
-- @generated by keiro-dsl; do not edit. Regenerated from the .keiro spec.
module Generated.SurgeDemo.Hospital.Domain where

import Data.Proxy (Proxy (..))
import Data.Text (Text)
import GHC.Generics (Generic)
import Keiki.Core (RegFile (..))
import Keiki.Generics.TH (deriveAggregateCtorsAll, deriveWireCtorsAll)

newtype HospitalId = HospitalId Text
  deriving stock (Generic, Eq, Ord, Show)

hospitalIdText :: HospitalId -> Text
hospitalIdText (HospitalId t) = t

data HospitalVertex = HospitalIdle | HospitalSurging
  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 =
  '[ '("hospitalState", HospitalVertex)
   ]

initialHospitalRegs :: RegFile HospitalRegs
initialHospitalRegs =
  RCons (Proxy @"hospitalState") HospitalIdle RNil

$(deriveAggregateCtorsAll ''HospitalCommand ''HospitalRegs)



$(deriveWireCtorsAll ''HospitalEvent)