Expressions.hs

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE OverloadedLabels #-}
{-# LANGUAGE OverloadedRecordDot #-}
{-# LANGUAGE TypeApplications #-}
-- @generated by keiro-dsl; do not edit. Regenerated from the .keiro spec.
module Generated.NominalScalars.NominalLedger.Expressions
  ( transition1EmptyRecordNominalsGuard
  , transition1EmptyRecordNominalsWriteOrderId
  , transition1EmptyRecordNominalsWriteStatus
  , transition1EmptyRecordNominalsWriteAccountNumber
  , transition1EmptyRecordNominalsWriteRiskScore
  , transition1EmptyRecordNominalsWriteSequenceNumber
  , transition1EmptyRecordNominalsWriteFeatureFlag
  , transition1EmptyRecordNominalsWriteObservedAt
  ) where

import Generated.NominalScalars.NominalLedger.Domain
import Keiki.Builder qualified as B
import Keiki.Core qualified as K
import Keiki.Generics (RegFieldsOf)
import Data.Text (Text)
import Generated.NominalScalars.NominalProjections qualified as NominalProjections
import NominalConformance.Domain qualified

transition1EmptyRecordNominalsGuard :: B.PayloadProj NominalLedgerRegs NominalLedgerCommand (RegFieldsOf RecordNominalsData) -> K.HsPred NominalLedgerRegs NominalLedgerCommand
transition1EmptyRecordNominalsGuard d = K.PAnd (K.PEq (K.inpProj NominalProjections.orderIdEqualityWitness inCtorRecordNominals (#orderId :: K.Index (RegFieldsOf RecordNominalsData) NominalConformance.Domain.OrderId)) (K.regProj NominalProjections.orderIdEqualityWitness (#orderId :: K.Index NominalLedgerRegs NominalConformance.Domain.OrderId))) (K.PEq (K.inpProj NominalProjections.orderStatusEqualityWitness inCtorRecordNominals (#status :: K.Index (RegFieldsOf RecordNominalsData) NominalConformance.Domain.OrderStatus)) (K.regProj NominalProjections.orderStatusEqualityWitness (#status :: K.Index NominalLedgerRegs NominalConformance.Domain.OrderStatus)))

transition1EmptyRecordNominalsWriteOrderId :: B.PayloadProj NominalLedgerRegs NominalLedgerCommand (RegFieldsOf RecordNominalsData) -> K.Term NominalLedgerRegs NominalLedgerCommand (RegFieldsOf RecordNominalsData) NominalConformance.Domain.OrderId
transition1EmptyRecordNominalsWriteOrderId d = d.orderId

transition1EmptyRecordNominalsWriteStatus :: B.PayloadProj NominalLedgerRegs NominalLedgerCommand (RegFieldsOf RecordNominalsData) -> K.Term NominalLedgerRegs NominalLedgerCommand (RegFieldsOf RecordNominalsData) NominalConformance.Domain.OrderStatus
transition1EmptyRecordNominalsWriteStatus d = d.status

transition1EmptyRecordNominalsWriteAccountNumber :: B.PayloadProj NominalLedgerRegs NominalLedgerCommand (RegFieldsOf RecordNominalsData) -> K.Term NominalLedgerRegs NominalLedgerCommand (RegFieldsOf RecordNominalsData) NominalConformance.Domain.AccountNumber
transition1EmptyRecordNominalsWriteAccountNumber d = d.accountNumber

transition1EmptyRecordNominalsWriteRiskScore :: B.PayloadProj NominalLedgerRegs NominalLedgerCommand (RegFieldsOf RecordNominalsData) -> K.Term NominalLedgerRegs NominalLedgerCommand (RegFieldsOf RecordNominalsData) NominalConformance.Domain.RiskScore
transition1EmptyRecordNominalsWriteRiskScore d = d.riskScore

transition1EmptyRecordNominalsWriteSequenceNumber :: B.PayloadProj NominalLedgerRegs NominalLedgerCommand (RegFieldsOf RecordNominalsData) -> K.Term NominalLedgerRegs NominalLedgerCommand (RegFieldsOf RecordNominalsData) NominalConformance.Domain.SequenceNumber
transition1EmptyRecordNominalsWriteSequenceNumber d = d.sequenceNumber

transition1EmptyRecordNominalsWriteFeatureFlag :: B.PayloadProj NominalLedgerRegs NominalLedgerCommand (RegFieldsOf RecordNominalsData) -> K.Term NominalLedgerRegs NominalLedgerCommand (RegFieldsOf RecordNominalsData) NominalConformance.Domain.FeatureFlag
transition1EmptyRecordNominalsWriteFeatureFlag d = d.featureFlag

transition1EmptyRecordNominalsWriteObservedAt :: B.PayloadProj NominalLedgerRegs NominalLedgerCommand (RegFieldsOf RecordNominalsData) -> K.Term NominalLedgerRegs NominalLedgerCommand (RegFieldsOf RecordNominalsData) NominalConformance.Domain.ObservedAt
transition1EmptyRecordNominalsWriteObservedAt d = d.observedAt