Module

Data.Dynamic

Package
purescript-ajnsit-typeable
Repository
yaitskov/purescript-typeable

#Dynamic' Source

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 Source

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

Constructors

#dynamic Source

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

Wrap a value into a dynamic

#unwrapDynamic Source

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

Extract a value from a dynamic