open-witness-0.4.0.1: open witnesses

Safe HaskellNone
LanguageHaskell2010

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

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