{-# LANGUAGE GADTs #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}

module Haskell.Debug.Adapter.State.Contaminated where

import Control.Monad.IO.Class
import qualified System.Log.Logger as L

import qualified Haskell.DAP as DAP
import Haskell.Debug.Adapter.Type
import qualified Haskell.Debug.Adapter.Utility as U
import Haskell.Debug.Adapter.Constant
import qualified Haskell.Debug.Adapter.State.Utility as SU


-- |
--
instance AppStateIF ContaminatedStateData where
  -- |
  --
  entryAction :: AppState ContaminatedStateData -> AppContext ()
entryAction AppState ContaminatedStateData
ContaminatedState = do
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ ErrMsg -> ErrMsg -> IO ()
L.debugM ErrMsg
_LOG_APP ErrMsg
"ContaminatedState entryAction called."
    forall (m :: * -> *) a. Monad m => a -> m a
return ()


  -- |
  --
  exitAction :: AppState ContaminatedStateData -> AppContext ()
exitAction AppState ContaminatedStateData
ContaminatedState = do
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ ErrMsg -> ErrMsg -> IO ()
L.debugM ErrMsg
_LOG_APP ErrMsg
"ContaminatedState exitAction called."
    forall (m :: * -> *) a. Monad m => a -> m a
return ()


  -- |
  --
  doActivity :: AppState ContaminatedStateData
-> WrapRequest -> AppContext (Maybe StateTransit)
doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@InitializeRequest{})              = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@LaunchRequest{})                  = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@DisconnectRequest{})              = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@PauseRequest{})                   = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@TerminateRequest{})               = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@SetBreakpointsRequest{})          = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@SetFunctionBreakpointsRequest{})  = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@SetExceptionBreakpointsRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@ConfigurationDoneRequest{})       = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@ThreadsRequest{})                 = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@StackTraceRequest{})              = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@ScopesRequest{})                  = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@VariablesRequest{})               = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@ContinueRequest{})                = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@NextRequest{})                    = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@StepInRequest{})                  = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@EvaluateRequest{})                = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@CompletionsRequest{})             = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@InternalTransitRequest{})         = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@InternalTerminateRequest{})       = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r
  doActivity AppState ContaminatedStateData
s (WrapRequest r :: Request a
r@InternalLoadRequest{})            = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
s Request a
r

-- |
--   default nop.
--
instance StateActivityIF ContaminatedStateData DAP.InitializeRequest

-- |
--   default nop.
--
instance StateActivityIF ContaminatedStateData DAP.LaunchRequest

-- |
--   default nop.
--
instance StateActivityIF ContaminatedStateData DAP.DisconnectRequest

-- |
--   default nop.
--
instance StateActivityIF ContaminatedStateData DAP.PauseRequest

-- |
--  Any errors should be sent back as False result Response
--
instance StateActivityIF ContaminatedStateData DAP.TerminateRequest where
  action :: AppState ContaminatedStateData
-> Request TerminateRequest -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
_ (TerminateRequest TerminateRequest
req) = do
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ ErrMsg -> ErrMsg -> IO ()
L.debugM ErrMsg
_LOG_APP forall a b. (a -> b) -> a -> b
$ ErrMsg
"ContaminatedState TerminateRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show TerminateRequest
req

    TerminateRequest -> AppContext ()
SU.terminateRequest TerminateRequest
req

    forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ forall a. a -> Maybe a
Just StateTransit
Contaminated_Shutdown

-- |
--  Any errors should be sent back as False result Response
--
instance StateActivityIF ContaminatedStateData DAP.SetBreakpointsRequest where
  action :: AppState ContaminatedStateData
-> Request SetBreakpointsRequest -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
_ (SetBreakpointsRequest SetBreakpointsRequest
req) = do
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ ErrMsg -> ErrMsg -> IO ()
L.debugM ErrMsg
_LOG_APP forall a b. (a -> b) -> a -> b
$ ErrMsg
"ContaminatedState SetBreakpointsRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show SetBreakpointsRequest
req
    Int
resSeq <- AppContext Int
U.getIncreasedResponseSequence
    let res :: SetBreakpointsResponse
res = SetBreakpointsResponse
DAP.defaultSetBreakpointsResponse {
              seqSetBreakpointsResponse :: Int
DAP.seqSetBreakpointsResponse = Int
resSeq
            , request_seqSetBreakpointsResponse :: Int
DAP.request_seqSetBreakpointsResponse = SetBreakpointsRequest -> Int
DAP.seqSetBreakpointsRequest SetBreakpointsRequest
req
            , successSetBreakpointsResponse :: Bool
DAP.successSetBreakpointsResponse = Bool
False
            , messageSetBreakpointsResponse :: ErrMsg
DAP.messageSetBreakpointsResponse = ErrMsg
"Contaminated State. need restart."
            }

    Response -> AppContext ()
U.addResponse forall a b. (a -> b) -> a -> b
$ SetBreakpointsResponse -> Response
SetBreakpointsResponse SetBreakpointsResponse
res
    forall (m :: * -> *) a. Monad m => a -> m a
return forall a. Maybe a
Nothing

-- |
--  Any errors should be sent back as False result Response
--
instance StateActivityIF ContaminatedStateData DAP.SetFunctionBreakpointsRequest where
  action :: AppState ContaminatedStateData
-> Request SetFunctionBreakpointsRequest
-> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
_ (SetFunctionBreakpointsRequest SetFunctionBreakpointsRequest
req) = do
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ ErrMsg -> ErrMsg -> IO ()
L.debugM ErrMsg
_LOG_APP forall a b. (a -> b) -> a -> b
$ ErrMsg
"ContaminatedState SetFunctionBreakpointsRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show SetFunctionBreakpointsRequest
req
    Int
resSeq <- AppContext Int
U.getIncreasedResponseSequence
    let res :: SetFunctionBreakpointsResponse
res = SetFunctionBreakpointsResponse
DAP.defaultSetFunctionBreakpointsResponse {
              seqSetFunctionBreakpointsResponse :: Int
DAP.seqSetFunctionBreakpointsResponse = Int
resSeq
            , request_seqSetFunctionBreakpointsResponse :: Int
DAP.request_seqSetFunctionBreakpointsResponse = SetFunctionBreakpointsRequest -> Int
DAP.seqSetFunctionBreakpointsRequest SetFunctionBreakpointsRequest
req
            , successSetFunctionBreakpointsResponse :: Bool
DAP.successSetFunctionBreakpointsResponse = Bool
False
            , messageSetFunctionBreakpointsResponse :: ErrMsg
DAP.messageSetFunctionBreakpointsResponse = ErrMsg
"Contaminated State. need restart."
            }

    Response -> AppContext ()
U.addResponse forall a b. (a -> b) -> a -> b
$ SetFunctionBreakpointsResponse -> Response
SetFunctionBreakpointsResponse SetFunctionBreakpointsResponse
res
    forall (m :: * -> *) a. Monad m => a -> m a
return forall a. Maybe a
Nothing

-- |
--  Any errors should be sent back as False result Response
--
instance StateActivityIF ContaminatedStateData DAP.SetExceptionBreakpointsRequest where
  action :: AppState ContaminatedStateData
-> Request SetExceptionBreakpointsRequest
-> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
_ (SetExceptionBreakpointsRequest SetExceptionBreakpointsRequest
req) = do
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ ErrMsg -> ErrMsg -> IO ()
L.debugM ErrMsg
_LOG_APP forall a b. (a -> b) -> a -> b
$ ErrMsg
"ContaminatedState SetExceptionBreakpointsRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show SetExceptionBreakpointsRequest
req
    Int
resSeq <- AppContext Int
U.getIncreasedResponseSequence
    let res :: SetExceptionBreakpointsResponse
res = SetExceptionBreakpointsResponse
DAP.defaultSetExceptionBreakpointsResponse {
              seqSetExceptionBreakpointsResponse :: Int
DAP.seqSetExceptionBreakpointsResponse = Int
resSeq
            , request_seqSetExceptionBreakpointsResponse :: Int
DAP.request_seqSetExceptionBreakpointsResponse = SetExceptionBreakpointsRequest -> Int
DAP.seqSetExceptionBreakpointsRequest SetExceptionBreakpointsRequest
req
            , successSetExceptionBreakpointsResponse :: Bool
DAP.successSetExceptionBreakpointsResponse = Bool
False
            , messageSetExceptionBreakpointsResponse :: ErrMsg
DAP.messageSetExceptionBreakpointsResponse = ErrMsg
"Contaminated State. need restart."
            }

    Response -> AppContext ()
U.addResponse forall a b. (a -> b) -> a -> b
$ SetExceptionBreakpointsResponse -> Response
SetExceptionBreakpointsResponse SetExceptionBreakpointsResponse
res
    forall (m :: * -> *) a. Monad m => a -> m a
return forall a. Maybe a
Nothing

-- |
--   default nop.
--
instance StateActivityIF ContaminatedStateData DAP.ConfigurationDoneRequest

-- |
--  Any errors should be sent back as False result Response
--
instance StateActivityIF ContaminatedStateData DAP.ThreadsRequest where
  action :: AppState ContaminatedStateData
-> Request ThreadsRequest -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
_ (ThreadsRequest ThreadsRequest
req) = do
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ ErrMsg -> ErrMsg -> IO ()
L.debugM ErrMsg
_LOG_APP forall a b. (a -> b) -> a -> b
$ ErrMsg
"ContaminatedState ThreadsRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show ThreadsRequest
req
    Int
resSeq <- AppContext Int
U.getIncreasedResponseSequence
    let res :: ThreadsResponse
res = ThreadsResponse
DAP.defaultThreadsResponse {
              seqThreadsResponse :: Int
DAP.seqThreadsResponse = Int
resSeq
            , request_seqThreadsResponse :: Int
DAP.request_seqThreadsResponse = ThreadsRequest -> Int
DAP.seqThreadsRequest ThreadsRequest
req
            , successThreadsResponse :: Bool
DAP.successThreadsResponse = Bool
True
            , messageThreadsResponse :: ErrMsg
DAP.messageThreadsResponse = ErrMsg
"Contaminated State. need restart."
            }

    Response -> AppContext ()
U.addResponse forall a b. (a -> b) -> a -> b
$ ThreadsResponse -> Response
ThreadsResponse ThreadsResponse
res
    forall (m :: * -> *) a. Monad m => a -> m a
return forall a. Maybe a
Nothing

-- |
--  Any errors should be sent back as False result Response
--
instance StateActivityIF ContaminatedStateData DAP.StackTraceRequest where
  action :: AppState ContaminatedStateData
-> Request StackTraceRequest -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
_ (StackTraceRequest StackTraceRequest
req) = do
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ ErrMsg -> ErrMsg -> IO ()
L.debugM ErrMsg
_LOG_APP forall a b. (a -> b) -> a -> b
$ ErrMsg
"ContaminatedState StackTraceRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show StackTraceRequest
req
    Int
resSeq <- AppContext Int
U.getIncreasedResponseSequence
    let res :: StackTraceResponse
res = StackTraceResponse
DAP.defaultStackTraceResponse {
              seqStackTraceResponse :: Int
DAP.seqStackTraceResponse = Int
resSeq
            , request_seqStackTraceResponse :: Int
DAP.request_seqStackTraceResponse = StackTraceRequest -> Int
DAP.seqStackTraceRequest StackTraceRequest
req
            , successStackTraceResponse :: Bool
DAP.successStackTraceResponse = Bool
False
            , messageStackTraceResponse :: ErrMsg
DAP.messageStackTraceResponse = ErrMsg
"Contaminated State. need restart."
            }

    Response -> AppContext ()
U.addResponse forall a b. (a -> b) -> a -> b
$ StackTraceResponse -> Response
StackTraceResponse StackTraceResponse
res
    forall (m :: * -> *) a. Monad m => a -> m a
return forall a. Maybe a
Nothing

-- |
--  Any errors should be sent back as False result Response
--
instance StateActivityIF ContaminatedStateData DAP.ScopesRequest where
  action :: AppState ContaminatedStateData
-> Request ScopesRequest -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
_ (ScopesRequest ScopesRequest
req) = do
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ ErrMsg -> ErrMsg -> IO ()
L.debugM ErrMsg
_LOG_APP forall a b. (a -> b) -> a -> b
$ ErrMsg
"ContaminatedState ScopesRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show ScopesRequest
req
    Int
resSeq <- AppContext Int
U.getIncreasedResponseSequence
    let res :: ScopesResponse
res = ScopesResponse
DAP.defaultScopesResponse {
              seqScopesResponse :: Int
DAP.seqScopesResponse = Int
resSeq
            , request_seqScopesResponse :: Int
DAP.request_seqScopesResponse = ScopesRequest -> Int
DAP.seqScopesRequest ScopesRequest
req
            , successScopesResponse :: Bool
DAP.successScopesResponse = Bool
False
            , messageScopesResponse :: ErrMsg
DAP.messageScopesResponse = ErrMsg
"Contaminated State. need restart."
            }

    Response -> AppContext ()
U.addResponse forall a b. (a -> b) -> a -> b
$ ScopesResponse -> Response
ScopesResponse ScopesResponse
res
    forall (m :: * -> *) a. Monad m => a -> m a
return forall a. Maybe a
Nothing

-- |
--  Any errors should be sent back as False result Response
--
instance StateActivityIF ContaminatedStateData DAP.VariablesRequest where
  action :: AppState ContaminatedStateData
-> Request VariablesRequest -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
_ (VariablesRequest VariablesRequest
req) = do
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ ErrMsg -> ErrMsg -> IO ()
L.debugM ErrMsg
_LOG_APP forall a b. (a -> b) -> a -> b
$ ErrMsg
"ContaminatedState VariablesRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show VariablesRequest
req
    Int
resSeq <- AppContext Int
U.getIncreasedResponseSequence
    let res :: VariablesResponse
res = VariablesResponse
DAP.defaultVariablesResponse {
              seqVariablesResponse :: Int
DAP.seqVariablesResponse = Int
resSeq
            , request_seqVariablesResponse :: Int
DAP.request_seqVariablesResponse = VariablesRequest -> Int
DAP.seqVariablesRequest VariablesRequest
req
            , successVariablesResponse :: Bool
DAP.successVariablesResponse = Bool
False
            , messageVariablesResponse :: ErrMsg
DAP.messageVariablesResponse = ErrMsg
"Contaminated State. need restart."
            }

    Response -> AppContext ()
U.addResponse forall a b. (a -> b) -> a -> b
$ VariablesResponse -> Response
VariablesResponse VariablesResponse
res
    forall (m :: * -> *) a. Monad m => a -> m a
return forall a. Maybe a
Nothing

-- |
--  Any errors should be sent back as False result Response
--
instance StateActivityIF ContaminatedStateData DAP.ContinueRequest where
  action :: AppState ContaminatedStateData
-> Request ContinueRequest -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
_ (ContinueRequest ContinueRequest
req) = do
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ ErrMsg -> ErrMsg -> IO ()
L.debugM ErrMsg
_LOG_APP forall a b. (a -> b) -> a -> b
$ ErrMsg
"ContaminatedState ContinueRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show ContinueRequest
req
    AppContext ()
restartEvent
    forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ forall a. a -> Maybe a
Just StateTransit
Contaminated_Shutdown

-- |
--  Any errors should be sent back as False result Response
--
instance StateActivityIF ContaminatedStateData DAP.NextRequest where
  action :: AppState ContaminatedStateData
-> Request NextRequest -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
_ (NextRequest NextRequest
req) = do
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ ErrMsg -> ErrMsg -> IO ()
L.debugM ErrMsg
_LOG_APP forall a b. (a -> b) -> a -> b
$ ErrMsg
"ContaminatedState NextRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show NextRequest
req
    AppContext ()
restartEvent
    forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ forall a. a -> Maybe a
Just StateTransit
Contaminated_Shutdown

-- |
--  Any errors should be sent back as False result Response
--
instance StateActivityIF ContaminatedStateData DAP.StepInRequest where
  action :: AppState ContaminatedStateData
-> Request StepInRequest -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
_ (StepInRequest StepInRequest
req) = do
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ ErrMsg -> ErrMsg -> IO ()
L.debugM ErrMsg
_LOG_APP forall a b. (a -> b) -> a -> b
$ ErrMsg
"ContaminatedState StepInRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show StepInRequest
req
    AppContext ()
restartEvent
    forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ forall a. a -> Maybe a
Just StateTransit
Contaminated_Shutdown

-- |
--  Any errors should be sent back as False result Response
--
instance StateActivityIF ContaminatedStateData DAP.EvaluateRequest where
  action :: AppState ContaminatedStateData
-> Request EvaluateRequest -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
_ (EvaluateRequest EvaluateRequest
req) = do
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ ErrMsg -> ErrMsg -> IO ()
L.debugM ErrMsg
_LOG_APP forall a b. (a -> b) -> a -> b
$ ErrMsg
"ContaminatedState EvaluateRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show EvaluateRequest
req
    EvaluateRequest -> AppContext (Maybe StateTransit)
SU.evaluateRequest EvaluateRequest
req

-- |
--  Any errors should be sent back as False result Response
--
instance StateActivityIF ContaminatedStateData DAP.CompletionsRequest where
  action :: AppState ContaminatedStateData
-> Request CompletionsRequest -> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
_ (CompletionsRequest CompletionsRequest
req) = do
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ ErrMsg -> ErrMsg -> IO ()
L.debugM ErrMsg
_LOG_APP forall a b. (a -> b) -> a -> b
$ ErrMsg
"ContaminatedState CompletionsRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show CompletionsRequest
req
    CompletionsRequest -> AppContext (Maybe StateTransit)
SU.completionsRequest CompletionsRequest
req

-- |
--   default nop.
--
instance StateActivityIF ContaminatedStateData HdaInternalTransitRequest

-- |
--  Any errors should be sent back as False result Response
--
instance StateActivityIF ContaminatedStateData HdaInternalTerminateRequest where
  action :: AppState ContaminatedStateData
-> Request HdaInternalTerminateRequest
-> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
_ (InternalTerminateRequest HdaInternalTerminateRequest
req) = do
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ ErrMsg -> ErrMsg -> IO ()
L.debugM ErrMsg
_LOG_APP forall a b. (a -> b) -> a -> b
$ ErrMsg
"ContaminatedState InternalTerminateRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show HdaInternalTerminateRequest
req
    AppContext ()
SU.internalTerminateRequest
    forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ forall a. a -> Maybe a
Just StateTransit
Contaminated_Shutdown

-- |
--  Any errors should be sent back as False result Response
--
instance StateActivityIF ContaminatedStateData HdaInternalLoadRequest where
  action :: AppState ContaminatedStateData
-> Request HdaInternalLoadRequest
-> AppContext (Maybe StateTransit)
action AppState ContaminatedStateData
_ (InternalLoadRequest HdaInternalLoadRequest
req) = do
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ ErrMsg -> ErrMsg -> IO ()
L.debugM ErrMsg
_LOG_APP forall a b. (a -> b) -> a -> b
$ ErrMsg
"ContaminatedState InternalLoadRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show HdaInternalLoadRequest
req
    ErrMsg -> AppContext ()
SU.loadHsFile forall a b. (a -> b) -> a -> b
$ HdaInternalLoadRequest -> ErrMsg
pathHdaInternalLoadRequest HdaInternalLoadRequest
req
    forall (m :: * -> *) a. Monad m => a -> m a
return forall a. Maybe a
Nothing

-- |
--
restartEvent :: AppContext ()
restartEvent :: AppContext ()
restartEvent = do
  AppContext ()
SU.terminateGHCi

  ErrMsg -> AppContext ()
U.sendConsoleEventLF ErrMsg
""
  ErrMsg -> AppContext ()
U.sendConsoleEventLF ErrMsg
"restarting debug adapter."
  ErrMsg -> AppContext ()
U.sendConsoleEventLF ErrMsg
""

  AppContext ()
U.sendRestartEvent
  AppContext ()
U.sendExitedEvent