Neptune.AbortHandler

Documentation

abortListener :: NeptuneSession -> Experiment -> ThreadId -> IO ()

data Message

Constructors

MessageAbort

Fields

• _msg_experiment_id :: Text

Instances

FromJSON Message

Defined in Neptune.AbortHandler

Methods

parseJSON :: Value -> Parser Message

parseJSONList :: Value -> Parser [Message]

data AbortException

Constructors

AbortException

Instances

Show AbortException

Defined in Neptune.AbortHandler

Methods

showsPrec :: Int -> AbortException -> ShowS

show :: AbortException -> String

showList :: [AbortException] -> ShowS

Exception AbortException

Defined in Neptune.AbortHandler

Methods

toException :: AbortException -> SomeException

fromException :: SomeException -> Maybe AbortException

displayException :: AbortException -> String

listener :: ThreadId -> ClientApp ()