haal-models-0.1.0.0: src/Haal/Models/MQTT/MosquittoTwoClientSameId.hs

-- Generated by haal-gen. Do not edit manually.
module Haal.Models.MQTT.MosquittoTwoClientSameId
    ( MosquittoTwoClientSameIdInput (..)
    , MosquittoTwoClientSameIdOutput (..)
    , mosquittoTwoClientSameId
    ) where

import qualified Data.Set as Set
import Haal.Automaton.MealyAutomaton (MealyAutomaton, mkMealyAutomaton)

data MosquittoTwoClientSameIdInput
    = In_ConnectC2
    | In_ConnectC1WithWill
    | In_PublishC1
    | In_PublishC2
    | In_SubscribeC1
    | In_UnSubScribeC1
    | In_SubscribeC2
    | In_UnSubScribeC2
    | In_DisconnectC2
    | In_DisconnectTCPC1
    | In_DisconnectC1
    deriving (Show, Eq, Ord, Enum, Bounded)

data MosquittoTwoClientSameIdOutput
    = Out_C1_ConnectionClosed__ConnAckPacket_false_0
    | Out_ConnAckPacket_false_0___c2_ConnectionClosed
    | Out_C1_ConnectionClosed__c2_ConnectionClosed
    | Out_C1_ConnectionClosed__Empty
    | Out_C1_ConnectionClosed__c2_SubAck
    | Out_C1_ConnectionClosed__c2_UnSubAck
    | Out_C1_ConnectionClosed__ConnAckPacket_true_0
    | Out_C1_PubAck__c2_ConnectionClosed
    | Out_Empty__c2_ConnectionClosed
    | Out_C1_SubAck__c2_ConnectionClosed
    | Out_C1_UnSubAck__c2_ConnectionClosed
    | Out_Pub_c1_my_topic_i_am_C1_0_notdub___c1_PubAck__c2_ConnectionClosed
    | Out_C1_ConnectionClosed__Pub_c2_my_topic_i_am_C2_0_notdub
    deriving (Show, Eq, Ord, Enum, Bounded)

mosquittoTwoClientSameId :: MealyAutomaton Int MosquittoTwoClientSameIdInput MosquittoTwoClientSameIdOutput
mosquittoTwoClientSameId = mkMealyAutomaton delta lambda (Set.fromList [0..6]) 0
  where
    delta 0 In_ConnectC2 = 1
    delta 0 In_ConnectC1WithWill = 2
    delta 0 In_PublishC1 = 0
    delta 0 In_PublishC2 = 0
    delta 0 In_SubscribeC1 = 0
    delta 0 In_UnSubScribeC1 = 0
    delta 0 In_SubscribeC2 = 0
    delta 0 In_UnSubScribeC2 = 0
    delta 0 In_DisconnectC2 = 0
    delta 0 In_DisconnectTCPC1 = 0
    delta 0 In_DisconnectC1 = 0
    delta 1 In_ConnectC2 = 3
    delta 1 In_ConnectC1WithWill = 2
    delta 1 In_PublishC1 = 1
    delta 1 In_PublishC2 = 1
    delta 1 In_SubscribeC1 = 1
    delta 1 In_UnSubScribeC1 = 1
    delta 1 In_SubscribeC2 = 4
    delta 1 In_UnSubScribeC2 = 1
    delta 1 In_DisconnectC2 = 3
    delta 1 In_DisconnectTCPC1 = 1
    delta 1 In_DisconnectC1 = 1
    delta 2 In_ConnectC2 = 1
    delta 2 In_ConnectC1WithWill = 0
    delta 2 In_PublishC1 = 2
    delta 2 In_PublishC2 = 2
    delta 2 In_SubscribeC1 = 5
    delta 2 In_UnSubScribeC1 = 2
    delta 2 In_SubscribeC2 = 2
    delta 2 In_UnSubScribeC2 = 2
    delta 2 In_DisconnectC2 = 2
    delta 2 In_DisconnectTCPC1 = 0
    delta 2 In_DisconnectC1 = 0
    delta 3 In_ConnectC2 = 1
    delta 3 In_ConnectC1WithWill = 2
    delta 3 In_PublishC1 = 3
    delta 3 In_PublishC2 = 3
    delta 3 In_SubscribeC1 = 3
    delta 3 In_UnSubScribeC1 = 3
    delta 3 In_SubscribeC2 = 3
    delta 3 In_UnSubScribeC2 = 3
    delta 3 In_DisconnectC2 = 3
    delta 3 In_DisconnectTCPC1 = 3
    delta 3 In_DisconnectC1 = 3
    delta 5 In_ConnectC2 = 1
    delta 5 In_ConnectC1WithWill = 0
    delta 5 In_PublishC1 = 5
    delta 5 In_PublishC2 = 5
    delta 5 In_SubscribeC1 = 5
    delta 5 In_UnSubScribeC1 = 2
    delta 5 In_SubscribeC2 = 5
    delta 5 In_UnSubScribeC2 = 5
    delta 5 In_DisconnectC2 = 5
    delta 5 In_DisconnectTCPC1 = 0
    delta 5 In_DisconnectC1 = 0
    delta 4 In_ConnectC2 = 6
    delta 4 In_ConnectC1WithWill = 2
    delta 4 In_PublishC1 = 4
    delta 4 In_PublishC2 = 4
    delta 4 In_SubscribeC1 = 4
    delta 4 In_UnSubScribeC1 = 4
    delta 4 In_SubscribeC2 = 4
    delta 4 In_UnSubScribeC2 = 1
    delta 4 In_DisconnectC2 = 6
    delta 4 In_DisconnectTCPC1 = 4
    delta 4 In_DisconnectC1 = 4
    delta 6 In_ConnectC2 = 4
    delta 6 In_ConnectC1WithWill = 2
    delta 6 In_PublishC1 = 6
    delta 6 In_PublishC2 = 6
    delta 6 In_SubscribeC1 = 6
    delta 6 In_UnSubScribeC1 = 6
    delta 6 In_SubscribeC2 = 6
    delta 6 In_UnSubScribeC2 = 6
    delta 6 In_DisconnectC2 = 6
    delta 6 In_DisconnectTCPC1 = 6
    delta 6 In_DisconnectC1 = 6
    delta _ _ = error "haal-gen: undefined transition"
    lambda 0 In_ConnectC2 = Out_C1_ConnectionClosed__ConnAckPacket_false_0
    lambda 0 In_ConnectC1WithWill = Out_ConnAckPacket_false_0___c2_ConnectionClosed
    lambda 0 In_PublishC1 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 0 In_PublishC2 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 0 In_SubscribeC1 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 0 In_UnSubScribeC1 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 0 In_SubscribeC2 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 0 In_UnSubScribeC2 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 0 In_DisconnectC2 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 0 In_DisconnectTCPC1 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 0 In_DisconnectC1 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 1 In_ConnectC2 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 1 In_ConnectC1WithWill = Out_ConnAckPacket_false_0___c2_ConnectionClosed
    lambda 1 In_PublishC1 = Out_C1_ConnectionClosed__Empty
    lambda 1 In_PublishC2 = Out_C1_ConnectionClosed__Empty
    lambda 1 In_SubscribeC1 = Out_C1_ConnectionClosed__Empty
    lambda 1 In_UnSubScribeC1 = Out_C1_ConnectionClosed__Empty
    lambda 1 In_SubscribeC2 = Out_C1_ConnectionClosed__c2_SubAck
    lambda 1 In_UnSubScribeC2 = Out_C1_ConnectionClosed__c2_UnSubAck
    lambda 1 In_DisconnectC2 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 1 In_DisconnectTCPC1 = Out_C1_ConnectionClosed__Empty
    lambda 1 In_DisconnectC1 = Out_C1_ConnectionClosed__Empty
    lambda 2 In_ConnectC2 = Out_C1_ConnectionClosed__ConnAckPacket_true_0
    lambda 2 In_ConnectC1WithWill = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 2 In_PublishC1 = Out_C1_PubAck__c2_ConnectionClosed
    lambda 2 In_PublishC2 = Out_Empty__c2_ConnectionClosed
    lambda 2 In_SubscribeC1 = Out_C1_SubAck__c2_ConnectionClosed
    lambda 2 In_UnSubScribeC1 = Out_C1_UnSubAck__c2_ConnectionClosed
    lambda 2 In_SubscribeC2 = Out_Empty__c2_ConnectionClosed
    lambda 2 In_UnSubScribeC2 = Out_Empty__c2_ConnectionClosed
    lambda 2 In_DisconnectC2 = Out_Empty__c2_ConnectionClosed
    lambda 2 In_DisconnectTCPC1 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 2 In_DisconnectC1 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 3 In_ConnectC2 = Out_C1_ConnectionClosed__ConnAckPacket_true_0
    lambda 3 In_ConnectC1WithWill = Out_ConnAckPacket_false_0___c2_ConnectionClosed
    lambda 3 In_PublishC1 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 3 In_PublishC2 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 3 In_SubscribeC1 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 3 In_UnSubScribeC1 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 3 In_SubscribeC2 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 3 In_UnSubScribeC2 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 3 In_DisconnectC2 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 3 In_DisconnectTCPC1 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 3 In_DisconnectC1 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 5 In_ConnectC2 = Out_C1_ConnectionClosed__ConnAckPacket_true_0
    lambda 5 In_ConnectC1WithWill = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 5 In_PublishC1 = Out_Pub_c1_my_topic_i_am_C1_0_notdub___c1_PubAck__c2_ConnectionClosed
    lambda 5 In_PublishC2 = Out_Empty__c2_ConnectionClosed
    lambda 5 In_SubscribeC1 = Out_C1_SubAck__c2_ConnectionClosed
    lambda 5 In_UnSubScribeC1 = Out_C1_UnSubAck__c2_ConnectionClosed
    lambda 5 In_SubscribeC2 = Out_Empty__c2_ConnectionClosed
    lambda 5 In_UnSubScribeC2 = Out_Empty__c2_ConnectionClosed
    lambda 5 In_DisconnectC2 = Out_Empty__c2_ConnectionClosed
    lambda 5 In_DisconnectTCPC1 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 5 In_DisconnectC1 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 4 In_ConnectC2 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 4 In_ConnectC1WithWill = Out_ConnAckPacket_false_0___c2_ConnectionClosed
    lambda 4 In_PublishC1 = Out_C1_ConnectionClosed__Empty
    lambda 4 In_PublishC2 = Out_C1_ConnectionClosed__Pub_c2_my_topic_i_am_C2_0_notdub
    lambda 4 In_SubscribeC1 = Out_C1_ConnectionClosed__Empty
    lambda 4 In_UnSubScribeC1 = Out_C1_ConnectionClosed__Empty
    lambda 4 In_SubscribeC2 = Out_C1_ConnectionClosed__c2_SubAck
    lambda 4 In_UnSubScribeC2 = Out_C1_ConnectionClosed__c2_UnSubAck
    lambda 4 In_DisconnectC2 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 4 In_DisconnectTCPC1 = Out_C1_ConnectionClosed__Empty
    lambda 4 In_DisconnectC1 = Out_C1_ConnectionClosed__Empty
    lambda 6 In_ConnectC2 = Out_C1_ConnectionClosed__ConnAckPacket_true_0
    lambda 6 In_ConnectC1WithWill = Out_ConnAckPacket_false_0___c2_ConnectionClosed
    lambda 6 In_PublishC1 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 6 In_PublishC2 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 6 In_SubscribeC1 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 6 In_UnSubScribeC1 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 6 In_SubscribeC2 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 6 In_UnSubScribeC2 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 6 In_DisconnectC2 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 6 In_DisconnectTCPC1 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda 6 In_DisconnectC1 = Out_C1_ConnectionClosed__c2_ConnectionClosed
    lambda _ _ = error "haal-gen: undefined transition"