Managed.Exception

Documentation

data AgentException

Constructors

BadProbeID ProbeID

BadNumberOfArguments Int Int

NoParseArgument

ProbeRuntimeException String

Instances

Eq AgentException

Defined in Managed.Exception

Methods

(==) :: AgentException -> AgentException -> Bool

(/=) :: AgentException -> AgentException -> Bool

Show AgentException

Defined in Managed.Exception

Methods

showsPrec :: Int -> AgentException -> ShowS

show :: AgentException -> String

showList :: [AgentException] -> ShowS

Generic AgentException

Defined in Managed.Exception

Associated Types

type Rep AgentException :: Type -> Type

Methods

from :: AgentException -> Rep AgentException x

to :: Rep AgentException x -> AgentException

Exception AgentException

Defined in Managed.Exception

Methods

toException :: AgentException -> SomeException

fromException :: SomeException -> Maybe AgentException

displayException :: AgentException -> String

type Rep AgentException

Defined in Managed.Exception

type Rep AgentException = D1 ('MetaData "AgentException" "Managed.Exception" "managed-functions-1.0.0-inplace" 'False) ((C1 ('MetaCons "BadProbeID" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProbeID)) :+: C1 ('MetaCons "BadNumberOfArguments" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) :+: (C1 ('MetaCons "NoParseArgument" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ProbeRuntimeException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

throwM :: (MonadThrow m, Exception e) => e -> m a

Throw an exception. Note that this throws when this action is run in the monad m, not when it is applied. It is a generalization of Control.Exception's throwIO.

Should satisfy the law:

throwM e >> f = throwM e

explain :: AgentException -> String

badNumberOfArgs :: Int -> [a] -> AgentException

noParseArg :: AgentException

probeRuntimeException :: SomeException -> AgentException

badProbeID :: ProbeID -> AgentException