| Safe Haskell | None |
|---|
Data.Object.Dynamic
Description
This module re-exports things needed to use Objects, and adds a few utility functions.
Documentation
The Object type, where u carrying the information of its underlying types.
Instances
| Objective (Object u) | |
| (Typeable (UnderlyingString (Object u)), UseString u) => UseString (Object u) | |
| (Typeable (UnderlyingInteger (Object u)), UseInteger u) => UseInteger (Object u) | |
| (Typeable (UnderlyingReal (Object u)), UseReal u) => UseReal (Object u) |
insert :: (Objective o, Member o memb, ValType o memb ~ val, Typeable memb, Typeable val) => memb -> val -> o -> oSource
Given a pair of Member label and a value, create the data field for the member and inserts the value.