imp-frp-0.0.0: Experimental FRP system.ContentsIndex
FRP.Imp.Adapter
Synopsis
callback :: CBID -> Event a
type CBID = String
evalFRP :: Action -> Event Action -> CBID -> Time -> a -> Action
type Time = Double
bigbang :: Time
type Action = IO ()
Documentation
callback :: CBID -> Event a
type CBID = String
evalFRP
::
=> ActionA "finalizer" action. Called after all the trigger propagation is done. For example postRedisplay in imp-glut.
-> Event ActionThe action(s) producing the output of the system
-> CBID -> Time -> a -> ActionThe 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.
type Time = Double
bigbang :: Time
type Action = IO ()
Produced by Haddock version 2.4.1