{-# LANGUAGE GADTs #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Haskell.Debug.Adapter.State.GHCiRun where
import Control.Monad.IO.Class
import qualified System.Log.Logger as L
import qualified Haskell.DAP as DAP
import Haskell.Debug.Adapter.Constant
import Haskell.Debug.Adapter.Type
import Haskell.Debug.Adapter.State.GHCiRun.ConfigurationDone()
import qualified Haskell.Debug.Adapter.State.Utility as SU
import qualified Haskell.Debug.Adapter.Utility as U
instance AppStateIF GHCiRunStateData where
entryAction :: AppState GHCiRunStateData -> AppContext ()
entryAction AppState GHCiRunStateData
GHCiRunState = 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
"GHCiRunState entryAction called."
forall (m :: * -> *) a. Monad m => a -> m a
return ()
exitAction :: AppState GHCiRunStateData -> AppContext ()
exitAction AppState GHCiRunStateData
GHCiRunState = 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
"GHCiRunState exitAction called."
forall (m :: * -> *) a. Monad m => a -> m a
return ()
doActivity :: AppState GHCiRunStateData
-> WrapRequest -> AppContext (Maybe StateTransit)
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@InitializeRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@LaunchRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@DisconnectRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@PauseRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@TerminateRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@SetBreakpointsRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@SetFunctionBreakpointsRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@SetExceptionBreakpointsRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@ConfigurationDoneRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@ThreadsRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@StackTraceRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@ScopesRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@VariablesRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@SourceRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@ContinueRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@NextRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@StepInRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@EvaluateRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@CompletionsRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@InternalTransitRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@InternalTerminateRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
doActivity AppState GHCiRunStateData
s (WrapRequest r :: Request a
r@InternalLoadRequest{}) = forall s r.
StateActivityIF s r =>
AppState s -> Request r -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
s Request a
r
instance StateActivityIF GHCiRunStateData DAP.InitializeRequest
instance StateActivityIF GHCiRunStateData DAP.LaunchRequest
instance StateActivityIF GHCiRunStateData DAP.DisconnectRequest
instance StateActivityIF GHCiRunStateData DAP.PauseRequest
instance StateActivityIF GHCiRunStateData DAP.TerminateRequest where
action :: AppState GHCiRunStateData
-> Request TerminateRequest -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
_ (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
"GHCiRunState 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
GHCiRun_Shutdown
instance StateActivityIF GHCiRunStateData DAP.SetBreakpointsRequest where
action :: AppState GHCiRunStateData
-> Request SetBreakpointsRequest -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
_ (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
"GHCiRunState SetBreakpointsRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show SetBreakpointsRequest
req
SetBreakpointsRequest -> AppContext (Maybe StateTransit)
SU.setBreakpointsRequest SetBreakpointsRequest
req
instance StateActivityIF GHCiRunStateData DAP.SetExceptionBreakpointsRequest where
action :: AppState GHCiRunStateData
-> Request SetExceptionBreakpointsRequest
-> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
_ (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
"GHCiRunState SetExceptionBreakpointsRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show SetExceptionBreakpointsRequest
req
SetExceptionBreakpointsRequest -> AppContext (Maybe StateTransit)
SU.setExceptionBreakpointsRequest SetExceptionBreakpointsRequest
req
instance StateActivityIF GHCiRunStateData DAP.SetFunctionBreakpointsRequest where
action :: AppState GHCiRunStateData
-> Request SetFunctionBreakpointsRequest
-> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
_ (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
"GHCiRunState SetFunctionBreakpointsRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show SetFunctionBreakpointsRequest
req
SetFunctionBreakpointsRequest -> AppContext (Maybe StateTransit)
SU.setFunctionBreakpointsRequest SetFunctionBreakpointsRequest
req
instance StateActivityIF GHCiRunStateData DAP.ThreadsRequest where
action :: AppState GHCiRunStateData
-> Request ThreadsRequest -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
_ (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
"GHCiRunState 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
False
, messageThreadsResponse :: ErrMsg
DAP.messageThreadsResponse = ErrMsg
"GHCiRun State. debugging not started."
}
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
instance StateActivityIF GHCiRunStateData DAP.StackTraceRequest where
action :: AppState GHCiRunStateData
-> Request StackTraceRequest -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
_ (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
"GHCiRunState 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
"GHCiRun State. debugging not started."
}
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
instance StateActivityIF GHCiRunStateData DAP.ScopesRequest where
action :: AppState GHCiRunStateData
-> Request ScopesRequest -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
_ (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
"GHCiRunState 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
"GHCiRun State. debugging not started."
}
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
instance StateActivityIF GHCiRunStateData DAP.VariablesRequest where
action :: AppState GHCiRunStateData
-> Request VariablesRequest -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
_ (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
"GHCiRunState 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
"GHCiRun State. debugging not started."
}
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
instance StateActivityIF GHCiRunStateData DAP.SourceRequest
instance StateActivityIF GHCiRunStateData DAP.ContinueRequest where
action :: AppState GHCiRunStateData
-> Request ContinueRequest -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
_ (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
"GHCiRunState ContinueRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show ContinueRequest
req
Int
resSeq <- AppContext Int
U.getIncreasedResponseSequence
let res :: ContinueResponse
res = ContinueResponse
DAP.defaultContinueResponse {
seqContinueResponse :: Int
DAP.seqContinueResponse = Int
resSeq
, request_seqContinueResponse :: Int
DAP.request_seqContinueResponse = ContinueRequest -> Int
DAP.seqContinueRequest ContinueRequest
req
, successContinueResponse :: Bool
DAP.successContinueResponse = Bool
True
}
Response -> AppContext ()
U.addResponse forall a b. (a -> b) -> a -> b
$ ContinueResponse -> Response
ContinueResponse ContinueResponse
res
forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ forall a. a -> Maybe a
Just StateTransit
GHCiRun_DebugRun
instance StateActivityIF GHCiRunStateData DAP.NextRequest where
action :: AppState GHCiRunStateData
-> Request NextRequest -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
_ (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
"GHCiRunState NextRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show NextRequest
req
Int
resSeq <- AppContext Int
U.getIncreasedResponseSequence
let res :: NextResponse
res = NextResponse
DAP.defaultNextResponse {
seqNextResponse :: Int
DAP.seqNextResponse = Int
resSeq
, request_seqNextResponse :: Int
DAP.request_seqNextResponse = NextRequest -> Int
DAP.seqNextRequest NextRequest
req
, successNextResponse :: Bool
DAP.successNextResponse = Bool
True
}
Response -> AppContext ()
U.addResponse forall a b. (a -> b) -> a -> b
$ NextResponse -> Response
NextResponse NextResponse
res
forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ forall a. a -> Maybe a
Just StateTransit
GHCiRun_DebugRun
instance StateActivityIF GHCiRunStateData DAP.StepInRequest where
action :: AppState GHCiRunStateData
-> Request StepInRequest -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
_ (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
"GHCiRunState StepInRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show StepInRequest
req
Int
resSeq <- AppContext Int
U.getIncreasedResponseSequence
let res :: StepInResponse
res = StepInResponse
DAP.defaultStepInResponse {
seqStepInResponse :: Int
DAP.seqStepInResponse = Int
resSeq
, request_seqStepInResponse :: Int
DAP.request_seqStepInResponse = StepInRequest -> Int
DAP.seqStepInRequest StepInRequest
req
, successStepInResponse :: Bool
DAP.successStepInResponse = Bool
True
}
Response -> AppContext ()
U.addResponse forall a b. (a -> b) -> a -> b
$ StepInResponse -> Response
StepInResponse StepInResponse
res
forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ forall a. a -> Maybe a
Just StateTransit
GHCiRun_DebugRun
instance StateActivityIF GHCiRunStateData DAP.EvaluateRequest where
action :: AppState GHCiRunStateData
-> Request EvaluateRequest -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
_ (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
"GHCiRunState EvaluateRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show EvaluateRequest
req
EvaluateRequest -> AppContext (Maybe StateTransit)
SU.evaluateRequest EvaluateRequest
req
instance StateActivityIF GHCiRunStateData DAP.CompletionsRequest where
action :: AppState GHCiRunStateData
-> Request CompletionsRequest -> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
_ (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
"GHCiRunState CompletionsRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show CompletionsRequest
req
CompletionsRequest -> AppContext (Maybe StateTransit)
SU.completionsRequest CompletionsRequest
req
instance StateActivityIF GHCiRunStateData HdaInternalTransitRequest
instance StateActivityIF GHCiRunStateData HdaInternalTerminateRequest where
action :: AppState GHCiRunStateData
-> Request HdaInternalTerminateRequest
-> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
_ (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
"GHCiRunState 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
GHCiRun_Shutdown
instance StateActivityIF GHCiRunStateData HdaInternalLoadRequest where
action :: AppState GHCiRunStateData
-> Request HdaInternalLoadRequest
-> AppContext (Maybe StateTransit)
action AppState GHCiRunStateData
_ (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
"GHCiRunState InternalTerminateRequest called. " forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> ErrMsg
show HdaInternalLoadRequest
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
GHCiRun_Shutdown