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

Safe HaskellNone
LanguageHaskell2010

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 -> Dynamic Source

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