MagicHaskeller-0.9.7.1: Automatic inductive functional programmer by systematic search
Safe HaskellNone
LanguageHaskell2010

MagicHaskeller.PolyDynamic

Documentation

data Dynamic Source #

Constructors

Dynamic 

Fields

Instances

Instances details
Show Dynamic Source # 
Instance details

Defined in MagicHaskeller.PolyDynamic

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

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

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

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

fromPD :: a -> a Source #