Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module provides some basic support for co-opting an identity entity block as a box
containing some Dynamic
data. Any optimization pass
will assume these blocks are identities, and perhaps remove them.
- addDynamic :: (sig ~ Signal i, Rep a) => Dynamic -> sig a -> sig a
- getDynamics :: (sig ~ Signal i, Rep a) => sig a -> [Dynamic]
Documentation
addDynamic :: (sig ~ Signal i, Rep a) => Dynamic -> sig a -> sig a Source
We use identity "black boxes" as arbitary tags in the syntax, for extentablity.
getDynamics :: (sig ~ Signal i, Rep a) => sig a -> [Dynamic] Source
Get any chain of (deep) black boxes on this signal.