Witch.TryCastException

Documentation

data TryCastException source target

This exception is thrown when a TryCast conversion fails. It has the original source value that caused the failure and it knows the target type it was trying to convert into.

Constructors

TryCastException source (Maybe SomeException)

Instances

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

Defined in Witch.TryCastException

Methods

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

show :: TryCastException source target -> String

showList :: [TryCastException source target] -> ShowS

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

Defined in Witch.TryCastException

Methods

toException :: TryCastException source target -> SomeException

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

displayException :: TryCastException source target -> String

(Show s, Typeable s, Typeable t) => Cast (TryCastException s t) Text

Defined in Witch.Instances

Methods

cast :: TryCastException s t -> Text

(Show s, Typeable s, Typeable t) => Cast (TryCastException s t) Text

Defined in Witch.Instances

Methods

cast :: TryCastException s t -> Text

(Show s, Typeable s, Typeable t) => Cast (TryCastException s t) String

Defined in Witch.Instances

Methods

cast :: TryCastException s t -> String

Cast (TryCastException s t0) (TryCastException s t1)

Defined in Witch.Instances

Methods

cast :: TryCastException s t0 -> TryCastException s t1