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

Safe HaskellNone

Data.DynamicAlt

Description

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

Documentation

data Dynamic

Constructors

Dynamic TypeRep Any 

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

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