Module SafeDynamic

This module is undocumented. This is a list of its definitions.

SafeDynamic :: Type -> Dynamic -> SafeDynamic
forgetType :: SafeDynamic -> Dynamic

The wrapped value as a Dynamic, discarding the type information.

fromSafeDynamic :: Typeable a => SafeDynamic -> Maybe a

Returns the wrapped value if its type is the expected one, and Nothing otherwise.

toSafeDynamic :: Typeable a => a -> SafeDynamic

Wraps the given value together with its type.

typeOfSafeDynamic :: SafeDynamic -> Type

The type of the wrapped value.