Data.Dynamic

data Dynamic' :: forall k. (k -> Type) -> k -> Typedata Dynamic' t a

A Dynamic holds a value a in a context t and forgets the type of a

Constructors

• Dynamic' (TypeRep a) (t a)

data Dynamic :: forall k. (k -> Type) -> Typedata Dynamic t

Constructors

• Dynamic (Exists (Dynamic' t))

dynamic :: forall t a. Typeable a => t a -> Dynamic t

Wrap a value into a dynamic

unwrapDynamic :: forall t a. TypeRep a -> Dynamic t -> Maybe (t a)

Extract a value from a dynamic