Witch.TryCastException

Documentation

newtype 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

Instances

Eq source => Eq (TryCastException source target)

Defined in Witch.TryCastException

Methods

(==) :: TryCastException source target -> TryCastException source target -> Bool

(/=) :: TryCastException source target -> TryCastException source target -> Bool

(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

Cast (TryCastException s t0) (TryCastException s t1)

Defined in Witch.Instances

Methods

cast :: TryCastException s t0 -> TryCastException s t1