Data.OpenWitness.Dynamic

This is an approximate re-implementation of Data.Dynamic using open witnesses.

The Dynamic type

type Dynamic = Any TypeRep

Converting to and from Dynamic

toDyn :: forall a. Typeable a => a -> Dynamic

fromDyn :: Typeable a => Dynamic -> a -> a

fromDynamic :: forall a. Typeable a => Dynamic -> Maybe a

Applying functions of dynamic type

dynApply :: Dynamic -> Dynamic -> Maybe Dynamic

dynApp :: Dynamic -> Dynamic -> Dynamic

dynTypeRep :: Dynamic -> AnyWitness (TypeRep :: * -> *)