Safe Haskell | None |
---|
This module re-exports things needed to use Object
s,
and adds a few utility functions.
Documentation
The Object
type, where u
carrying the information of its underlying types.
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.