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.TransferRouting.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)

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

data RouteAcceptedTransferNeedData = RouteAcceptedTransferNeedData
    { transferNeedId :: !Text
    , hospitalId :: !Text
    }
    deriving stock (Generic, Eq, Show)

data HospitalCommand = RouteAcceptedTransferNeed !RouteAcceptedTransferNeedData
    deriving stock (Generic, Eq, Show)

data AcceptedTransferNeedRoutedData = AcceptedTransferNeedRoutedData
    { transferNeedId :: !Text
    , hospitalId :: !Text
    }
    deriving stock (Generic, Eq, Show)

data HospitalEvent = AcceptedTransferNeedRouted !AcceptedTransferNeedRoutedData
    deriving stock (Generic, Eq, Show)

type HospitalRegs =
    '[]

initialHospitalRegs :: RegFile HospitalRegs
initialHospitalRegs =
    RNil

$(deriveAggregateCtorsAll ''HospitalCommand ''HospitalRegs)

$(deriveWireCtorsAll ''HospitalEvent)