:: | |
=> Action | A "finalizer" action. Called after all the trigger propagation is done. For example postRedisplay in imp-glut.
|
-> Event Action | The action(s) producing the output of the system
|
-> CBID -> Time -> a -> Action | The result is a trigger action, to be used in callbacks in the adapter. Warning, it is unsafe! The type variable a has to match the (monomorphic!) type of the corresponding callback exported by the adapter!
|
This is the main function used by adapters. See imp-glut for an example on how
to write an adapter.
|