MagicHaskeller.PolyDynamic

Documentation

data Dynamic

Constructors

Dynamic

Fields

• dynType :: Type
• unsafeFromDyn :: forall a. a
• dynExp :: Exp

Instances

Show Dynamic

Methods

showsPrec :: Int -> Dynamic -> ShowS

show :: Dynamic -> String

showList :: [Dynamic] -> ShowS

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

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

dynApply :: Dynamic -> Dynamic -> Maybe Dynamic

dynApp :: Dynamic -> Dynamic -> Dynamic infixl 9

dynAppErr :: String -> Dynamic -> Dynamic -> Dynamic

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

aLittleSafeFromDyn :: Type -> Dynamic -> a

fromPD :: a -> a

dynamic :: ExpQ -> ExpQ -> ExpQ

dynamicH :: ExpQ -> Name -> TypeQ -> ExpQ