syntactic-1.0: Generic abstract syntax, and utilities for embedded languages

Safe Haskell	None

Data.DynamicAlt

Description

An alternative to Data.Dynamic with a different constraint on toDyn

Documentation

data Dynamic Source

Constructors

Dynamic TypeRep Any

toDyn :: forall a b. Typeable (a -> b) => Proxy (a -> b) -> a -> Dynamic Source

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