syntactic-1.11: 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 Source

Constructors

Dynamic TypeRep Any 

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

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