ScandiumLatestPsk.hs

-- Generated by haal-gen. Do not edit manually.
module Haal.Models.DTLS.ScandiumLatestPsk
    ( ScandiumLatestPskInput (..)
    , ScandiumLatestPskOutput (..)
    , scandiumLatestPsk
    ) where

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

data ScandiumLatestPskInput
    = In_PSK_CLIENT_HELLO
    | In_PSK_CLIENT_KEY_EXCHANGE
    | In_CHANGE_CIPHER_SPEC
    | In_FINISHED
    | In_APPLICATION
    | In_Alert_WARNING_CLOSE_NOTIFY
    | In_Alert_FATAL_UNEXPECTED_MESSAGE
    deriving (Show, Eq, Ord, Enum, Bounded)

data ScandiumLatestPskOutput
    = Out_HELLO_VERIFY_REQUEST
    | Out_TIMEOUT
    | Out_SERVER_HELLO_SERVER_HELLO_DONE
    | Out_Alert_FATAL_INTERNAL_ERROR
    | Out_Alert_WARNING_CLOSE_NOTIFY
    | Out_CHANGE_CIPHER_SPEC_FINISHED
    | Out_Alert_WARNING_NO_RENEGOTIATION
    | Out_APPLICATION
    | Out_Alert_FATAL_HANDSHAKE_FAILURE
    | Out_CHANGE_CIPHER_SPEC_FINISHED_APPLICATION
    deriving (Show, Eq, Ord, Enum, Bounded)

scandiumLatestPsk :: MealyAutomaton Int ScandiumLatestPskInput ScandiumLatestPskOutput
scandiumLatestPsk = mkMealyAutomaton delta lambda (Set.fromList [0..12]) 0
  where
    delta 0 In_PSK_CLIENT_HELLO = 1
    delta 0 In_PSK_CLIENT_KEY_EXCHANGE = 0
    delta 0 In_CHANGE_CIPHER_SPEC = 2
    delta 0 In_FINISHED = 0
    delta 0 In_APPLICATION = 0
    delta 0 In_Alert_WARNING_CLOSE_NOTIFY = 0
    delta 0 In_Alert_FATAL_UNEXPECTED_MESSAGE = 0
    delta 2 In_PSK_CLIENT_HELLO = 2
    delta 2 In_PSK_CLIENT_KEY_EXCHANGE = 2
    delta 2 In_CHANGE_CIPHER_SPEC = 2
    delta 2 In_FINISHED = 2
    delta 2 In_APPLICATION = 2
    delta 2 In_Alert_WARNING_CLOSE_NOTIFY = 2
    delta 2 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
    delta 1 In_PSK_CLIENT_HELLO = 3
    delta 1 In_PSK_CLIENT_KEY_EXCHANGE = 1
    delta 1 In_CHANGE_CIPHER_SPEC = 2
    delta 1 In_FINISHED = 1
    delta 1 In_APPLICATION = 1
    delta 1 In_Alert_WARNING_CLOSE_NOTIFY = 1
    delta 1 In_Alert_FATAL_UNEXPECTED_MESSAGE = 1
    delta 3 In_PSK_CLIENT_HELLO = 4
    delta 3 In_PSK_CLIENT_KEY_EXCHANGE = 5
    delta 3 In_CHANGE_CIPHER_SPEC = 2
    delta 3 In_FINISHED = 1
    delta 3 In_APPLICATION = 3
    delta 3 In_Alert_WARNING_CLOSE_NOTIFY = 1
    delta 3 In_Alert_FATAL_UNEXPECTED_MESSAGE = 1
    delta 5 In_PSK_CLIENT_HELLO = 6
    delta 5 In_PSK_CLIENT_KEY_EXCHANGE = 1
    delta 5 In_CHANGE_CIPHER_SPEC = 7
    delta 5 In_FINISHED = 1
    delta 5 In_APPLICATION = 5
    delta 5 In_Alert_WARNING_CLOSE_NOTIFY = 1
    delta 5 In_Alert_FATAL_UNEXPECTED_MESSAGE = 1
    delta 7 In_PSK_CLIENT_HELLO = 2
    delta 7 In_PSK_CLIENT_KEY_EXCHANGE = 2
    delta 7 In_CHANGE_CIPHER_SPEC = 2
    delta 7 In_FINISHED = 8
    delta 7 In_APPLICATION = 9
    delta 7 In_Alert_WARNING_CLOSE_NOTIFY = 2
    delta 7 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
    delta 8 In_PSK_CLIENT_HELLO = 8
    delta 8 In_PSK_CLIENT_KEY_EXCHANGE = 8
    delta 8 In_CHANGE_CIPHER_SPEC = 2
    delta 8 In_FINISHED = 8
    delta 8 In_APPLICATION = 10
    delta 8 In_Alert_WARNING_CLOSE_NOTIFY = 2
    delta 8 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
    delta 4 In_PSK_CLIENT_HELLO = 4
    delta 4 In_PSK_CLIENT_KEY_EXCHANGE = 4
    delta 4 In_CHANGE_CIPHER_SPEC = 2
    delta 4 In_FINISHED = 4
    delta 4 In_APPLICATION = 4
    delta 4 In_Alert_WARNING_CLOSE_NOTIFY = 1
    delta 4 In_Alert_FATAL_UNEXPECTED_MESSAGE = 1
    delta 6 In_PSK_CLIENT_HELLO = 6
    delta 6 In_PSK_CLIENT_KEY_EXCHANGE = 11
    delta 6 In_CHANGE_CIPHER_SPEC = 12
    delta 6 In_FINISHED = 11
    delta 6 In_APPLICATION = 6
    delta 6 In_Alert_WARNING_CLOSE_NOTIFY = 1
    delta 6 In_Alert_FATAL_UNEXPECTED_MESSAGE = 1
    delta 11 In_PSK_CLIENT_HELLO = 11
    delta 11 In_PSK_CLIENT_KEY_EXCHANGE = 11
    delta 11 In_CHANGE_CIPHER_SPEC = 2
    delta 11 In_FINISHED = 11
    delta 11 In_APPLICATION = 11
    delta 11 In_Alert_WARNING_CLOSE_NOTIFY = 1
    delta 11 In_Alert_FATAL_UNEXPECTED_MESSAGE = 1
    delta 12 In_PSK_CLIENT_HELLO = 2
    delta 12 In_PSK_CLIENT_KEY_EXCHANGE = 12
    delta 12 In_CHANGE_CIPHER_SPEC = 2
    delta 12 In_FINISHED = 12
    delta 12 In_APPLICATION = 12
    delta 12 In_Alert_WARNING_CLOSE_NOTIFY = 2
    delta 12 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
    delta 10 In_PSK_CLIENT_HELLO = 10
    delta 10 In_PSK_CLIENT_KEY_EXCHANGE = 10
    delta 10 In_CHANGE_CIPHER_SPEC = 2
    delta 10 In_FINISHED = 10
    delta 10 In_APPLICATION = 10
    delta 10 In_Alert_WARNING_CLOSE_NOTIFY = 2
    delta 10 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
    delta 9 In_PSK_CLIENT_HELLO = 2
    delta 9 In_PSK_CLIENT_KEY_EXCHANGE = 2
    delta 9 In_CHANGE_CIPHER_SPEC = 2
    delta 9 In_FINISHED = 10
    delta 9 In_APPLICATION = 9
    delta 9 In_Alert_WARNING_CLOSE_NOTIFY = 2
    delta 9 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
    delta _ _ = error "haal-gen: undefined transition"
    lambda 0 In_PSK_CLIENT_HELLO = Out_HELLO_VERIFY_REQUEST
    lambda 0 In_PSK_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
    lambda 0 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
    lambda 0 In_FINISHED = Out_TIMEOUT
    lambda 0 In_APPLICATION = Out_TIMEOUT
    lambda 0 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
    lambda 0 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
    lambda 2 In_PSK_CLIENT_HELLO = Out_TIMEOUT
    lambda 2 In_PSK_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
    lambda 2 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
    lambda 2 In_FINISHED = Out_TIMEOUT
    lambda 2 In_APPLICATION = Out_TIMEOUT
    lambda 2 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
    lambda 2 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
    lambda 1 In_PSK_CLIENT_HELLO = Out_SERVER_HELLO_SERVER_HELLO_DONE
    lambda 1 In_PSK_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
    lambda 1 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
    lambda 1 In_FINISHED = Out_TIMEOUT
    lambda 1 In_APPLICATION = Out_TIMEOUT
    lambda 1 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
    lambda 1 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
    lambda 3 In_PSK_CLIENT_HELLO = Out_TIMEOUT
    lambda 3 In_PSK_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
    lambda 3 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
    lambda 3 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
    lambda 3 In_APPLICATION = Out_TIMEOUT
    lambda 3 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
    lambda 3 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
    lambda 5 In_PSK_CLIENT_HELLO = Out_TIMEOUT
    lambda 5 In_PSK_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_INTERNAL_ERROR
    lambda 5 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
    lambda 5 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
    lambda 5 In_APPLICATION = Out_TIMEOUT
    lambda 5 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
    lambda 5 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
    lambda 7 In_PSK_CLIENT_HELLO = Out_Alert_FATAL_INTERNAL_ERROR
    lambda 7 In_PSK_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_INTERNAL_ERROR
    lambda 7 In_CHANGE_CIPHER_SPEC = Out_Alert_FATAL_INTERNAL_ERROR
    lambda 7 In_FINISHED = Out_CHANGE_CIPHER_SPEC_FINISHED
    lambda 7 In_APPLICATION = Out_TIMEOUT
    lambda 7 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
    lambda 7 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
    lambda 8 In_PSK_CLIENT_HELLO = Out_Alert_WARNING_NO_RENEGOTIATION
    lambda 8 In_PSK_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
    lambda 8 In_CHANGE_CIPHER_SPEC = Out_Alert_FATAL_INTERNAL_ERROR
    lambda 8 In_FINISHED = Out_TIMEOUT
    lambda 8 In_APPLICATION = Out_APPLICATION
    lambda 8 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
    lambda 8 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
    lambda 4 In_PSK_CLIENT_HELLO = Out_TIMEOUT
    lambda 4 In_PSK_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
    lambda 4 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
    lambda 4 In_FINISHED = Out_TIMEOUT
    lambda 4 In_APPLICATION = Out_TIMEOUT
    lambda 4 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
    lambda 4 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
    lambda 6 In_PSK_CLIENT_HELLO = Out_TIMEOUT
    lambda 6 In_PSK_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
    lambda 6 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
    lambda 6 In_FINISHED = Out_TIMEOUT
    lambda 6 In_APPLICATION = Out_TIMEOUT
    lambda 6 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
    lambda 6 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
    lambda 11 In_PSK_CLIENT_HELLO = Out_TIMEOUT
    lambda 11 In_PSK_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
    lambda 11 In_CHANGE_CIPHER_SPEC = Out_Alert_FATAL_HANDSHAKE_FAILURE
    lambda 11 In_FINISHED = Out_TIMEOUT
    lambda 11 In_APPLICATION = Out_TIMEOUT
    lambda 11 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
    lambda 11 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
    lambda 12 In_PSK_CLIENT_HELLO = Out_Alert_FATAL_INTERNAL_ERROR
    lambda 12 In_PSK_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
    lambda 12 In_CHANGE_CIPHER_SPEC = Out_Alert_FATAL_INTERNAL_ERROR
    lambda 12 In_FINISHED = Out_TIMEOUT
    lambda 12 In_APPLICATION = Out_TIMEOUT
    lambda 12 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
    lambda 12 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
    lambda 10 In_PSK_CLIENT_HELLO = Out_Alert_WARNING_NO_RENEGOTIATION
    lambda 10 In_PSK_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
    lambda 10 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
    lambda 10 In_FINISHED = Out_TIMEOUT
    lambda 10 In_APPLICATION = Out_APPLICATION
    lambda 10 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
    lambda 10 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
    lambda 9 In_PSK_CLIENT_HELLO = Out_Alert_FATAL_INTERNAL_ERROR
    lambda 9 In_PSK_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_INTERNAL_ERROR
    lambda 9 In_CHANGE_CIPHER_SPEC = Out_Alert_FATAL_INTERNAL_ERROR
    lambda 9 In_FINISHED = Out_CHANGE_CIPHER_SPEC_FINISHED_APPLICATION
    lambda 9 In_APPLICATION = Out_TIMEOUT
    lambda 9 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
    lambda 9 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
    lambda _ _ = error "haal-gen: undefined transition"