open-witness-0.1: open witnesses

Data.OpenWitness.Dynamic

Contents

Description

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

Synopsis

The Dynamic type

Converting to and from Dynamic

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

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

Applying functions of dynamic type