Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Wasm.ExceptionHandling

Synopsis

data ExpectedJustException = HasCallStack => ExpectedJustException String
data ExpectedRightException = HasCallStack => ExpectedRightException String
data CustomException = HasCallStack => CustomException String
throwError :: (HasCallStack, MonadThrow m) => String -> m a
justOrError :: (HasCallStack, MonadThrow m) => String -> Maybe a -> m a
rightOrError :: (HasCallStack, MonadThrow m, Show e) => Either e a -> m a
toMonadFail :: (Exception e, MonadFail m) => Either e a -> m a

Documentation

data ExpectedJustException Source #

Constructors

HasCallStack => ExpectedJustException String

Instances

Instances details

Exception ExpectedJustException Source #
Instance details Defined in Cardano.Wasm.ExceptionHandling Methods toException :: ExpectedJustException -> SomeException Source # fromException :: SomeException -> Maybe ExpectedJustException Source # displayException :: ExpectedJustException -> String Source # backtraceDesired :: ExpectedJustException -> Bool Source #
Show ExpectedJustException Source #
Instance details Defined in Cardano.Wasm.ExceptionHandling Methods showsPrec :: Int -> ExpectedJustException -> ShowS Source # show :: ExpectedJustException -> String Source # showList :: [ExpectedJustException] -> ShowS Source #

data ExpectedRightException Source #

Constructors

HasCallStack => ExpectedRightException String

Instances

Instances details

Exception ExpectedRightException Source #
Instance details Defined in Cardano.Wasm.ExceptionHandling Methods toException :: ExpectedRightException -> SomeException Source # fromException :: SomeException -> Maybe ExpectedRightException Source # displayException :: ExpectedRightException -> String Source # backtraceDesired :: ExpectedRightException -> Bool Source #
Show ExpectedRightException Source #
Instance details Defined in Cardano.Wasm.ExceptionHandling Methods showsPrec :: Int -> ExpectedRightException -> ShowS Source # show :: ExpectedRightException -> String Source # showList :: [ExpectedRightException] -> ShowS Source #

data CustomException Source #

Constructors

HasCallStack => CustomException String

Instances

Instances details

Exception CustomException Source #
Instance details Defined in Cardano.Wasm.ExceptionHandling Methods toException :: CustomException -> SomeException Source # fromException :: SomeException -> Maybe CustomException Source # displayException :: CustomException -> String Source # backtraceDesired :: CustomException -> Bool Source #
Show CustomException Source #
Instance details Defined in Cardano.Wasm.ExceptionHandling Methods showsPrec :: Int -> CustomException -> ShowS Source # show :: CustomException -> String Source # showList :: [CustomException] -> ShowS Source #

throwError :: (HasCallStack, MonadThrow m) => String -> m a Source #

justOrError :: (HasCallStack, MonadThrow m) => String -> Maybe a -> m a Source #

rightOrError :: (HasCallStack, MonadThrow m, Show e) => Either e a -> m a Source #

toMonadFail :: (Exception e, MonadFail m) => Either e a -> m a Source #

Convert an Either value to a MonadFail monad. This can be useful for converting MonadThrow monads into Aeson Parser monads, but it loses the stack trace information.