Documentation

data Dynamic Source #

fromDyn :: Typeable a => TyConLib -> Dynamic -> a -> a Source #

fromDynamic :: MonadPlus m => Type -> Dynamic -> m a Source #

dynApply :: Dynamic -> Dynamic -> Maybe Dynamic Source #

dynApp :: Dynamic -> Dynamic -> Dynamic infixl 9 Source #

dynAppErr :: String -> Dynamic -> Dynamic -> Dynamic Source #

unsafeToDyn :: TyConLib -> Type -> a -> Exp -> Dynamic Source #

aLittleSafeFromDyn :: Type -> Dynamic -> a Source #

fromPD :: a -> a Source #

dynamic :: ExpQ -> ExpQ -> ExpQ Source #

dynamicH :: ExpQ -> Name -> TypeQ -> ExpQ Source #