úΆ     portable experimentalconal@conal.netApply a function within the  constructor. Type application Flip type arguments 5Composition of type constructors: binary with unary. 5Composition of type constructors: unary with binary. (Composition of type constructors: unary & unary. Called "g . f" in  [1], section 5, but GHC won'*t parse that, nor will it parse any infix / type operators in an export list. Haddock won't parse any type infixes K at all. Meant to be used infix when Haddock is up to it or not involved. Often useful for  acceptors (consumers, sinks) of values.    portable experimentalconal@conal.net @Construct a data-driven computation from a subscription service  (Monoid!) and a value source subscriber ( Applicative). Modify the source part of a  computation. Run a unit-valued ' computation. Causes the source to be  executed and! registered with the subscriber. Apply  to a source  Data driven with news publisher @The general type of data-driven computations. Represented as a  news publisher (news) and a way to get new values (cur ). Clients & interested in the value subscribe to news and extract a new value  from cur6 when notified that the value may have changed. When news  is a monoid and cur is an applicative functor, DataDrivenG news cur C is an applicative functor also. The applicative property is very 9 convenient for composition. See the more specific type . +Nicer, but Haddock chokes on the infix op: * type DataDrivenG news cur = ((,) news)  cur @News publisher -- somewhere to register updaters to be executed  when events occur. Actions Sinks (consumers) of values   portable  experimental conal@conal.net          TypeCompose-0.1Control.ComposeControl.DataDrivenbase Control.MonadControl.InstancesinOinFlipinFlip2AppunAppFlipunFlipArrowAp unArrowAp StaticArrowStaticunStaticOunO CofunctorcofmapddmapCurrunDDjoinDD DataDriven DataDrivenGNewsActionSinkjoin