Witch.TryFromException

Documentation

data TryFromException source target

This exception is thrown when a TryFrom conversion fails. It has the original source value that caused the failure and it knows the target type it was trying to convert into. It also has an optional SomeException for communicating what went wrong while converting.

Constructors

TryFromException source (Maybe SomeException)

Instances

(Show source, Typeable source, Typeable target) => Exception (TryFromException source target)

Defined in Witch.TryFromException

Methods

toException :: TryFromException source target -> SomeException

fromException :: SomeException -> Maybe (TryFromException source target)

displayException :: TryFromException source target -> String

(Show source, Typeable source, Typeable target) => Show (TryFromException source target)

Defined in Witch.TryFromException

Methods

showsPrec :: Int -> TryFromException source target -> ShowS

show :: TryFromException source target -> String

showList :: [TryFromException source target] -> ShowS

From (TryFromException source oldTarget) (TryFromException source newTarget)

Uses coerce.

Defined in Witch.Instances

Methods

from :: TryFromException source oldTarget -> TryFromException source newTarget