GnuTLSV3V3V12ServerRegular.hs

-- Generated by haal-gen. Do not edit manually.
module Haal.Models.TLS.GnuTLSV3V3V12ServerRegular
    ( GnuTLSV3V3V12ServerRegularInput (..)
    , GnuTLSV3V3V12ServerRegularOutput (..)
    , gnuTLSV3V3V12ServerRegular
    ) where

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

data GnuTLSV3V3V12ServerRegularInput
    = In_ApplicationData
    | In_ApplicationDataEmpty
    | In_ChangeCipherSpec
    | In_ClientHelloRSA
    | In_ClientKeyExchange
    | In_EmptyCertificate
    | In_Finished
    | In_HeartbeatRequest
    deriving (Show, Eq, Ord, Enum, Bounded)

data GnuTLSV3V3V12ServerRegularOutput
    = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    | Out_Empty
    | Out_ServerHello_Certificate___CertificateRequest___ServerHelloDone
    | Out_ChangeCipherSpec___Finished
    | Out_Alert_Fatal__Internal_error____ConnectionClosed
    | Out_ApplicationData___Alert_Warning__Close_notify____ConnectionClosed
    | Out_Alert_Warning__Close_notify____ConnectionClosed
    | Out_Alert_Fatal__Handshake_failure____ConnectionClosed
    | Out_HeartbeatResponse
    | Out_ConnectionClosed
    deriving (Show, Eq, Ord, Enum, Bounded)

gnuTLSV3V3V12ServerRegular :: MealyAutomaton Int GnuTLSV3V3V12ServerRegularInput GnuTLSV3V3V12ServerRegularOutput
gnuTLSV3V3V12ServerRegular = mkMealyAutomaton delta lambda (Set.fromList [0..6]) 0
  where
    delta 0 In_ApplicationData = 1
    delta 0 In_ApplicationDataEmpty = 0
    delta 0 In_ChangeCipherSpec = 1
    delta 0 In_ClientHelloRSA = 2
    delta 0 In_ClientKeyExchange = 1
    delta 0 In_EmptyCertificate = 1
    delta 0 In_Finished = 1
    delta 0 In_HeartbeatRequest = 1
    delta 3 In_ApplicationData = 1
    delta 3 In_ApplicationDataEmpty = 3
    delta 3 In_ChangeCipherSpec = 1
    delta 3 In_ClientHelloRSA = 1
    delta 3 In_ClientKeyExchange = 1
    delta 3 In_EmptyCertificate = 1
    delta 3 In_Finished = 4
    delta 3 In_HeartbeatRequest = 1
    delta 5 In_ApplicationData = 1
    delta 5 In_ApplicationDataEmpty = 5
    delta 5 In_ChangeCipherSpec = 1
    delta 5 In_ClientHelloRSA = 1
    delta 5 In_ClientKeyExchange = 6
    delta 5 In_EmptyCertificate = 1
    delta 5 In_Finished = 1
    delta 5 In_HeartbeatRequest = 1
    delta 2 In_ApplicationData = 1
    delta 2 In_ApplicationDataEmpty = 2
    delta 2 In_ChangeCipherSpec = 1
    delta 2 In_ClientHelloRSA = 1
    delta 2 In_ClientKeyExchange = 6
    delta 2 In_EmptyCertificate = 5
    delta 2 In_Finished = 1
    delta 2 In_HeartbeatRequest = 1
    delta 6 In_ApplicationData = 1
    delta 6 In_ApplicationDataEmpty = 6
    delta 6 In_ChangeCipherSpec = 3
    delta 6 In_ClientHelloRSA = 1
    delta 6 In_ClientKeyExchange = 1
    delta 6 In_EmptyCertificate = 1
    delta 6 In_Finished = 1
    delta 6 In_HeartbeatRequest = 1
    delta 4 In_ApplicationData = 1
    delta 4 In_ApplicationDataEmpty = 4
    delta 4 In_ChangeCipherSpec = 1
    delta 4 In_ClientHelloRSA = 1
    delta 4 In_ClientKeyExchange = 1
    delta 4 In_EmptyCertificate = 1
    delta 4 In_Finished = 1
    delta 4 In_HeartbeatRequest = 4
    delta 1 In_ApplicationData = 1
    delta 1 In_ApplicationDataEmpty = 1
    delta 1 In_ChangeCipherSpec = 1
    delta 1 In_ClientHelloRSA = 1
    delta 1 In_ClientKeyExchange = 1
    delta 1 In_EmptyCertificate = 1
    delta 1 In_Finished = 1
    delta 1 In_HeartbeatRequest = 1
    delta _ _ = error "haal-gen: undefined transition"
    lambda 0 In_ApplicationData = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 0 In_ApplicationDataEmpty = Out_Empty
    lambda 0 In_ChangeCipherSpec = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 0 In_ClientHelloRSA = Out_ServerHello_Certificate___CertificateRequest___ServerHelloDone
    lambda 0 In_ClientKeyExchange = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 0 In_EmptyCertificate = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 0 In_Finished = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 0 In_HeartbeatRequest = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 3 In_ApplicationData = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 3 In_ApplicationDataEmpty = Out_Empty
    lambda 3 In_ChangeCipherSpec = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 3 In_ClientHelloRSA = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 3 In_ClientKeyExchange = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 3 In_EmptyCertificate = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 3 In_Finished = Out_ChangeCipherSpec___Finished
    lambda 3 In_HeartbeatRequest = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 5 In_ApplicationData = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 5 In_ApplicationDataEmpty = Out_Empty
    lambda 5 In_ChangeCipherSpec = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 5 In_ClientHelloRSA = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 5 In_ClientKeyExchange = Out_Empty
    lambda 5 In_EmptyCertificate = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 5 In_Finished = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 5 In_HeartbeatRequest = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 2 In_ApplicationData = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 2 In_ApplicationDataEmpty = Out_Empty
    lambda 2 In_ChangeCipherSpec = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 2 In_ClientHelloRSA = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 2 In_ClientKeyExchange = Out_Empty
    lambda 2 In_EmptyCertificate = Out_Empty
    lambda 2 In_Finished = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 2 In_HeartbeatRequest = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 6 In_ApplicationData = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 6 In_ApplicationDataEmpty = Out_Empty
    lambda 6 In_ChangeCipherSpec = Out_Empty
    lambda 6 In_ClientHelloRSA = Out_Alert_Fatal__Internal_error____ConnectionClosed
    lambda 6 In_ClientKeyExchange = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 6 In_EmptyCertificate = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 6 In_Finished = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 6 In_HeartbeatRequest = Out_Alert_Fatal__Unexpected_message____ConnectionClosed
    lambda 4 In_ApplicationData = Out_ApplicationData___Alert_Warning__Close_notify____ConnectionClosed
    lambda 4 In_ApplicationDataEmpty = Out_Empty
    lambda 4 In_ChangeCipherSpec = Out_Alert_Warning__Close_notify____ConnectionClosed
    lambda 4 In_ClientHelloRSA = Out_Alert_Fatal__Handshake_failure____ConnectionClosed
    lambda 4 In_ClientKeyExchange = Out_Alert_Warning__Close_notify____ConnectionClosed
    lambda 4 In_EmptyCertificate = Out_Alert_Warning__Close_notify____ConnectionClosed
    lambda 4 In_Finished = Out_Alert_Warning__Close_notify____ConnectionClosed
    lambda 4 In_HeartbeatRequest = Out_HeartbeatResponse
    lambda 1 In_ApplicationData = Out_ConnectionClosed
    lambda 1 In_ApplicationDataEmpty = Out_ConnectionClosed
    lambda 1 In_ChangeCipherSpec = Out_ConnectionClosed
    lambda 1 In_ClientHelloRSA = Out_ConnectionClosed
    lambda 1 In_ClientKeyExchange = Out_ConnectionClosed
    lambda 1 In_EmptyCertificate = Out_ConnectionClosed
    lambda 1 In_Finished = Out_ConnectionClosed
    lambda 1 In_HeartbeatRequest = Out_ConnectionClosed
    lambda _ _ = error "haal-gen: undefined transition"