| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.OpenWitness.Dynamic
Description
This is an approximate re-implementation of Data.Dynamic using open witnesses.
- type Dynamic = Any TypeRep
- toDyn :: forall (a :: *). Typeable a => a -> Dynamic
- fromDyn :: Typeable a => Dynamic -> a -> a
- fromDynamic :: forall (a :: *). Typeable a => Dynamic -> Maybe a
- dynApply :: Dynamic -> Dynamic -> Maybe Dynamic
- dynApp :: Dynamic -> Dynamic -> Dynamic
- dynTypeRep :: Dynamic -> AnyWitness (TypeRep :: * -> *)
The Dynamic type
Converting to and from Dynamic
Applying functions of dynamic type
dynTypeRep :: Dynamic -> AnyWitness (TypeRep :: * -> *) #