Dynamic
This library provides support for dynamic typing.
Adding further Typeable instances is left as an exercise
for the ingenious reader.
module Dynamic
data Type = ...
instance Eq Type
instance Show Type
class Typeable a where typeOf :: a -> Type
instance Typeable ()
instance Typeable Int
instance Typeable Integer
instance Typeable Float
instance Typeable Double
instance Typeable Char
instance Typeable a => Typeable [a]
instance (Typeable a, Typeable b) => Typeable (a -> b)
instance (Typeable a, Typeable b) => Typeable (a,b)
instance Typeable a => Typeable (IO a)
data Dynamic
instance Show Dynamic
toDynamic :: Typeable a => a -> Dynamic
fromDynamic :: Typeable a => Dynamic -> Maybe a
dynApply :: Dynamic -> Dynamic -> Maybe Dynamic
This should be regarded as an experimental feature that may
change in future versions of Hugs.